9626 search results - page 1650 / 1926 » Invariant Based Programming |
164
click to vote
IWMM
2004
Springer
16 years 4 hour ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
203
click to vote
JELIA
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
189
click to vote
MIDDLEWARE
2004
Springer
16 years 54 min ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
170
click to vote
MOZ
2004
Springer
16 years 30 min ago
2004
Springer
Abstract. Here we introduce DePathos, a graphical tool for a timetabling constraint engine (Pathos). Since the core of Pathos is textbased and provides little user-interaction, fi...
166
click to vote
RT
2004
Springer
15 years 12 months ago
2004
Springer
We describe an approach for rendering large terrains in real-time. A digital elevation map defines the rough shape of the terrain. During rendering, procedural geometric and text...