1291 search results - page 181 / 259 » Arithmetic program paths |
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited inter...
190
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
82
Voted
ICSE
2005
IEEE-ACM
16 years 23 days ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
96
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
65
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We study multi-robot routing problems (MRLDR) where a team of robots has to visit a set of given targets with linear decreasing rewards over time, such as required for ...