Sciweavers

5898 search results - page 1041 / 1180
» Parallel Computing Environments and Methods
Sort
View
ASPDAC
2005
ACM
120views Hardware» more  ASPDAC 2005»
15 years 5 months ago
STACCATO: disjoint support decompositions from BDDs through symbolic kernels
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
Stephen Plaza, Valeria Bertacco
INTERSPEECH
2010
14 years 9 months ago
Text normalization based on statistical machine translation and internet user support
In this paper, we describe and compare systems for text normalization based on statistical machine translation (SMT) methods which are constructed with the support of internet use...
Tim Schlippe, Chenfei Zhu, Jan Gebhardt, Tanja Sch...
STOC
2002
ACM
111views Algorithms» more  STOC 2002»
16 years 3 months ago
The price of anarchy is independent of the network topology
We study the degradation in network performance caused by the selfish behavior of noncooperative network users. We consider a model of selfish routing in which the latency experie...
Tim Roughgarden
IEEEPACT
2003
IEEE
15 years 8 months ago
Constraint Graph Analysis of Multithreaded Programs
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
Harold W. Cain, Mikko H. Lipasti, Ravi Nair
JCC
2008
131views more  JCC 2008»
15 years 3 months ago
An optimized initialization algorithm to ensure accuracy in quantum Monte Carlo calculations
: Quantum Monte Carlo (QMC) calculations require the generation of random electronic configurations with respect to a desired probability density, usually the square of the magnitu...
Daniel R. Fisher, David R. Kent IV, Michael T. Fel...
« Prev « First page 1041 / 1180 Last » Next »