Sciweavers

3868 search results - page 253 / 774
» A Distributed Parallel Programming Framework
Sort
View
ECOOPW
1999
Springer
15 years 11 months ago
Deriving Object-Oriented Frameworks from Domain Knowledge
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...
Mehmet Aksit
CONCUR
2004
Springer
16 years 10 hour ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
COLCOM
2009
IEEE
15 years 11 months ago
R4: Towards a holistic framework for designing and developing Social Web Applications
— Social Web Application (SWA) design and development is a complex process that requires the understanding and coordination of several domains of knowledge. Yet there remain few ...
Sungwon Peter Choe, Junehwa Song
180
Voted
IPPS
2002
IEEE
15 years 11 months ago
A Framework for Using Benefit Functions In Complex Real Time Systems
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
David L. Andrews, Lonnie R. Welch, David M. Chelbe...
ESCIENCE
2007
IEEE
16 years 29 days ago
A Framework for Providing Hard Delay Guarantees in Grid Computing
Future Grid Networks should be able to provide Quality of Service (QoS) guarantees to their users. In this work we propose a framework for Grid Networks that provides deterministi...
Panagiotis C. Kokkinos, Emmanouel A. Varvarigos, N...