3387 search results - page 646 / 678 » Model-Checking for Real-Time Systems |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
— We propose a new multiple description (MD) coder design based on the Adaptive Multi-Rate Wideband (AMRWB) coder that can support transcoding-free communication between an ad-ho...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
Data Stream Management Systems are useful when large volumes of data need to be processed in real time. Examples include monitoring network traffic, monitoring financial transacti...
RTAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...