Sciweavers

2253 search results - page 131 / 451
» Computing with Realizational Morphology
Sort
View
ISMVL
2008
IEEE
160views Hardware» more  ISMVL 2008»
15 years 11 months ago
Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares
Compact realizations of reversible logic functions are of interest in the design of quantum computers. In this paper we present an exact synthesis algorithm, based on Boolean Sati...
Daniel Große, Robert Wille, Gerhard W. Dueck...
DATE
2007
IEEE
114views Hardware» more  DATE 2007»
15 years 11 months ago
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
Ngai Wong
KES
2007
Springer
15 years 11 months ago
DACS Web Service
DACS (Destination Addressing Control System) Scheme is developed as a new network management scheme. DACS Scheme performs the network management and services efficiently by commun...
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi...
ICML
1989
IEEE
15 years 8 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
143
Voted
PDPTA
2000
15 years 6 months ago
Programming Environment Specified for Interprocessor Communications Based on Graphical User Interface
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
Yasutaka Sakayori, Motoki Miura, Jiro Tanaka