Sciweavers

Share
33 search results - page 1 / 7
» gcc 2006
Sort
View
APWEB
2006
Springer
10 years 3 months ago
GCC: A Knowledge Management Environment for Research Centers and Universities
Jonice Oliveira, Jano Moreira de Souza, Rodrigo Mi...
GCC
2006
Springer
10 years 3 months ago
Workflows in Computation Grids
This paper shows that flexibility of workflow executions, i.e., the ability to deviate from a given model on the fly and during execution, is crucial for a wide applicability of w...
Dominik Kuropka, Gottfried Vossen, Mathias Weske
ENTCS
2006
114views more  ENTCS 2006»
9 years 11 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
10 years 3 months ago
Grid Enabled Data Integration Framework for Bioinformatics Research
A framework is proposed to manage the distributed and heterogeneous databases in grid environment for understanding protein-protein interaction. Furthermore, the framework is used...
Jia Liu, Yongwei Wu, Weimin Zheng
GCC
2006
Springer
10 years 3 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
books