Sciweavers

3398 search results - page 393 / 680
» Implementations of Grid-Based Distributed Parallel Computing
Sort
View
CLUSTER
2004
IEEE
15 years 10 months ago
Component-based cluster systems software architecture a case study
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf ...
CW
2004
IEEE
15 years 10 months ago
Analytically-Defined Collaborative Shape Modeling in VRML
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
Qi Liu, Alexei Sourin
CONCUR
2006
Springer
15 years 10 months ago
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
Yoshinao Isobe, Markus Roggenbach
CONCUR
2006
Springer
15 years 10 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ESCIENCE
2006
IEEE
15 years 10 months ago
Applying Advance Reservation to Increase Predictability of Workflow Execution on the Grid
ct In this paper we present an extension to devise and implement advance reservation as part of the scheduling and resource management services of the ASKALON Grid application deve...
Marek Wieczorek, Mumtaz Siddiqui, Alex Villaz&oacu...