3229 search results - page 429 / 646 » Theories with the Independence Property |
167
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
Our goal is to save energy in wireless sensor networks (WSNs) by periodic duty-cycling of sensor nodes. We schedule sensor nodes between active (transmit or receive) and sleep mod...
160
click to vote
IWPC
2007
IEEE
16 years 27 days ago
2007
IEEE
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
166
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
164
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
159
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...