242 search results - page 13 / 49 » Practical Issues in Graphical Constraints |
ICCAD
1999
IEEE
14 years 4 days ago
1999
IEEE
This paper describes a polynomial time algorithm for min-area retiming for edge-triggered circuits to handle both setup and hold constraints. Given a circuit G and a target clock ...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
In many volume visualization applications there is some region of specific interest where we wish to see fine detail - yet we do not want to lose an impression of the overall pict...
VRML
1998
ACM
14 years 1 days ago
1998
ACM
This paper describes an application of VRML-based multimedia to the domain of spatial cognition experiments. Typically, such experiments involve human subjects that are presented ...
CADE
2003
Springer
14 years 8 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
APSEC
1998
IEEE
14 years 3 days ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...