197 search results - page 10 / 40 » Circuits, Pebbling and Expressibility |
LATA
2010
Springer
13 years 11 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
ISAAC
2007
Springer
14 years 1 months ago
2007
Springer
Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and...
ISPD
2003
ACM
14 years 22 days ago
2003
ACM
: Recent years have seen significant research in finding closed form expressions for the delay of an RC circuit that improves upon the Elmore delay model. However, several of these...
ASPDAC
2000
ACM
13 years 12 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...
ENTCS
2008
13 years 7 months ago
2008
Abstract. The biologist R. Thomas has enounced a rule relating multistationnarity in a system of genes interacting in a single cell to the existence of a positive circuit in the re...