4491 search results - page 637 / 899 » Algorithm Engineering |
296
click to vote
PLDI
2003
ACM
16 years 10 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
260
Voted
PLDI
2003
ACM
16 years 10 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
203
click to vote
ADAEUROPE
2003
Springer
16 years 10 days ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
191
click to vote
ISAAC
2003
Springer
16 years 8 days ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
194
click to vote
CGO
2010
IEEE
16 years 7 days ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the dif...