3909 search results - page 531 / 782 » Extreme Model Checking |
135
Voted
MM
1999
ACM
15 years 10 months ago
1999
ACM
Adaptation techniques for multimedia presentations are mainly concerned with switching between different qualities of single media elements to reduce the data volume and by this ...
181
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
159
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...
179
Voted
ICPP
1992
IEEE
15 years 10 months ago
1992
IEEE
Many routing problems in parallel processing, such as concentration and permutation problems, can be cast as sorting problems. In this paper, we consider the problem of sorting on ...
165
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We present a new particle-based approach to sampling and controlling implicit surfaces. A simple constraint locks a set of particles onto a surface while the particles and the sur...