MPG.eBooks - Search Results

Cover Image

1

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

2

Dependable Computing — EDCC-3 : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings

by Hlavička, Jan
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

3

Correct Hardware Design and Verification Methods : 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

by Pierre, Laurence
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

4

MMIXware : A RISC Computer for the Third Millennium

by Knuth, Donald E
Published 1999

Donald E. Knuth

Cover Image

5

Power-Aware Computer Systems : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002 Revised Papers

by Falsafi, Babak
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

6

Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

by Zhou, Xingming
Published 2003

Springer Berlin Heidelberg

Cover Image

7

Applications of Evolutionary Computing : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings

by Raidl, Günther R
Published 2004

Springer Berlin Heidelberg

Cover Image

8

Computer Systems: Architectures, Modeling, and Simulation : Third and Fourth International Workshop, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004...

by Pimentel, Andy
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

by Hu, Alan J
Published 2004

Springer Berlin Heidelberg

Cover Image

10

Pervasive Computing : First International Conference, Pervasive 2002 Zurich, Switzerland, August 26–28, 2002 Proceedings

by Mattern, Friedemann
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings

by Hochet, Bertrand
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

Field Programmable Logic and Applications : 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.

by Luk, Wayne
Published 1997

Springer Berlin Heidelberg

Cover Image

13

Formal Hardware Verification : Methods and Systems in Comparison

by Kropf, Thomas
Published 1997

Springer Berlin Heidelberg

Cover Image

14

Job Scheduling Strategies for Parallel Processing : IPDPS 2000 Workshop, JSSPP 2000 Cancun, Mexico, May 1, 2000 Proceedings

by Feitelson, Dror G
Published 2000

Springer

Cover Image

15

Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

by Hunt, Warren A Jr
Published 2000

Springer Berlin Heidelberg

Cover Image

16

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

17

Power-Aware Computer Systems : First International Workshop,PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers

by Falsafi, Babak
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

18

Parallel and Distributed Processing : 10th International IPPSSPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on P...

by Rolim, Jose
Published 1998

Springer Berlin Heidelberg

Cover Image

19

Formal Methods in Computer-Aided Design : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

by Gopalakrishnan, Ganesh
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

20

Parallel and Distributed Processing : 11 IPPSSPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Dist...

by Rolim, Jose
Published 1999

Springer Berlin Heidelberg

1
2