1054 search results - page 2 / 211 » Translation Validation of System Abstractions |
CLEF
2005
Springer
14 years 28 days ago
2005
Springer
For our second participation to the Question Answering task of CLEF, we kept last year’s system named MUSCLEF, which uses two translation strategies implemented in two modules. ...
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
VLSID
2007
IEEE
14 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
ASM
2005
ASM
14 years 29 days ago
2005
ASM
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...