5128 search results - page 823 / 1026 » When Abstraction Fails |
166
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
197
click to vote
CN
2002
15 years 6 months ago
2002
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
145
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
145
click to vote
CSUR
2000
15 years 6 months ago
2000
ks are quite di cult to understand when one rst uses them: the design is very abstract, to factor out commonality the design is incomplete, requiring additional subclasses to creat...
199
click to vote
FGCS
2007
15 years 6 months ago
2007
Grid Computing brought the promise of making high-performance computing cheaper and more easily available than traditional supercomputing platforms. Such a promise was very well r...