4155 search results - page 596 / 831 » External Memory Algorithms |
106
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
102
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
104
Voted
FPL
2004
Springer
15 years 6 months ago
2004
Springer
At Leiden Embedded Research Center, we are building a tool chain called Compaan/Laura that allows us to do fast mapping of applications written in Matlab onto reconfigurable platf...
100
Voted
ISPA
2004
Springer
15 years 6 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
96
Voted
MICAI
2004
Springer
15 years 6 months ago
2004
Springer
A number of problems in computer science can be solved efficiently with the so called memory based or kernel methods. Among this problems (relevant to the AI community) are multime...