6155 search results - page 851 / 1231 » A language for multiple models of computation |
157
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
256
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
The Reeb graph of a scalar function represents the evolution of the topology of its level sets. In this video, we describe a near-optimal output-sensitive algorithm for computing ...
156
click to vote
VRML
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the use of the Virtual Reality Modeling Language (VRML) in the VIM - Visual Interface to Manufacturing system. The VIM prototype demonstrates the technical fe...
154
click to vote
HPDC
1993
IEEE
15 years 11 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
196
Voted
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...