Sciweavers

2784 search results - page 345 / 557
» Instruction Level Parallelism
Sort
View
COORDINATION
2006
Springer
15 years 7 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
167
Voted
ECOOPW
2006
Springer
15 years 7 months ago
Architecture-Centric Evolution: New Issues and Trends
Abstract. Software evolution has largely been focused on low-level implementation artefacts through refactoring techniques rather than the architectural level. However code-centric...
Paris Avgeriou, Uwe Zdun, Isabelle Borne
99
Voted
EUROPAR
2006
Springer
15 years 7 months ago
Storage Exchange: A Global Trading Platform for Storage Services
Abstract. The Storage Exchange (SX) is a new platform allowing storage to be treated as a tradeable resource. Organisations with varying storage requirements can use the SX platfor...
Martin Placek, Rajkumar Buyya
116
Voted
GCC
2006
Springer
15 years 7 months ago
GPFlow: An Intuitive Environment for Web Based Scientific Workflow
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
Asbjørn Rygg, Paul Roe, On Wong
120
Voted
EDO
2000
Springer
15 years 7 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh