5639 search results - page 710 / 1128 » Timed Abstract Non-interference |
244
Voted
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
The basic idea to defend in this paper is that an adequate perception of the search space, sacrificing most of the precision, can paradoxically accelerate the discovery of the mo...
175
click to vote
CODES
2006
IEEE
16 years 6 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
163
Voted
ICDCS
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper is concerned with reducing communication costs when executing distributed user tasks in a sensor network. We take a service-oriented abstraction of sensor networks, whe...
154
Voted
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
152
click to vote
LOCA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...