Sciweavers

6796 search results - page 648 / 1360
» Java for Embedded Systems
Sort
View
IJCAI
2001
15 years 8 months ago
Distributed Monitoring of Hybrid Systems: A model-directed approach
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussec...
190
Voted
OSDI
2000
ACM
15 years 8 months ago
How to Build a Trusted Database System on Untrusted Storage
Some emerging applications require programs to maintain sensitive state on untrusted hosts. This paper presents the architecture and implementation of a trusted database system, T...
Umesh Maheshwari, Radek Vingralek, William Shapiro
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
15 years 5 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
SAC
2009
ACM
16 years 2 months ago
Response time analysis of software transactional memory-based distributed real-time systems
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
ICDIM
2008
IEEE
16 years 1 months ago
Flexible Question Answering System for mobile devices
This paper presents a Flexible Question Answering System (FQAS) for mobile wireless devices. FQAS comprises a fuzzy logic-based Information Retrieval (IR) System together with a q...
Daniel Ortiz Arroyo