Sciweavers

7576 search results - page 239 / 1516
» UNIX as an Application Program
Sort
View
PLDI
2009
ACM
15 years 11 months ago
Progress guarantee for parallel programs via bounded lock-freedom
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaa...
ASPLOS
1998
ACM
15 years 10 months ago
Active Disks: Programming Model, Algorithms and Evaluation
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
Anurag Acharya, Mustafa Uysal, Joel H. Saltz
APBC
2003
117views Bioinformatics» more  APBC 2003»
15 years 8 months ago
A New Program to Compute the Surface Properties of Biomolecules
The interactions of large molecules with surfaces and with each other are strongly dependent upon their surface, rather than their bulk properties. In addition, the local properti...
Dan V. Nicolau Jr., Florin Fulga, Dan V. Nicolau
WOA
2003
15 years 8 months ago
eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
Antonella Di Stefano, Corrado Santoro
JLP
2008
129views more  JLP 2008»
15 years 6 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu