3218 search results - page 450 / 644 » Timed Extensions for SDL |
177
click to vote
DSN
2002
IEEE
16 years 1 days ago
2002
IEEE
We consider the following problem for wireless ad hoc networks: assume n nodes, each capable of communicating with nodes within a radius of r, are distributed in a ddimensional re...
190
Voted
FCCM
2002
IEEE
16 years 1 days ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...
260
click to vote
FOCS
2002
IEEE
16 years 1 days ago
2002
IEEE
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...
225
click to vote
ICPP
2002
IEEE
16 years 1 days ago
2002
IEEE
Multicast/broadcast is an important service primitive in networks. The IEEE 802.11 multicast/broadcast protocol is based on the basic access procedure of Carrier Sense Multiple Ac...
166
click to vote
ICSM
2002
IEEE
16 years 14 hour ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...