5005 search results - page 108 / 1001 » The Design and Analysis of Parallel Algorithms |
94
Voted
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
108
Voted
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
146
Voted
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Portable, embedded systems place ever-increasing demands on high-performance, low-power microprocessor design. Dynamic voltage and frequency scaling (DVFS) is a well-known techniq...
139
Voted
ICALP
1994
Springer
15 years 4 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...