4520 search results - page 831 / 904 » Algebraic Techniques for Timed Systems |
127
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
131
click to vote
ISLPED
2007
ACM
15 years 2 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
122
Voted
AI
2010
Springer
15 years 28 days ago
2010
Springer
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...
109
Voted
JUCS
2008
15 years 23 days ago
2008
: In communication systems that guarantee seamless mobility of users across service areas, repeated attempts occur as a result of user behavior but also as automatic retries of blo...
103
Voted
JUCS
2006
15 years 22 days ago
2006
Abstract: Advances in technology now make it possible to integrate hundreds of cores (e.g. general or special purpose processors, embedded memories, application specific components...