970 search results - page 75 / 194 » Symbolic timing simulation using cluster scheduling |
AAAI
2006
13 years 11 months ago
2006
A contract algorithm is an algorithm which is given, as part of the input, a specified amount of allowable computation time. The algorithm must then compute a solution within the ...
NDSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Third Generation (3G) cellular networks utilize timevarying and location-dependent channel conditions to provide broadband services. They employ opportunistic scheduling to effic...
RTAS
2011
IEEE
13 years 1 months ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper describes a combined modulation scheme for time hopping ultra wideband (TH-UWB) radio systems using on-off keying (OOK) and pulse shape modulation (PSM). For this sc...
FTCS
1998
13 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...