Sciweavers

1488 search results - page 96 / 298
» Experimental Assessment of Parallel Systems
Sort
View
SP
2008
IEEE
122views Security Privacy» more  SP 2008»
15 years 6 months ago
Large-scale phylogenetic analysis on current HPC architectures
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
Michael Ott, Jaroslaw Zola, Srinivas Aluru, Andrew...
AES
2008
Springer
111views Cryptology» more  AES 2008»
15 years 6 months ago
Ambient vibration testing and structural evaluation of an historic suspension footbridge
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
C. Gentile, N. Gallino
IPPS
2007
IEEE
16 years 12 days ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
CLOUDCOM
2009
Springer
15 years 9 months ago
Decentralized Service Allocation in a Broker Overlay Based Grid
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
Abdulrahman Azab, Hein Meling
MAM
2007
113views more  MAM 2007»
15 years 6 months ago
A reconfigurable computing framework for multi-scale cellular image processing
Cellular computing architectures represent an important class of computation that are characterized by simple processing elements, local interconnect and massive parallelism. Thes...
Reid B. Porter, Jan R. Frigo, Al Conti, Neal R. Ha...