Sciweavers

1225 search results - page 176 / 245
» Performance Evaluation of Grid-Enabled Code: A Case Study
Sort
View
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
15 years 2 months ago
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
Jonathan Aldrich, Craig Chambers, Emin Gün Si...
SIGOPS
2010
91views more  SIGOPS 2010»
14 years 8 months ago
Why panic()?: improving reliability with restartable file systems
The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for ...
Swaminathan Sundararaman, Sriram Subramanian, Abhi...
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 4 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
PPOPP
2009
ACM
15 years 10 months ago
Serialization sets: a dynamic dependence-based parallel execution model
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
Matthew D. Allen, Srinath Sridharan, Gurindar S. S...
ICDCS
2003
IEEE
15 years 3 months ago
Decision-Support Workload Characteristics on a Clustered Database Server from the OS Perspective
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
Yanyong Zhang, Jianyong Zhang, Anand Sivasubramani...