12084 search results - page 2094 / 2417 » Effect Systems with Subtyping |
165
click to vote
TON
2010
15 years 5 months ago
2010
—Routing protocols for disruption-tolerant networks (DTNs) use a variety of mechanisms, including discovering the meeting probabilities among nodes, packet replication, and netwo...
190
click to vote
TPDS
2010
15 years 5 months ago
2010
—Thread-level parallelism (TLP) has been extensively studied in order to overcome the limitations of exploiting instruction-level parallelism (ILP) on high-performance superscala...
176
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
185
click to vote
TVCG
2010
15 years 5 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
216
click to vote
TVCG
2010
15 years 5 months ago
2010
—With the proliferation of motion capture data, interest in removing noise and outliers from motion capture data has increased. In this paper, we introduce an efficient human mo...