4743 search results - page 242 / 949 » The PlusCal Algorithm Language |
107
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents two methods for improving the performance of the Distributed Breakout Algorithm using the notion of interchangeability. In particular, we use neighborhood part...
112
click to vote
IFIP
2003
Springer
15 years 8 months ago
2003
Springer
Bluetooth specification still has open issues, including the intra and interpiconet scheduling topics. This paper proposes an interpiconet scheduling algorithm, referred to as AIS...
137
click to vote
CC
2004
Springer
15 years 8 months ago
2004
Springer
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
96
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
The stretch constraint occurs in many rostering problems that arise in the industrial and public service sectors. In this paper we present an efficient algorithm for domain consist...
135
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...