Sciweavers

5186 search results - page 460 / 1038
» Embedded Systems
Sort
View
FORTE
2007
15 years 8 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
DSD
2008
IEEE
127views Hardware» more  DSD 2008»
16 years 1 months ago
Measurement, Analysis and Modeling of RTOS System Calls Timing
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
Carlo Brandolese, William Fornaciari
SEUS
2005
IEEE
16 years 14 days ago
Measurement-Based Worst-Case Execution Time Analysis
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, P...
SAC
2005
ACM
16 years 13 days ago
An agent model for fault-tolerant systems
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
Avelino F. Zorzo, Felipe Rech Meneguzzi
WETICE
1998
IEEE
15 years 11 months ago
User Controlled Sharing in a Variable Connected Distributed System
This paper describes the design and implementation of a distributed file repository that supports data sharing in a variable connected environment. Our design is based on the obse...
Tage Stabell-Kulø, Terje Fallmyr