82 search results - page 15 / 17 » Selected Methods of Model Checking Using SAT and SMT-Solvers |
IFM
2007
Springer
15 years 4 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
PTS
2007
14 years 11 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
185
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
98
Voted
CSB
2005
IEEE
15 years 9 days ago
2005
IEEE
In microarray classification we are faced with a very large number of features and very few training samples. This is a challenge for classical Linear Discriminant Analysis (LDA),...
COLING
2000
14 years 11 months ago
2000
In this paper we describe a method of acquiring word order fl'om corpora. Word order is defined as the order of modifiers, or the order of phrasal milts called 'bunsetsu...