1485 search results - page 106 / 297 » Whole Program Paths |
115
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
106
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
109
click to vote
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
121
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
96
Voted
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...