1458 search results - page 273 / 292 » Monads for incremental computing |
139
Voted
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a joint PHY/MAC architecture (DCC-MAC) for 802.15.4a-like networks based on PPM-UWB. Unlike traditional approaches it fully utilizes the specific nature of UWB to achie...
108
Voted
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
The Rocks toolkit [9], [7], [10] uses a graph-based framework to describe the configuration of all node types (termed appliances) that make up a complete cluster. With hundreds of...
111
Voted
SIGGRAPH
1987
ACM
15 years 7 months ago
1987
ACM
In the course of developing a system for fitting smooth curves to camera input we have developed several direct (i.e. noniterative) methods for fitting a shape (line, circle, conic...
136
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
147
click to vote
NSDI
2010
15 years 4 months ago
2010
Traceroute is the most widely used Internet diagnostic tool today. Network operators use it to help identify routing failures, poor performance, and router misconfigurations. Rese...