Sciweavers

3868 search results - page 665 / 774
» A Distributed Parallel Programming Framework
Sort
View
CONCUR
2003
Springer
15 years 6 months ago
Abstract Patterns of Compositional Reasoning
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Ri...
127
Voted
TVCG
2010
142views more  TVCG 2010»
14 years 11 months ago
Illustrative Volume Visualization Using GPU-Based Particle Systems
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...
Roy van Pelt, Anna Vilanova, Huub van de Wetering
98
Voted
HPDC
2007
IEEE
15 years 7 months ago
IDEA: : an infrastructure for detection-based adaptive consistency control in replicated services
In Internet-scale distributed systems, replicationbased scheme has been widely deployed to increase the availability and efficiency of services. Hence, consistency maintenance amo...
Yijun Lu, Ying Lu, Hong Jiang
187
Voted
SIGMOD
2008
ACM
116views Database» more  SIGMOD 2008»
16 years 26 days ago
SPADE: the system s declarative stream processing engine
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Philip...
98
Voted
INTERNET
2008
150views more  INTERNET 2008»
15 years 21 days ago
Convenience Over Correctness
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
Steve Vinoski