3082 search results - page 451 / 617 » its 2004 |
185
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
220
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a link layer protocol called the Multi-radio Unification Protocol or MUP. On a single node, MUP coordinates the operation of multiple wireless network cards tuned to no...
206
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
Admission control of flows is essential for providing quality of service in multihop wireless networks. In order to make an admission decision for a new flow, the expected bandwid...
169
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
Young children often build various structures with wooden blocks; structures that are often used for pretend play, subtly improving children's creativity and imagination. Bas...
180
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...