13383 search results - page 2405 / 2677 » Abstractions from proofs |
138
Voted
IWDC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. For time-constrained applications, repair-server-based active local recovery approaches can be valuable in providing low-latency reliable multicast service. However, an a...
162
Voted
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we introduce the concept of statistical deformation models (SDM) which allow the construction of average models of the anatomy and their variability. SDMs a...
165
Voted
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract: Reliable data transmission over wireless multi-hop networks, called ad hoc networks, has proven to be non-trivial. TCP (Transmission Control Protocol), a widely used end-...
132
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
153
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...