1620 search results - page 56 / 324 » Testing Polymorphic Properties |
101
click to vote
DATE
2010
IEEE
15 years 6 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...
102
click to vote
SPIRE
2000
Springer
15 years 6 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...
125
Voted
RSS
2007
15 years 3 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...
114
click to vote
GLVLSI
2006
IEEE
15 years 8 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 ...
152
click to vote
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...