50 search results - page 10 / 10 » Validating Model-Driven Performance Predictions on Random So... |
127
click to vote
ICSE
2012
IEEE-ACM
11 years 7 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
ICSM
2008
IEEE
13 years 11 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
WORDS
2003
IEEE
13 years 10 months ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
PLDI
2005
ACM
13 years 10 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
BMCBI
2010
13 years 5 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...