551 search results - page 31 / 111 » Realizability of Real-Time Logics |
RTAS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...
CDES
2006
13 years 11 months ago
2006
Multi-valued Fredkin gates (MVFG) are reversible gates and they can be considered as modified version of the better known reversible gate the Fredkin gate. Reversible logic gates ...
IAJIT
2010
13 years 8 months ago
2010
: In parity preserving reversible circuit, the parity of the input vector must match the parity of the output vector. It renders a wide class of circuit faults readily detectable a...
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
AML
2008
13 years 10 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...