3342 search results - page 638 / 669 » Symbolic Robustness Analysis |
152
click to vote
IMC
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
117
click to vote
ISPD
2006
ACM
15 years 7 months ago
2006
ACM
The multilevel placement package mPL6 combines improved implementations of the global placer mPL5 (ISPD05) and the XDP legalizer and detailed placer (ASPDAC06). It consistently pr...
127
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
The identification of near-duplicate keyframe (NDK) pairs is a useful task for a variety of applications such as news story threading and content-based video search. In this pape...
117
click to vote
SASN
2006
ACM
15 years 7 months ago
2006
ACM
In a large sensor network, in-network data aggregation, i.e., combining partial results at intermediate nodes during message routing, significantly reduces the amount of communic...
144
click to vote
VRCAI
2006
ACM
15 years 7 months ago
2006
ACM
Shadowing effects dramatically enhance the realism of virtual environments by providing useful visual cues. Shadow mapping is an efficient algorithm for real-time shadow renderin...