1880 search results - page 244 / 376 » A Static Analysis for Beta-Binders |
229
click to vote
IEEEPACT
2007
IEEE
16 years 23 days ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
151
click to vote
AIRWEB
2007
Springer
16 years 19 days ago
2007
Springer
Redirection spam presents a web page with false content to a crawler for indexing, but automatically redirects the browser to a different web page. Redirection is usually immediat...
147
click to vote
FMCO
2007
Springer
16 years 18 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
157
click to vote
IWMM
2007
Springer
16 years 18 days ago
2007
Springer
Numerous optimizations exist for improving the performance of nondeferred reference-counting (RC) garbage collection. Their designs are ad hoc, intended to exploit different count...
147
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper presents STAX, a crosstalk target set compaction framework to reduce the complexity of the crosstalk ATPG process by pruning non-fault-producing targets. In general, ex...