8695 search results - page 1609 / 1739 » Making the Complex Simple |
142
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
133
click to vote
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
117
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
134
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
We present an algorithm for updating the PageRank vector [1]. Due to the scale of the web, Google only updates its famous PageRank vector on a monthly basis. However, the Web chan...
167
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
GPGPUs have recently emerged as powerful vehicles for generalpurpose high-performance computing. Although a new Compute Unified Device Architecture (CUDA) programming model from N...