1452 search results - page 203 / 291 » Algorithmic Analysis of Array-Accessing Programs |
122
click to vote
SIGMOD
2012
ACM
13 years 3 months ago
2012
ACM
Query substitution is an important problem in information retrieval. Much work focuses on how to find substitutes for any given query. In this paper, we study how to efficiently ...
112
click to vote
ISMB
1994
15 years 2 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
122
Voted
PLDI
1998
ACM
15 years 5 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
104
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
119
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...