102 search results - page 17 / 21 » Constraint Model Elimination and a PTTP-Implementation |
RIDE
1998
IEEE
13 years 11 months ago
1998
IEEE
Continuity of stream playback is the crucial constraint in designing a continuous media server. From a distributed memory architectural model developed earlier, we found that ther...
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
This paper is motivated by a need of practical asynchronous network systems, i.e., a wait-free distributed mutual exclusion algorithm (WDME). The WDME algorithm is very appealing w...
RTSS
1997
IEEE
13 years 11 months ago
1997
IEEE
Resource allocation for high-performance real-time applications is challenging due to the applications' data-dependent nature, dynamic changes in their external environment, ...
CCE
2004
13 years 7 months ago
2004
This paper treats the solution of nonlinear optimization problems involving discrete decision variables, also known as generalized disjunctive programming (GDP) or mixed-integer n...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...