9521 search results - page 173 / 1905 » Compiling with continuations, continued |
125
click to vote
VISUALIZATION
2000
IEEE
15 years 7 months ago
2000
IEEE
A new method for the simplification of flow fields is presented. It is based on continuous clustering. A well-known physical clustering model, the Cahn Hillard model which desc...
152
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
148
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
121
click to vote
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
Our research addresses how to integrate exploration and localization for mobile robots. A robot exploring and mapping an unknown environment needs to know its own location, but it...
106
click to vote
ICMCS
1996
IEEE
15 years 7 months ago
1996
IEEE
Existing models for serving continuous streams from disks are generally based on worst-case deterministic head displacement times and on a round-robin strand service approach cons...