1596 search results - page 187 / 320 » Quantum property testing |
CONCUR
1994
Springer
14 years 2 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
AMS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract In legged systems, springy legs facilitate gaits with subsequent contact and flight phases. Here, we test whether electrical motors can generate leg behaviors suitable for...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
CANDC
2007
ACM
14 years 2 months ago
2007
ACM
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...