2806 search results - page 234 / 562 » BML and Related Tools |
172
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
160
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
162
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its speciļ¬cation ...
191
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ā...
191
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We deal with consensus-based online estimation and tracking of (non-) stationary signals using ad hoc wireless sensor networks (WSNs). A distributed (D-) least-mean square (LMS) l...