Sciweavers

1991 search results - page 139 / 399
» Small Models of Large Machines
Sort
View
SPIN
2007
Springer
15 years 11 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
QEST
2009
IEEE
16 years 3 days ago
Mean-Field Analysis for the Evaluation of Gossip Protocols
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...
Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn ...
DAC
2006
ACM
16 years 6 months ago
MARS-C: modeling and reduction of soft errors in combinational circuits
Due to the shrinking of feature size and reduction in supply voltages, nanoscale circuits have become more susceptible to radiation induced transient faults. In this paper, we pre...
Natasa Miskov-Zivanov, Diana Marculescu
FCCM
2006
IEEE
133views VLSI» more  FCCM 2006»
15 years 11 months ago
A Scalable FPGA-based Multiprocessor
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
Arun Patel, Christopher A. Madill, Manuel Salda&nt...
ICIP
1994
IEEE
16 years 6 months ago
Global Priors for Binocular Stereopsis
In this paper, we develop a Bayesian feedback method for incorporating global structure into prior models for binocular stereopsis. Since most stereo scenes contain either backgro...
Peter N. Belhumeur