3113 search results - page 290 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
134
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
132
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
127
click to vote
APNOMS
2006
Springer
15 years 8 months ago
2006
Springer
Conditional Access System (CAS) performs entitlement management to make only legitimate subscribers watch pay-services. Generally, CAS uses passive entitlement management to fulfil...
104
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
146
click to vote
ICES
2000
Springer
15 years 8 months ago
2000
Springer
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but requires efficient algori...