4311 search results - page 536 / 863 » Code Generation for Distributed Systems |
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The indexing of complex data and similarity search plays an important role in many application areas. Traditional centralized index structure can not scale with the rapid prolifer...
119
click to vote
HPDC
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...
99
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
118
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
116
Voted
APGV
2006
ACM
15 years 6 months ago
2006
ACM
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...