1768 search results - page 250 / 354 » A Logic for Algebraic Effects |
194
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
166
Voted
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
This paper combines an adaptive supply-voltage scheme with self-timed CMOS digital design, to achieve low power performance. The supply-voltage automatically tracks the input data...
168
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
203
Voted
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
180
click to vote
EDBT
2002
ACM
16 years 7 months ago
2002
ACM
One of the major challenges facing scientists dealing with gene expression data is how to integrate, explore and analyze vast quantities of related data, often residing in multiple...