Sciweavers

947 search results - page 146 / 190
» Analysis of Techniques to Improve Protocol Processing Latenc...
Sort
View
POPL
2001
ACM
16 years 1 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 2 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»
15 years 7 months 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»
15 years 7 months 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 6 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...