15777 search results - page 3064 / 3156 » The Reformulation-Optimization Software Engine |
239
Voted
POPL
2007
ACM
16 years 2 months 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...
219
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
124
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
137
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
124
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
LOFAR is the first of a new generation of radio telescopes. Rather than using expensive dishes, it forms a distributed sensor network that combines the signals from many thousands...