19587 search results - page 3794 / 3918 » Systems Engineering for software Engineers |
224
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
279
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
265
click to vote
POPL
2007
ACM
16 years 4 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...
151
click to vote
POPL
2010
ACM
16 years 1 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...
113
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...