4714 search results - page 615 / 943 » The Complexity of Iterated Multiplication |
189
Voted
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
163
click to vote
EOR
2010
15 years 1 months ago
2010
PACMAN (Passive and Active Compensability Multicriteria ANalysis) is a multiple criteria methodology based on a decision maker oriented notion of compensation, called compensabili...
198
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
A central question in designing server farms today is how to efficiently provision the number of servers to extract the best performance under unpredictable demand patterns while ...
194
click to vote
PROMISE
2010
15 years 1 months ago
2010
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
162
click to vote
TIT
2010
15 years 1 months ago
2010
Abstract--We consider Laurent polynomial (LP) matrices defined on the unit circle of the complex plane. QR decomposition of an LP matrix A(s) yields QR factors Q(s) and R(s) that, ...