3824 search results - page 208 / 765 » Geometry Constructions Language |
88
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
102
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
111
click to vote
UM
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
100
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
101
Voted
HEURISTICS
2010
14 years 8 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...