3387 search results - page 399 / 678 » Model-Checking for Real-Time Systems |
218
Voted
IANDC
2008
15 years 7 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
218
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
285
Voted
SIGADA
2007
Springer
16 years 1 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
206
click to vote
ERSA
2003
15 years 9 months ago
2003
Camera 1 Camera 3 Camera 2 Controller Moving object FPGA PowerPC SDRAM Coprocessor Image Sensor SDRAM FlashRAM a) b) Many vision applications perform intensive computations and de...
242
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...