3521 search results - page 435 / 705 » Algorithmic Control in Concurrent Computations |
126
Voted
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
142
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
Riemannian metric tensors are used to control the adaptation of meshes for finite element and finite volume computations. To study the numerous metric construction and manipulat...
139
click to vote
RT
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we introduce a real-time algorithm to render the rich visual effects of general non-height-field geometric details, known as mesostructure. Our method is based on ...
158
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
Generation of surface meshes remains an active research problem despite the many publications addressing this topic. The main issues which must be treated by a good remeshing algo...
127
click to vote
HPDC
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper a model for scheduling in wide-area systems is described. The model is federated and utilizes a collection of local site schedulers that control the use of their res...