Sciweavers

1218 search results - page 170 / 244
» Scaling up a
Sort
View
KBSE
2006
IEEE
14 years 4 months ago
A Portable Compiler-Integrated Approach to Permanent Checking
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
Eugen-Nicolae Volanschi
NCA
2006
IEEE
14 years 4 months ago
JetStream: Achieving Predictable Gossip Dissemination by Leveraging Social Network Principles
Gossip protocols provide probabilistic reliability and scalability, but their inherent randomness may lead to high variation in number of messages that are received at different n...
Jay A. Patel, Indranil Gupta, Noshir S. Contractor
SBACPAD
2006
IEEE
148views Hardware» more  SBACPAD 2006»
14 years 4 months ago
Scalable Parallel Implementation of Bayesian Network to Junction Tree Conversion for Exact Inference
We present a scalable parallel implementation for converting a Bayesian network to a junction tree, which can then be used for a complete parallel implementation for exact inferen...
Vasanth Krishna Namasivayam, Animesh Pathak, Vikto...
ASPDAC
2006
ACM
95views Hardware» more  ASPDAC 2006»
14 years 4 months ago
Physical design implementation of segmented buses to reduce communication energy
Abstract— The amount of energy consumed for interconnecting the IP-blocks is increasing significantly due to the suboptimal scaling of long wires. To limit this energy penalty, ...
Jin Guo, Antonis Papanikolaou, Pol Marchal, Franck...
ASPDAC
2006
ACM
97views Hardware» more  ASPDAC 2006»
14 years 4 months ago
Wire sizing with scattering effect for nanoscale interconnection
—For nanoscale interconnection, the scattering effect will soon become prominent due to scaling. It will increase the effective resistivity and thus interconnection delay signifi...
Sean X. Shi, David Z. Pan