Sciweavers

950 search results - page 117 / 190
» Free and Open Source Software
Sort
View
PLPV
2010
ACM
14 years 12 months ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
Tomás Kalibera, Pavel Parizek, Ghaith Hadda...
EUROPLOP
2006
14 years 11 months ago
A Pattern Language for Overlay Networks in Peer-to-Peer Systems
Peer-to-peer systems typically operate in large-scale, highly unreliable and insecure environments. Tackling this complexity requires good software design. Yet, many peer-to-peer ...
Dominik Grolimund, Peter Muller
SCAM
2005
IEEE
15 years 3 months ago
Fine-Grained Analysis of Change Couplings
In software evolution analysis, many approaches analyze release history data available through versioning systems. The recent investigations of CVS data have shown that commonly c...
Beat Fluri, Harald Gall, Martin Pinzger
ISBI
2004
IEEE
15 years 10 months ago
SCIRun/BioPSE: Integrated Problem Solving Environment for Bioelectric Field Problems and Visualization
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
Robert S. MacLeod, David M. Weinstein, J. Davison ...
METRICS
2005
IEEE
15 years 3 months ago
Visualizing Historical Data Using Spectrographs
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt