Sciweavers

1118 search results - page 45 / 224
» Hardware interface design for real time embedded systems
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 3 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ECRTS
2009
IEEE
14 years 7 months ago
Using Randomized Caches in Probabilistic Real-Time Systems
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
Eduardo Quiñones, Emery D. Berger, Guillem ...
ISWC
1999
IEEE
15 years 2 months ago
Situated Documentaries: Embedding Multimedia Presentations in the Real World
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...
Tobias Höllerer, John V. Pavlik, Steven Feine...
RTAS
2008
IEEE
15 years 4 months ago
Real-Time Distributed Discrete-Event Execution with Fault Tolerance
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
Thomas Huining Feng, Edward A. Lee
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 4 days ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...