Sciweavers

1300 search results - page 225 / 260
» Probabilistic logic with independence
Sort
View
ASPDAC
2005
ACM
127views Hardware» more  ASPDAC 2005»
14 years 1 months ago
Clock network minimization methodology based on incremental placement
: In ultra-deep submicron VLSI circuits, clock network is a major source of power consumption and power supply noise. Therefore, it is very important to minimize clock network size...
Liang Huang, Yici Cai, Qiang Zhou, Xianlong Hong, ...
PADS
2005
ACM
14 years 1 months ago
Merging Parallel Simulation Programs
In earlier work cloning is proposed as a means for efficiently splitting a running simulation midway through its execution into multiple parallel simulations. In simulation cloni...
Abhishek Agarwal, Maria Hybinette
AIME
2005
Springer
14 years 1 months ago
Learning Rules from Multisource Data for Cardiac Monitoring
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
Élisa Fromont, Rene Quiniou, Marie-Odile Co...
CCS
2005
ACM
14 years 1 months ago
A modular correctness proof of IEEE 802.11i and TLS
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
Changhua He, Mukund Sundararajan, Anupam Datta, An...
DNA
2005
Springer
102views Bioinformatics» more  DNA 2005»
14 years 1 months ago
Chain Reaction Systems Based on Loop Dissociation of DNA
In the field of DNA computing, more and more efforts are made for constructing molecular machines made of DNA that work in vitro or in vivo. States of some of those machines are...
Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kam...