Real-time Systems Scheduling 2 More Books Like This
Analytical and Stochastic Modeling Techniques and Applications
2011
Stochastic Discrete Event Systems
2008
Computer Performance Engineering
2010
Formal Modeling and Analysis of Timed Systems
2016
Computer Performance Engineering
2018
Computer Performance Engineering
2008
Parallel Processing and Applied Mathematics
2010
Formal Methods for Industrial Critical Systems
2011
Scheduling for Parallel Processing
2010
Advanced Backend Code Optimization
2014
Formal Methods and Stochastic Models for Performance Evaluation
2007
Parallel Computing Technologies
2007
Computer Performance Engineering
2017
Formal Techniques for Safety-Critical Systems
2017
Communicating Embedded Systems
2013