Sciweavers

12807 search results - page 245 / 2562
» Application - Platform Performance Modeling and Evaluation
Sort
View
SAMOS
2010
Springer
15 years 4 months ago
Cycle-accurate performance modelling in an ultra-fast just-in-time dynamic binary translation instruction set simulator
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
Igor Böhm, Björn Franke, Nigel P. Topham
NCA
2008
IEEE
16 years 26 days ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
ITNG
2006
IEEE
16 years 15 days ago
Evaluating Parallel Computing Systems in Bioinformatics
The utilization of parallel processing in bioinformatics is a relatively new development, and wide spread use of parallel processing in this domain has been limited by the availab...
Erik S. Gough, Michael D. Kane
ISCA
1992
IEEE
123views Hardware» more  ISCA 1992»
15 years 10 months ago
The Impact of Communication Locality on Large-Scale Multiprocessor Performance
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
Kirk L. Johnson
ICASSP
2011
IEEE
14 years 10 months ago
Speaker similarity evaluation of foreign-accented speech synthesis using HMM-based speaker adaptation
This paper describes a speaker discrimination experiment in which native English listeners were presented with natural and synthetic speech stimuli in English and were asked to ju...
Mirjam Wester, Reima Karhila