1027 search results - page 104 / 206 » Callgraph properties of executables |
168
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
140
click to vote
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
155
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
166
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
135
click to vote
DAWAK
2000
Springer
15 years 10 months ago
2000
Springer
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...