12272 search results - page 1843 / 2455 » Experimental program analysis |
210
click to vote
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
158
click to vote
CCS
2003
ACM
16 years 13 days ago
2003
ACM
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
198
click to vote
CP
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
196
click to vote
EUROPAR
2003
Springer
16 years 13 days ago
2003
Springer
Partial redundancy elimination (PRE) techniques play an important role in optimizing compilers. Many optimizations, such as elimination of redundant expressions, communication opti...
203
click to vote
ICALP
2003
Springer
16 years 12 days ago
2003
Springer
We provide a new simpler approach to the on-line load balancing problem in the case of restricted assignment of temporary weighted tasks. The approach is very general and allows to...