2470 search results - page 182 / 494 » Liveness-Preserving Simulation Relations |
114
click to vote
COCO
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we design a nonadaptive NC checker for permutation group intersection, sharpening a result from Blum and Kannan 3]. This is a consequence of two results. First we sh...
137
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
137
click to vote
SIGCOMM
1996
ACM
15 years 8 months ago
1996
ACM
Hierarchical Packet Fair Queueing (H-PFQ)algorithms have the potential to simultaneously support guaranteed realtime service, rate-adaptive best-eort, and controlled linksharing s...
130
click to vote
SPAA
1996
ACM
15 years 8 months ago
1996
ACM
A quantitative comparison of the BSP and LogP models of parallel computation is developed. We concentrate on a variant of LogP that disallows the so-called stalling behavior, alth...
114
click to vote
PACT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...