1631 search results - page 106 / 327 » Observing Functional Logic Computations |
106
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
167
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We consider the problem of task assignment and execution in multirobot systems, by proposing a procedure for bid estimation in auction protocols. Auctions are of interest to mu...
175
Voted
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
113
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
130
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...