3384 search results - page 455 / 677 » More Testable Properties |
181
click to vote
IWVF
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
170
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
168
click to vote
SAGA
2001
Springer
15 years 11 months ago
2001
Springer
We study the combinatorial optimization task of choosing the smoothest map from a given family of maps, which is motivated from motor control unit calibration. The problem is of a ...
129
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
Today’s system-on-a-chip designs consist of many cores. To enable cores to be easily integrated into different systems, many propose creating cores with their internal logic sep...
176
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...