12148 search results - page 2323 / 2430 » Generalized Bundle Methods |
119
Voted
CGO
2003
IEEE
15 years 6 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
154
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
127
click to vote
ESA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...
139
click to vote
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Current approaches to parallel I/O demand extensive user effort to obtain acceptable performance. This is in part due to difficulties in understanding the characteristics...
134
click to vote
ISMIR
2000
Springer
15 years 5 months ago
2000
Springer
Music librarians and cataloguers have traditionally created indexes that allow users to access musical works using standard reference information, such as the name of the composer...