2703 search results - page 355 / 541 » Optimizing memory transactions |
160
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
127
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
We present a new scheme for storing a planar graph in external memory so that any online path can be traversed in an I-O efficient way. Our storage scheme significantly improves th...
116
Voted
IFL
2000
Springer
15 years 7 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
115
Voted
EMNLP
2007
15 years 5 months ago
2007
Trigram language models are compressed using a Golomb coding method inspired by the original Unix spell program. Compression methods trade off space, time and accuracy (loss). The...
101
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
A data structure, called a biased range tree, is presented that preprocesses a set S of n points in R2 and a query distribution D for 2-sided orthogonal range counting queries. The...