Sciweavers

2419 search results - page 155 / 484
» A Simple DOCSIS Simulator
Sort
View
CSFW
1999
IEEE
15 years 4 months ago
I/O Automaton Models and Proofs for Shared-Key Communication Systems
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
Nancy A. Lynch
ISCAS
1999
IEEE
74views Hardware» more  ISCAS 1999»
15 years 4 months ago
Mismatch-shaping serial digital-to-analog converter
A simple but accurate pseudo-passive mismatch-shaping D/A converter is described. A digital state machine is used to control the switching sequence of a symmetric two-capacitor ne...
Jesper Steensgaard, Un-Ku Moon, Gabor C. Temes
ICGI
1998
Springer
15 years 4 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier
DFT
1997
IEEE
141views VLSI» more  DFT 1997»
15 years 4 months ago
Analysis of a Hybrid Defect-Tolerance Scheme for High-Density Memory ICs
Recent increases in the density and size of memory ICs made it ne cessary to search for new defect tolerance techniques since the traditional methods are no longer e ective enough...
Israel Koren, Zahava Koren
ECAI
1994
Springer
15 years 3 months ago
Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems
This paper introduces a simple yete ective method for using causal domain knowledge for learning to control dynamic systems. Elementary qualitative causal dependencies of the domai...
Achim G. Hoffmann