Sciweavers

15636 search results - page 210 / 3128
» Modelling by supersaturated designs
Sort
View
CHI
1992
ACM
15 years 10 months ago
Coupling Application Design and User Interface Design
Building an interactive application requires, amongst other activities, the design of both a data model and a user interface. These two designs are often done separately, frequent...
Dennis J. M. J. de Baar, James D. Foley, Kevin E. ...
DAC
1999
ACM
16 years 7 months ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
DAC
1999
ACM
16 years 7 months ago
Robust Rational Function Approximation Algorithm for Model Generation
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
DAC
2004
ACM
16 years 7 months ago
Quantum-Dot Cellular Automata (QCA) circuit partitioning: problem modeling and solutions
This paper presents the Quantum-Dot Cellular Automata (QCA) physical design problem, in the context of the VLSI physical design problem. The problem is divided into three subprobl...
Dominic A. Antonelli, Danny Z. Chen, Timothy J. Dy...