3690 search results - page 624 / 738 » Computation with classical sequents |
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Timeliness in conventional real-time systems is addressed by employing well-known scheduling techniques that guarantee the execution of a number of tasks within certain deadlines. ...
110
click to vote
CLUSTER
2000
IEEE
15 years 2 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
FOCS
2000
IEEE
15 years 2 months ago
2000
IEEE
We consider the planar point location problem from the perspective of expected search time. We are given a planar polygonal subdivision S and for each polygon of the subdivision t...
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
This paper describes VolumePro, the world’s first single-chip realtime volume rendering system for consumer PCs. VolumePro implements ray-casting with parallel slice-by-slice p...
129
click to vote
KIVS
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...