255 search results - page 18 / 51 » Towards Systematic Testing of Distributed Real-Time Systems |
FATES
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Modern high performance processors employ advanced techniques for thermal management, which rely on accurate readings of on-die thermal sensors. As the importance of thermal effec...
SIGECOM
2000
ACM
14 years 1 months ago
2000
ACM
General combinatorial auctions—auctions in which bidders place unrestricted bids for bundles of goods—are the subject of increasing study. Much of this work has focused on alg...
PPAM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
ICDCSW
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an early vision of a cyber-physical environment in which computer controlled rendering of physical surfaces, terrains, and environments is achieved by manipulating grid...