Sciweavers

3356 search results - page 242 / 672
» Determining Consensus Numbers
Sort
View
PADS
2005
ACM
15 years 11 months ago
Parallel Event-Driven Neural Network Simulations Using the Hodgkin-Huxley Neuron Model
Neural systems are composed of a large number of highly-connected neurons and are widely simulated within the neurological community. In this paper, we examine the application of ...
Collin J. Lobb, Zenas Chao, Richard M. Fujimoto, S...
SC
2005
ACM
15 years 11 months ago
Integrated Loop Optimizations for Data Locality Enhancement of Tensor Contraction Expressions
A very challenging issue for optimizing compilers is the phase ordering problem: In what order should a collection of compiler optimizations be performed? We address this problem ...
Swarup Kumar Sahoo, Sriram Krishnamoorthy, Rajkira...
SIGECOM
2005
ACM
105views ECommerce» more  SIGECOM 2005»
15 years 11 months ago
Communication complexity of common voting rules
We determine the communication complexity of the common voting rules. The rules (sorted by their communication complexity from low to high) are plurality, plurality with runoff, ...
Vincent Conitzer, Tuomas Sandholm
CCS
2005
ACM
15 years 11 months ago
Deciding security of protocols against off-line guessing attacks
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
Mathieu Baudet
CLEF
2005
Springer
15 years 11 months ago
BUAP-UPV TPIRS: A System for Document Indexing Reduction at WebCLEF
Abstract. In this paper we present the results of BUAP/UPV universities in WebCLEF, a particular task of CLEF 2005. Particularly, we evaluate our information retrieval system at th...
David Pinto, Héctor Jiménez-Salazar,...