Sciweavers

1831 search results - page 153 / 367
» Time Constraints in Workflow Systems
Sort
View
ICCAD
2005
IEEE
79views Hardware» more  ICCAD 2005»
16 years 28 days ago
The impact of the nanoscale on computing systems
— Nanoscale technologies provide both challenges and opportunities. We show that the issues and potential solutions facing designers are technology independent and arise mainly f...
Seth Copen Goldstein
APSEC
1999
IEEE
15 years 8 months ago
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
Jin Song Dong, Brendan P. Mahony, Neale Fulton
GW
2007
Springer
241views Biometrics» more  GW 2007»
15 years 10 months ago
Representation of Human Postures for Vision-Based Gesture Recognition in Real-Time
In this paper, we present a Vision-Based Interface guided by the user gestures. The advantage of our system is that it is built over a motion capture system that recovers the body ...
Antoni Jaume-i-Capó, Javier Varona, Francis...
FSTTCS
2010
Springer
15 years 2 months ago
Model checking time-constrained scenario-based specifications
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...
DAC
2011
ACM
14 years 3 months ago
Generalized reliability-oriented energy management for real-time embedded applications
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
Baoxian Zhao, Hakan Aydin, Dakai Zhu