1596 search results - page 59 / 320 » Quantum property testing |
IFL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
SPIRE
2000
Springer
14 years 1 months ago
2000
Springer
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...
RSS
2007
13 years 11 months ago
2007
— The light-weight robots developed at the German Aerospace Center (DLR) are characterized by their low inertial properties, torque sensing in each joint and a load to weight rat...
GLVLSI
2006
IEEE
14 years 4 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...