Sciweavers

162 search results - page 5 / 33
» The influence of real-time constraints on the design of Flex...
Sort
View
ISOLA
2010
Springer
13 years 7 months ago
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
Steffen Kollmann, Victor Pollex, Kilian Kempf, Fra...
PAAMS
2010
Springer
13 years 6 months ago
Open MAS Architecture. Providing Real Time Solutions
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
Martí Navarro, Sara Rodríguez, Vicen...
ICDCS
1995
IEEE
14 years 2 days ago
Analysis of Resource Lower Bounds in Real-Time Applications
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
Raed Alqadi, Parameswaran Ramanathan
ICFEM
1997
Springer
14 years 20 days ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ENTCS
2006
231views more  ENTCS 2006»
13 years 8 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson