Sciweavers

1831 search results - page 46 / 367
» Time Constraints in Workflow Systems
Sort
View
TPDS
2010
166views more  TPDS 2010»
15 years 21 days ago
Configurable Middleware for Distributed Real-Time Systems with Aperiodic and Periodic Tasks
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
Yuanfang Zhang, Christopher D. Gill, Chenyang Lu
ERSA
2006
282views Hardware» more  ERSA 2006»
15 years 7 months ago
SyCERS: a SystemC Design Exploration Framework for SoC Reconfigurable Architecture
Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...
Carlo Amicucci, Fabrizio Ferrandi, Marco D. Santam...
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 10 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
JUCS
2006
109views more  JUCS 2006»
15 years 6 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
ASIAN
2006
Springer
140views Algorithms» more  ASIAN 2006»
15 years 9 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa