Sciweavers

499 search results - page 92 / 100
» Compositional Systems over Reducible Networks
Sort
View
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
15 years 5 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
WISE
2002
Springer
15 years 4 months ago
PTC : Proxies that Transcode and Cache in Heterogeneous Web Client Environments
Advances in computing and communication technologies have resulted in a wide variety of networked mobile devices that access data over the Internet. In this paper, we argue that s...
Aameek Singh, Abhishek Trivedi, Krithi Ramamritham...
CCS
2006
ACM
15 years 3 months ago
Optimizing BGP security by exploiting path stability
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...
Kevin R. B. Butler, Patrick McDaniel, William Aiel...
CLOUD
2010
ACM
15 years 4 months ago
Stateful bulk processing for incremental analytics
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
Dionysios Logothetis, Christopher Olston, Benjamin...
C5
2003
IEEE
15 years 4 months ago
SuperSwiki - Bringing collaboration to the class room
SuperSwiki is a not yet well defined term. Its origins go back to Ward Cunningham's Wiki and its Squeak variant, the Swiki. It provides a place to share and edit web pages, f...
Michael Rüger