4814 search results - page 587 / 963 » Combining abstract interpreters |
188
click to vote
EAGC
2003
Springer
16 years 7 hour ago
2003
Springer
Abstract. In this paper, we analyze the problem of grid resource brokering in the presence of economic information about the price of resources. We examine in detail the main tasks...
190
click to vote
ECML
2003
Springer
16 years 6 hour ago
2003
Springer
Abstract. This paper explores the use of initial Stochastic Context-Free Grammars (SCFG) obtained from a treebank corpus for the learning of SCFG by means of estimation algorithms....
205
click to vote
ESAW
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
151
Voted
EUROCRYPT
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. We study statistical tests with binary output that rarely outputs one, which we call nearly one-sided statistical tests. We provide an efficient reduction establishing im...
175
click to vote
EUROPAR
2003
Springer
16 years 4 hour ago
2003
Springer
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...