5180 search results - page 56 / 1036 » Concurrency, Time, and Constraints |
122
click to vote
CSR
2007
Springer
15 years 6 months ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
111
click to vote
VLSI
2010
Springer
14 years 6 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes an optimistic concurrency control (CC) algorithm, called Sequential Order with Dynamic Adjustment (SODA), that guarantees timely and correct execution of concu...
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
