1980 search results - page 237 / 396 » Compositional Model Checking of Real Time Systems |
143
Voted
VC
2008
15 years 3 months ago
2008
Modeling is a severe bottleneck for computer graphics applications. Manual modeling is time consuming and fails to capture the complexity of real world scenes. Automated modeling b...
123
click to vote
ACSD
2006
IEEE
15 years 5 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
120
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
146
click to vote
CEC
2009
IEEE
15 years 6 months ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
125
Voted
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...