MPG.eBooks - Search Results

Cover Image

1

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

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

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

4

Formal Hardware Verification : Methods and Systems in Comparison

by Kropf, Thomas
Published 1997

Springer Berlin Heidelberg

Cover Image

5

MMIXware : A RISC Computer for the Third Millennium

by Knuth, Donald E
Published 1999

Donald E. Knuth

Cover Image

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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

by Hellwagner, Hermann
Published 1999

Springer Berlin Heidelberg

Cover Image

16

Performance Evaluation: Origins and Directions

by Haring, Günter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

17

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

18

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

19

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

20

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

1
2