Sciweavers

947 search results - page 146 / 190
» Analysis of Techniques to Improve Protocol Processing Latenc...
Sort
View
POPL
2001
ACM
16 years 6 months ago
Mobile values, new names, and secure communication
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
Cédric Fournet, Martín Abadi
ICML
2007
IEEE
16 years 7 months ago
Constructing basis functions from directed graphs for value function approximation
Basis functions derived from an undirected graph connecting nearby samples from a Markov decision process (MDP) have proven useful for approximating value functions. The success o...
Jeffrey Johns, Sridhar Mahadevan
DFT
2006
IEEE
99views VLSI» more  DFT 2006»
16 years 12 days ago
Error Tolerance of DNA Self-Assembly by Monomer Concentration Control
Abstract— This paper proposes the control of monomer concentration as a novel improvement of the kinetic Tile Assembly Model (kTAM) to reduce the error rate in DNA selfassembly. ...
Byunghyun Jang, Yong-Bin Kim, Fabrizio Lombardi
ISCAS
2006
IEEE
109views Hardware» more  ISCAS 2006»
16 years 10 days ago
Dependence of LC VCO oscillation frequency on bias current
– LC-tuned voltage controlled oscillators (LC VCOs) are widely used in high performance phase locked loops (PLLs) and frequency synthesizers due to their high spectral purity. Th...
Ting Wu, Un-Ku Moon, Kartikeya Mayaram
IBPRIA
2003
Springer
15 years 11 months ago
A 3D Ultrasound System for Medical Diagnosis
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...
João M. Sanches, Jorge S. Marques, Fausto P...