3387 search results - page 94 / 678 » Model-Checking for Real-Time Systems |
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
ECRTS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we study temperature-constrained realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. We give a ...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes a framework for achieving node-level fault tolerance (NLFT) in distributed realtime systems. The objective of NLFT is to mask errors at the node level in orde...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Program code size is a critical factor in determining the manufacturing cost of many embedded systems, particularly those aimed at the extremely costconscious consumer market. ...