Sciweavers

8719 search results - page 1211 / 1744
» Visualization of Distributed Processes Using
Sort
View
ESCIENCE
2006
IEEE
15 years 10 months ago
Designing Workflow Components for e-Science
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
Frank Terpstra, Pieter W. Adriaans
HLPPP
1991
15 years 10 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
HAIS
2010
Springer
15 years 10 months ago
A GPU-Based DVC to H.264/AVC Transcoder
Mobile to mobile video conferencing is one of the services that the newest mobile network operators can offer to users. With the apparition of the distributed video coding paradigm...
Alberto Corrales-García, Rafael Rodrí...
CONCUR
2008
Springer
15 years 8 months ago
Invariants for Parameterised Boolean Equation Systems
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
Simona Orzan, Tim A. C. Willemse
EUROPAR
2008
Springer
15 years 8 months ago
Efficient Management of Complex Striped Files in Active Storage
Abstract. Active Storage provides an opportunity for reducing the bandwidth requirements between the storage and compute elements of current supercomputing systems, and leveraging ...
Juan Piernas, Jarek Nieplocha
« Prev « First page 1211 / 1744 Last » Next »