MPG.eBooks - Search Results

Cover Image

1

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
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

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

4

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

5

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

6

Formal Hardware Verification : Methods and Systems in Comparison

by Kropf, Thomas
Published 1997

Springer Berlin Heidelberg

Cover Image

7

Performance Evaluation: Origins and Directions

by Haring, Günter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

8

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

9

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

10

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

by Hellwagner, Hermann
Published 1999

Springer Berlin Heidelberg

Cover Image

11

Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings

by Bondavalli, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

13

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

14

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

15

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

16

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

17

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

18

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

19

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

20

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

by Zhou, Xingming
Published 2003

Springer Berlin Heidelberg

1
2