761 search results - page 70 / 153 » A Reactive Approach to Explanation |
150
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
136
click to vote
MONET
2006
15 years 4 months ago
2006
Several applications have been envisioned for multihop wireless networks that require different qualities of service from the network. In order to support such applications, the n...
132
click to vote
IJCAI
1993
15 years 5 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
152
click to vote
AROBOTS
1998
15 years 4 months ago
1998
Off-road autonomous navigation is one of the most difficult automation challenges from the point of view of constraints on mobility, speed of motion, lack of environmental structur...
122
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...