10666 search results - page 1507 / 2134 » Quantum programming languages |
185
click to vote
AMAST
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
177
click to vote
CP
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
190
click to vote
CP
2004
Springer
16 years 15 days ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
235
click to vote
FOSSACS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
164
click to vote
GPCE
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...