15614 search results - page 394 / 3123 » The State of State |
175
click to vote
ERLANG
2003
ACM
16 years 2 days ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
166
Voted
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
193
click to vote
COCO
2007
Springer
16 years 1 months ago
2007
Springer
A t-design for quantum states is a finite set of quantum states with the property of simulating the Haar-measure on quantum states w.r.t. any test that uses at most t copies of a...
166
Voted
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The Quantum Substate Theorem due to Jain, Radhakrishnan, and Sen [7] gives us a powerful operational interpretation of the observational divergence of two quantum states, a quanti...