1036 search results - page 17 / 208 » Design methods as discourse on practice |
DAC
2000
ACM
14 years 9 months ago
2000
ACM
We propose practical iterated methods for layout density control for CMP uniformity, based on linear programming, Monte-Carlo and greedy algorithms. We experimentally study the tr...
ICONFERENCE
2011
13 years 3 months ago
2011
To develop a science of small-group interaction in groupware, we need a method for analyzing the structure of computer-mediated discourse. Conversation analysis offers an analysis...
CAV
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
APCHI
2004
IEEE
14 years 11 days ago
2004
IEEE
We interviewed 26 information architects about their work, their backgrounds and their perceptions of their roles as information architects. Our research aimed to identify and unde...
GLVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...