8132 search results - page 1207 / 1627 » Dependability, Abstraction, and Programming |
197
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
175
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
166
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
201
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
213
click to vote
ICAISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper proposes the Sequential Coordinate-Wise Algorithm (SCWA) to Discriminant Nonnegative Matrix Factorization (DNMF) for improving face recognition. DNMF incorpora...