653 search results - page 79 / 131 » Implications of a Data Structure Consistency Checking System |
204
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
WWW
2007
ACM
16 years 16 days ago
2007
ACM
In recent years, there has been a prevalence of search engines being employed to find useful information in the Web as they efficiently explore hyperlinks between web pages which ...
108
click to vote
PODC
2009
ACM
15 years 9 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Structured light systems use projected light to augment a scene with extra information. The goal of such systems is often the recovery of depth information based on 2D image(s) fr...
SC
2003
ACM
15 years 5 months ago
2003
ACM
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...