Sciweavers

133 search results - page 19 / 27
» Applying dependability aspects on top of
Sort
View
OTM
2007
Springer
14 years 1 months ago
Invasive Patterns for Distributed Programs
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
Luis Daniel Benavides Navarro, Mario Südholt,...
DFG
2004
Springer
14 years 23 days ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
ICONIP
2008
13 years 8 months ago
On Similarity Measures for Spike Trains
A variety of (dis)similarity measures for one-dimensional point processes (e.g., spike trains) are investigated, including the Victor-Purpura distance metric, the van Rossum distan...
Justin Dauwels, François B. Vialatte, Theop...
ALIFE
2008
13 years 7 months ago
Exploring the Operational Characteristics of Inference Algorithms for Transcriptional Networks by Means of Synthetic Data
The development of structure-learning algorithms for gene regulatory networks depends heavily on the availability of synthetic data sets that contain both the original network and ...
Koenraad Van Leemput, Tim Van den Bulcke, Thomas D...
ASPLOS
2012
ACM
12 years 3 months ago
Architecture support for disciplined approximate programming
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug...