4767 search results - page 692 / 954 » Structures for Abstract Rewriting |
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
124
click to vote
BPM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...
106
Voted
CLEF
2007
Springer
15 years 7 months ago
2007
Springer
The domain-specific track uses test collections from the social science domain to test monolingual and cross-language retrieval in structured bibliographic databases. Special atte...
120
click to vote
COCOA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
100
Voted
CONCUR
2007
Springer
15 years 7 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...