932 search results - page 26 / 187 » Verifying Progress in Timed Systems |
APCSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Because the absence of hardware support, almost all of embedded operating system are based on SDRAM in past time. With progress of embedded system hardware, embedded system can pro...
FATES
2004
Springer
14 years 2 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
CHI
2005
ACM
13 years 11 months ago
2005
ACM
In this user study, we address several open issues in the design of waiting cues for system response time (SRT) in interactive telephony speech applications. User observations and...
RTSS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...