551 search results - page 31 / 111 » Realizability of Real-Time Logics |
141
click to vote
RTAS
1997
IEEE
15 years 9 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 ...
145
click to vote
CDES
2006
15 years 6 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 ...
146
click to vote
IAJIT
2010
15 years 4 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...
143
click to vote
FOSSACS
2009
Springer
16 years 7 days 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...
149
click to vote
AML
2008
15 years 5 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...