1090 search results - page 105 / 218 » The Equivalence between Biology and Computation |
119
click to vote
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
104
Voted
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
109
Voted
DAC
1994
ACM
15 years 4 months ago
1994
ACM
New placement techniques are presented which substantially improve the process of automatic layout generation of analog IC's. Extremely tight specifications can be enforced o...
114
Voted
IFIPTCS
2000
15 years 4 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
121
click to vote
RTA
2000
Springer
15 years 4 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...