2673 search results - page 348 / 535 » Guided Static Analysis |
187
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
136
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
186
click to vote
WCRE
1999
IEEE
15 years 9 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
132
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we investigate the effectiveness of different types of bidding behaviour for trading agents in the Continuous Double Auction (CDA). Specifically, we consider behavi...
132
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...