3458 search results - page 353 / 692 » Abstracting Control |
165
Voted
TACAS
2012
Springer
14 years 6 days ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
131
click to vote
NOCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract – With the rise of multicore computing, the design of onchip networks (or networks on chip) has become an increasingly important component of computer architecture. The ...
147
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—We propose a solution to improve fairness and increase throughput in wireless networks with location information. Our approach consists of a multipath routing protocol, ...
167
click to vote
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Wireless sensor networks can be very useful in applications that require the detection of crucial events, in physical environments subjected to critical conditions, and t...
171
click to vote
SAB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...