1494 search results - page 252 / 299 » Less Extreme Programming |
90
Voted
ISCA
2005
IEEE
15 years 7 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
100
Voted
SC
2004
ACM
15 years 7 months ago
2004
ACM
—It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed...
130
click to vote
KI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
115
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
114
click to vote
COMPGEOM
2010
ACM
15 years 7 months ago
2010
ACM
We revisit one of the most fundamental classes of data structure problems in computational geometry: range searching. Back in SoCG’92, Matouˇsek gave a partition tree method fo...