2271 search results - page 219 / 455 » Scalable Software Libraries |
131
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
137
Voted
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
129
click to vote
IUI
1999
ACM
15 years 8 months ago
1999
ACM
er has outlined the potential of multiagent framework for decision support. From an abstract point of view, the concept of an agent has been used as modularization principle for th...
119
click to vote
TOSEM
2002
15 years 4 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
130
click to vote
PPL
2007
15 years 3 months ago
2007
Graph algorithms are becoming increasingly important for solving many problems in scientific computing, data mining and other domains. As these problems grow in scale, parallel c...