1163 search results - page 93 / 233 » Case Studies of Model Checking for Embedded System Designs |
122
click to vote
RTS
2008
15 years 3 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
146
click to vote
SAMOS
2007
Springer
15 years 10 months ago
2007
Springer
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
140
click to vote
VLSISP
2008
15 years 4 months ago
2008
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...
126
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
130
click to vote
WSC
2007
15 years 6 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...