6939 search results - page 1031 / 1388 » Algorithm Engineering for Parallel Computation |
139
click to vote
IUI
2010
ACM
15 years 9 months ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...
126
Voted
TACS
1997
Springer
15 years 9 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
141
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
146
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
153
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
To meet the conflicting goals of high-performance low-cost embedded systems, critical application loop nests are commonly executed on specialized hardware accelerators. These loop...