zAAPs and zIIPs : Increasing the strategic value of System zWYMAN, L. W; CASTANO, J; KUBALA, J. P et al.IBM journal of research and development. 2007, Vol 51, Num 1-2, pp 77-86, issn 0018-8646, 10 p.Article

IBM System z9TURGEON, P. R.IBM journal of research and development. 2007, Vol 51, Num 1-2, issn 0018-8646, 244 p.Serial Issue

SAME 2002 : Sophia Antipolis Forum on Microelectronics (face the future with SAME 2002, technical conferences proceedings)Sophia Antipolis forum on microelectronics. 2002, 1Vol, 176 p.Conference Proceedings

Concurrent driver upgrade : Method to eliminate scheduled system outages for new function releasesMUEHLBACH, A; VALENTINE, B. D; IMMEL, D et al.IBM journal of research and development. 2007, Vol 51, Num 1-2, pp 185-193, issn 0018-8646, 9 p.Article

Verification Challenges and Opportunities in the New Era of Microprocessor DesignJIN YANG.Lecture notes in computer science. 2006, pp 6-7, issn 0302-9743, isbn 3-540-47237-1, 1Vol, 2 p.Conference Paper

Comparing and synchronizing hierarchical netlistsBOURGUET, Jean-Marc; SAINT-MARCEL, Laurent.Sophia Antipolis forum on microelectronics. 2002, pp 64-67, 1Vol, 4 p.Conference Paper

Circuit design advances for ultra-low power sensing platformsWIECKOWSKI, Michael; DRESLINSKI, Ronald G; MUDGE, Trevor et al.Proceedings of SPIE, the International Society for Optical Engineering. 2010, Vol 7679, issn 0277-786X, isbn 978-0-8194-8143-6, 76790W.1-76790W.7Conference Paper

Self-Powered Integrated Systems-on-Chip (Energy Chip)HUSSAIN, M. M; FAHAD, H; ROJAS, J et al.Proceedings of SPIE, the International Society for Optical Engineering. 2010, Vol 7679, issn 0277-786X, isbn 978-0-8194-8143-6, 767914.1-767914.7Conference Paper

Unifying traditional and formal verification through property checkingFOSTER, Harry.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshop. 2002, 3 p.Conference Paper

Open Source Hardware for Instrumentation and MeasurementHARNETT, Cindy.IEEE instrumentation & measurement magazine. 2011, Vol 14, Num 3, pp 34-38, issn 1094-6969, 5 p.Article

Correct hardware design and verification methods (13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, proceedings)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-29105-9, 1Vol, XII, 412 p, isbn 3-540-29105-9Conference Proceedings

A case study : Formal verification of processor critical propertiesZARPAS, Emmanuel.Lecture notes in computer science. 2005, pp 406-409, issn 0302-9743, isbn 3-540-29105-9, 1Vol, 4 p.Conference Paper

DCC'02 : designing correct circuits (Grenoble, 6-7 April 2002)Sheeran, Mary; Melham, Tom.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshop. 2002, 240 p.Conference Proceedings

Open-standard development environment for IBM System z9 host firmwareAXNIX, C; HENDEL, T; MUELLER, M et al.IBM journal of research and development. 2007, Vol 51, Num 1-2, pp 195-205, issn 0018-8646, 11 p.Article

Theoretical aspects of computing (ICTAC 2006)Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-48815-4, 1Vol, XV-370 p, isbn 3-540-48815-4Conference Proceedings

Flux caches: What are they and are they useful?GAYDADJIEV, Georgi N; VASSILIADIS, Stamatis.Lecture notes in computer science. 2005, pp 93-102, issn 0302-9743, isbn 3-540-26969-X, 10 p.Conference Paper

ICCAD-2004 (International Conference on Computer Aided Design)IEEE/ACM International Conference on Computer-Aided Design. 2004, isbn 0-7803-8702-3, 2Vol, XXXII-938 p, isbn 0-7803-8702-3Conference Proceedings

15th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (proceedings)IEEE International Conference on Application-Specific Systems, Architectures, and Processors. 2004, isbn 0-7695-2226-2, 1Vol, X-412 p, isbn 0-7695-2226-2Conference Proceedings

12th annual IEEE symposium on field-programmable custom computing machines (Napa CA, 20-23 April 2004)Annual IEEE symposium on field-programmable custom computing machines. 2004, isbn 0-7695-2230-0, 1Vol, X-346 p, isbn 0-7695-2230-0Conference Proceedings

Trends in the use of re-configurable platformsBARON, Max.Design automation conference. 2004, isbn 1-58113-828-8, p. 415Conference Paper

Fast region labeling on the reconfigurable platform ACE-VSCHMIDT, Christian; KOCH, Andreas.Lecture notes in computer science. 2003, pp 1083-1086, issn 0302-9743, isbn 3-540-40822-3, 4 p.Conference Paper

Caches with compositional performanceMULLER, Henk; PAGE, Dan; IRWIN, James et al.Lecture notes in computer science. 2002, pp 242-259, issn 0302-9743, isbn 3-540-43322-8Conference Paper

Forest vs. trees : Where's the slack?RODMAN, Paul.Design automation conference. 2004, pp 265-266, isbn 1-58113-828-8, 2 p.Conference Paper

Efficient equivalence checking with partitions and hierarchical cut-pointsANASTASAKIS, Demosthenes; MCLLWAIN, Lisa; PILARSKI, Slawomir et al.Design automation conference. 2004, pp 539-542, isbn 1-58113-828-8, 4 p.Conference Paper

Designing outside rail constraintsANNEMA, Anne-Johan; NAUTA, Bram; VAN LANGEVELDE, Ronald et al.IEEE International Solid-State Circuits Conference. 2004, pp 134-135, isbn 0-7803-8267-6, 2Vol, 2 p.Conference Paper