1
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers /
2
Computer Performance Evaluation and Benchmarking [E-Book] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
3
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings [E-Book] /
4
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) / 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings [E-Book]
5
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [E-Book] : Joint International Conferences on  Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant S /
6
Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream [E-Book] : 12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedings /
7
Formal Techniques in Real-Time and Fault-Tolerant Systems [E-Book] : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings /
8
Intelligent Memory Systems [E-Book] : Second InternationalWorkshop, IMS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers /