Sciweavers

1105 search results - page 55 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
SCCC
1998
IEEE
14 years 1 months ago
An Adaptive Model for Programming Distributed Real-Time Applications in CORBA
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
Carlos Montez, Rômulo Silva de Oliveira, Jon...
DAC
1998
ACM
14 years 9 months ago
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
ECBS
2002
IEEE
119views Hardware» more  ECBS 2002»
14 years 1 months ago
Managing Complex Temporal Requirements in Real-Time Control Systems
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
Kristian Sandström, Christer Norström
RTSS
2002
IEEE
14 years 1 months ago
A Fast Resource Synthesis Technique for Energy-Efficient Real-Time System
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh
JUCS
2006
109views more  JUCS 2006»
13 years 8 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...