1798 search results - page 52 / 360 » Generating presentation constraints from rhetorical structur... |
PG
2007
IEEE
14 years 3 months ago
2007
IEEE
The craft of papercutting is part of the folk art traditions of cultures all over the world. From the point of view of computer graphics, papercutting can be seen as a method of c...
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
ECBS
2005
IEEE
13 years 11 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...
ATS
1996
IEEE
14 years 1 months ago
1996
IEEE
A hierarchical test generation method is presented that uses the inherent hierarchical structure of the circuit under test and takes fault diagnosability into account right from t...