Sciweavers

11561 search results - page 77 / 2313
» Open Distributed Processing
Sort
View
JSSPP
2007
Springer
14 years 4 months ago
Enhancing an Open Source Resource Manager with Multi-core/Multi-threaded Support
Current resource managers do not have adequate node allocation and distribution strategies to efficiently schedule jobs on multi-core multi-threaded systems. Clusters composed of ...
Susanne M. Balle, Daniel J. Palermo
IPPS
1997
IEEE
14 years 2 months ago
Platform-Independent Runtime Optimizations Using OpenThreads
Although platform-independent runtime systems for parallel programming languages are desirable, the need for low-level optimizations usually precludes their existence. This is bec...
Matthew Haines, Koen Langendoen
ICSE
2000
IEEE-ACM
14 years 1 months ago
A case study of open source software development: the Apache server
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial developmen...
Audris Mockus, Roy T. Fielding, James D. Herbsleb
ESOP
2008
Springer
14 years 18 hour ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
CONCUR
2007
Springer
14 years 4 months ago
Is Observational Congruence Axiomatisable in Equational Horn Logic?
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
Michael Mendler, Gerald Lüttgen