MPG.eBooks - Search Results

Cover Image

1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proce...

by Chico, Jorge Juan
Published 2003

Springer Berlin Heidelberg

Cover Image

2

Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

by Lemos, Rogério le
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Performance Tools and Applications to Networked Systems : Revised Tutorial Lectures

by Calzarossa, Maria Carla
Published 2004

Springer Berlin Heidelberg

Cover Image

4

NETWORKING 2004. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications : Third International IFIP...

by Mitrou, Nikolas
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Lectures on Formal Methods and PerformanceAnalysis : First EEFEuro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

by Brinksma, Ed
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

6

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

7

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

by Pflanz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation — SAMOS

by Deprettere, Ed F
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

9

Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

by Núnez, Manuel
Published 2004

Springer Berlin Heidelberg

Cover Image

10

Computer Performance Evaluation.Modelling Techniques and Tools : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

by Haverkort, Boudewijn R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

11

Parallel and Distributed Processing and Applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

by Guo, Minyi
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

12

Computer Performance Evaluations. Modelling Techniques and Tools : 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings

by Kemper, Peter
Published 2003

Springer Berlin Heidelberg

Cover Image

13

Integrated Circuit Design : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings

by Soudris, Dimitrios
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

14

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

15

Performance Evaluation of Complex Systems: Techniques and Tools : Performance 2002 Tutorial Lectures

by Calzarossa, Maria Carla
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

16

Interactive Markov Chains : And the Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

17

Queueing Networks with Discrete Time Scale : Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks

by Daduna, Hans
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

18

Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedin...

by Alfaro, Luca
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

19

Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings

by Field, Tony
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

20

Parallel Computer Routing and Communication : Second International Workshop, PCRCW’97 Atlanta, Georgia, USA, June 26–27, 1997 Proceedings

by Yalamanchili, Sudhakar
Published 1998

Springer-Verlag Berlin Heidelberg

1
2