Sciweavers

32 search results - page 2 / 7
» gcc 2006
Sort
View
GCC
2006
Springer
13 years 8 months ago
Developing the Modular Information Provider (MIP) to Support Interoperable Grid Information Services
The Modular Information Provider (MIP) has been developed to systematically aggregate multiple sources of information for Grid information services (GIS). MIP undertakes the chall...
Shaowen Wang, Eric Shook, Anand Padmanabhan, Ranso...
CC
2006
Springer
101views System Software» more  CC 2006»
13 years 8 months ago
SARA: Combining Stack Allocation and Register Allocation
Commonly-used memory units enable a processor to load and store multiple registers in one instruction. We showed in 2003 how to extend gcc with a stack-location-allocation (SLA) ph...
V. Krishna Nandivada, Jens Palsberg
ENTCS
2006
114views more  ENTCS 2006»
13 years 4 months ago
Open-Source Model Checking
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
GCC
2006
Springer
13 years 8 months ago
Decentralized Workflow Execution for Virtual Enterprises in Grid Environment
With the emergence of global market and virtual enterprises, coordination of business processes in dispersed organizations by distributed workflow execution will take on more impo...
Wei Tan, Yushun Fan
GCC
2006
Springer
13 years 8 months ago
Amadeus: A Holistic Service-oriented Environment for Grid Workflows
In this paper we present Amadeus, which is a holistic service-oriented environment for QoS-aware Grid workflows. Amadeus considers user's requirements, in terms of QoS constr...
Ivona Brandic, Sabri Pllana, Siegfried Benkner