143
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
140
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
183
click to vote
DASFAA
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. Continuous monitoring of spatial queries has received significant research attention in the past few years. In this paper, we propose two efficient algorithms for the con...
136
Voted
ASAP
2009
IEEE
15 years 8 months ago
2009
IEEE
135
click to vote
ASAP
2009
IEEE
15 years 8 months ago
2009
IEEE
An implementation of a radix-4 approximate squaring circuit is described employing a new operand dual recoding technique. Approximate squaring circuits have numerous applications ...