2635 search results - page 202 / 527 » Computing multihomogeneous resultants using straight-line pr... |
98
Voted
SC
2005
ACM
15 years 6 months ago
2005
ACM
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...
86
Voted
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
This paper explores a new technique called coherence decoupling, which breaks a traditional cache coherence protocol into two protocols: a Speculative Cache Lookup (SCL) protocol ...
221
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
135
click to vote
SP
1999
IEEE
15 years 5 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
91
Voted
SWAT
2004
Springer
15 years 6 months ago
2004
Springer
The standard dynamic programming solution to finding k-medians on a line with n nodes requires O(kn2 ) time. Dynamic programming speedup techniques, e.g., use of the quadrangle i...