MPG.eBooks - Search Results

Cover Image

1

Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings

by Aagaard, Mark D
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

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

3

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

4

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

5

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

6

Formal Hardware Verification : Methods and Systems in Comparison

by Kropf, Thomas
Published 1997

Springer Berlin Heidelberg

Cover Image

7

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

8

Evolvable Systems: From Biology to Hardware : Third International Conference, ICES 2000 Edinburgh, Scotland, UK, April 17–19, 2000 Proceedings

by Miller, Julian
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

9

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

10

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

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

12

Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings

by Geist, Daniel
Published 2003

Springer Berlin Heidelberg

Cover Image

13

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

14

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

15

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

16

SCI: Scalable Coherent Interface : Architecture and Software for High-Performance Compute Clusters

by Hellwagner, Hermann
Published 1999

Springer Berlin Heidelberg

Cover Image

17

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

18

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

19

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

20

Performance Evaluation: Origins and Directions

by Haring, Günter
Published 2000

Springer-Verlag Berlin Heidelberg

1
2