12333 search results - page 469 / 2467 » System Level Modelling for Hardware Software Systems |
170
click to vote
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
221
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
207
click to vote
CAV
1997
Springer
15 years 11 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
190
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
205
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...