14244 search results - page 2418 / 2849 » Modeling Program Predictability |
131
click to vote
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
115
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
152
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
145
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
120
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
We consider soft constraint problems where some of the preferences may be unspecified. This models, for example, situations with several agents providing the data, or with possibl...