Sciweavers

2019 search results - page 104 / 404
» Programming with Shared Data Abstractions
Sort
View
INFOCOM
2010
IEEE
13 years 8 months ago
The Impact of Virtualization on Network Performance of Amazon EC2 Data Center
Abstract--Cloud computing services allow users to lease computing resources from large scale data centers operated by service providers. Using cloud services, users can deploy a wi...
Guohui Wang, T. S. Eugene Ng
CACM
1999
92views more  CACM 1999»
13 years 9 months ago
Putting OO Distributed Programming to Work
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
Pascal Felber, Rachid Guerraoui, Mohamed Fayad
EGC
2005
Springer
14 years 3 months ago
GLIDE: A Grid-Based Light-Weight Infrastructure for Data-Intensive Environments
Abstract. The promise of the grid is that it will enable public access and sharing of immense amounts of computational and data resources among dynamic coalitions of individuals an...
Chris Mattmann, Sam Malek, Nels Beckman, Marija Mi...
FSTTCS
2007
Springer
14 years 4 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
CAV
2009
Springer
165views Hardware» more  CAV 2009»
14 years 2 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...