Search Sciweavers | Sciweavers

26

IPPS
2006
IEEE

141views Distributed And Parallel Com...» more IPPS 2006»

Babylon v2.0: middleware for distributed, parallel, and mobile Java applications

14 years 3 months ago

Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...

Willem van Heiningen, Tim Brecht, Steve MacDonald

claim paper

Read More »

35

click to vote

HPCA
2003
IEEE

137views Distributed And Parallel Com...» more HPCA 2003»

Variability in Architectural Simulations of Multi-Threaded Workloads

14 years 10 months ago

Download www.cs.wisc.edu

Multi-threaded commercial workloads implement many important internet services. Consequently, these workloads are increasingly used to evaluate the performance of uniprocessor and...

Alaa R. Alameldeen, David A. Wood

claim paper

Read More »

29

click to vote

CCS
2004
ACM

124views Security Privacy» more CCS 2004»

Formally verifying information flow type systems for concurrent and thread systems

14 years 3 months ago

Download hal.archives-ouvertes.fr

Information ﬂow type systems provide an elegant means to enforce conﬁdentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...

Gilles Barthe, Leonor Prensa Nieto

claim paper

Read More »

21

click to vote

ICS
2001
Tsinghua U.

95views Distributed And Parallel Com...» more ICS 2001»

Improving Java performance using hardware translation

14 years 2 months ago