2656 search results - page 336 / 532 » Design and analysis of algorithms reconsidered |
182
click to vote
FPGA
1997
ACM
15 years 11 months ago
1997
ACM
Event identification in photon counting ICCD detectors requires a high level image analysis which cannot be easily described algorithmically: neural networks are promising to appr...
195
click to vote
SOFSEM
1997
Springer
15 years 11 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
150
click to vote
SPAA
1990
ACM
15 years 11 months ago
1990
ACM
d Abstract) Richard J. Anderson Paul Beame Walter L. Ruzzo Department of Computer Science and Engineering University of Washingtoni We introduce a task scheduling model which is u...
176
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
245
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...