503 search results - page 76 / 101 » Real-time Property Preservation in Approximations of Timed S... |
EMSOFT
2010
Springer
13 years 5 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
TWC
2008
13 years 7 months ago
2008
Abstract-- This paper addresses preamble-based low complexity synchronization, channel estimation and equalization for Zero-padded (ZP) MB-OFDM based UWB systems. The proposed sync...
TECS
2010
13 years 6 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...