Sciweavers

622 search results - page 1 / 125
» Specifying Functional and Timing Behavior for Real-Time Appl...
Sort
View
ASWEC
2007
IEEE
13 years 11 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
ISORC
2005
IEEE
13 years 10 months ago
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
Binoy Ravindran, E. Douglas Jensen, Peng Li
ECRTS
2005
IEEE
13 years 10 months ago
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
Sebastian Fischmeister, Klemens Winkler
VLC
2002
118views more  VLC 2002»
13 years 4 months ago
Modeling Behaviors of Interactive Objects for Real-Time Virtual Environments
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
Marcelo Kallmann, Daniel Thalmann