3951 search results - page 319 / 791 » Automatic amortized analysis |
188
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
204
click to vote
HVC
2005
Springer
16 years 5 days ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
173
click to vote
DAS
2010
Springer
15 years 11 months ago
2010
Springer
Whole-book recognition is a document image analysis strategy that operates on the complete set of a book’s page images, attempting to improve accuracy by automatic unsupervised ...
200
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
172
click to vote
WORM
2003
15 years 8 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...