MPG.eBooks - Search Results

Cover Image

1

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

2

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

3

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

4

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

5

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

6

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

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

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

9

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

10

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

11

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

12

Computer and Information Sciences - ISCIS 2004 : 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings

by Aykanat, Cevdet
Published 2004

Springer Berlin Heidelberg

Cover Image

13

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

14

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

15

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

16

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

17

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

18

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

by Hellwagner, Hermann
Published 1999

Springer 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

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

1
2