3387 search results - page 400 / 678 » Model-Checking for Real-Time Systems |
231
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
192
Voted
ACSD
2009
IEEE
16 years 2 months ago
2009
IEEE
The SpiNNaker project aims to develop parallel computer systems with more than a million embedded processors. The goal of the project is to support largescale simulations of syste...
220
click to vote
ESTIMEDIA
2003
Springer
16 years 22 days ago
2003
Springer
Reconfigurable hardware devices are envisioned as the proper platform to implement multimedia applications, providing both real time performance and dynamic adaptability for the a...
203
click to vote
ISDA
2009
IEEE
16 years 2 months ago
2009
IEEE
—Road Sign Detection is a major goal of Advanced Driving Assistance Systems (ADAS). Since the dawn of this discipline, much work based on different techniques has been published ...
186
click to vote
CODES
2003
IEEE
16 years 24 days ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...