Sciweavers

1940 search results - page 242 / 388
» Dependable Software: An Oxymoron
Sort
View
DATE
2008
IEEE
167views Hardware» more  DATE 2008»
16 years 1 months ago
Accuracy-Adaptive Simulation of Transaction Level Models
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
Martin Radetzki, Rauf Salimi Khaligh
ACSAC
2007
IEEE
16 years 27 days ago
Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
Iulia Ion, Boris Dragovic, Bruno Crispo
DDECS
2007
IEEE
143views Hardware» more  DDECS 2007»
16 years 26 days ago
Fault Injection and Simulation for Fault Tolerant Reconfigurable Duplex System
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
Pavel Kubalík, Jirí Kvasnicka, Hana ...
DSD
2007
IEEE
142views Hardware» more  DSD 2007»
16 years 26 days ago
Decoupling of Computation and Communication with a Communication Assist
Abstract. In an embedded multiprocessor system the minimum throughput and maximum latency of real-time applications are usually derived given the worst-case execution time of the s...
Arno Moonen, Marco Bekooij, Rene van den Berg, Jef...
IAT
2007
IEEE
16 years 26 days ago
Reactive Agent Mechanisms for Manufacturing Process Control
In this paper we face a problem for chemical processes in a production system; items should undergo chemical reactions in different baths to be processed by the system. Recipes f...
Kasper Hallenborg, Ask Just Jensen, Yves Demazeau