5757 search results - page 490 / 1152 » Dynamic Policy Programming |
216
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
224
click to vote
CASCON
2000
15 years 9 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
224
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
169
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Currently, user interfaces are defined by single applications but workflows may span multiple ones. In the result, users have to work with separated programs in parallel and de...
187
click to vote
ESCIENCE
2006
IEEE
16 years 1 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...