Sciweavers

2259 search results - page 76 / 452
» Leveraging Distributed Software Development
Sort
View
116
Voted
IPPS
2007
IEEE
15 years 9 months ago
Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
Steve Quenette, Louis Moresi, P. D. Sunter, Bill F...
143
Voted
ESCIENCE
2006
IEEE
15 years 8 months ago
Workflow-Driven Ontologies: An Earth Sciences Case Study
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
Leonardo Salayandia, Paulo Pinheiro da Silva, Ann ...
107
Voted
VSTTE
2005
Springer
15 years 8 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
176
Voted
ICWSM
2009
15 years 13 days ago
Gephi: An Open Source Software for Exploring and Manipulating Networks
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
Mathieu Bastian, Sebastien Heymann, Mathieu Jacomy
117
Voted
CBMS
2004
IEEE
15 years 6 months ago
Toward a Systems Biology Software Toolkit
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
Donald J. Johann, Michael D. McGuigan, Stanimire T...