3931 search results - page 169 / 787 » Separation logic and abstraction |
184
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
156
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
Abstract-- Increasing device densities allow chip manufacturers to integrate more functionality onto a single piece of silicon. FPGA manufacturers, such as Xilinx and Altera, use t...
174
click to vote
ICES
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to ...
158
click to vote
AML
2002
15 years 6 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
189
click to vote
GCB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...