1677 search results - page 79 / 336 » On the Completeness of Quantum Computation Models |
145
click to vote
TC
2010
15 years 1 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
140
click to vote
ENTCS
2007
15 years 6 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
173
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
142
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- We consider the multiplay model for hysteresis with nonlocal memory. This model consists of N mass/spring/dashpot with deadzone elements. The hysteresis map of the multi...
171
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
A probabilistic scheduling model for software projects is presented. The model explicitly takes a scheduling strategy as input. When the scheduling strategy is fixed, the model ou...