Sciweavers

814 search results - page 55 / 163
» Analysis of Modular Arithmetic
Sort
View
CSL
2005
Springer
15 years 3 months ago
Complexity and Intensionality in a Type-1 Framework for Computable Analysis
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
Branimir Lambov
GECCO
2009
Springer
15 years 4 months ago
On the performance effects of unbiased module encapsulation
A recent theoretical investigation of modular representations shows that certain modularizations can introduce a distance bias into a landscape. This was a static analysis, and em...
R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Oz...
CORR
2010
Springer
130views Education» more  CORR 2010»
14 years 8 months ago
Spectral methods for the detection of network community structure: a comparative analysis
Spectral analysis has been successfully applied to the detection of community structure of networks, respectively being based on the adjacency matrix, the standard Laplacian matrix...
Hua-Wei Shen, Xue-Qi Cheng
MEMOCODE
2003
IEEE
15 years 3 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
ENTCS
2010
125views more  ENTCS 2010»
14 years 7 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival