12272 search results - page 163 / 2455 » Experimental program analysis |
195
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
196
click to vote
APLAS
2005
ACM
16 years 20 hour ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
170
click to vote
SPIN
2000
Springer
15 years 10 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...
188
click to vote
IEEEPACT
2006
IEEE
16 years 15 days ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
191
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...