477 search results - page 43 / 96 » Design patterns in separation logic |
SIGECOM
1999
ACM
14 years 1 months ago
1999
ACM
A simple approach, called PMP (Paris Metro Pricing), is suggested for providing differentiated services in packet networks such as the Internet. It is to partition a network into...
WSC
2004
13 years 11 months ago
2004
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....
WILF
2007
Springer
14 years 3 months ago
2007
Springer
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
In this paper, we present a flexible accelerator designed for networking applications. The accelerator can be utilized efficiently by a variety of Network Processor designs. Most ...