Sciweavers

5012 search results - page 511 / 1003
» Distributed Error Correction
Sort
View
CSO
2009
IEEE
16 years 1 months ago
Automatic Extraction of Spoken Word in Broadcast Media Language
Compared with the written word, few experts pay more attention to the spoken word because of the difficulty of obtaining spoken corpora. In order to develop and improve the spoken...
Yuqiang Zhang, Yu Zou, Wei He, Min Hou, Yonglin Te...
CONCUR
2009
Springer
16 years 1 months ago
Winning Regions of Pushdown Parity Games: A Saturation Method
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
Matthew Hague, C.-H. Luke Ong
ISPAN
2008
IEEE
16 years 1 months ago
Task Parallelism for Object Oriented Programs
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
Nasser Giacaman, Oliver Sinnen
PRDC
2008
IEEE
16 years 1 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
IPPS
2007
IEEE
16 years 1 months ago
Detecting Runtime Environment Interference with Parallel Application Behavior
Many performance problems observed in high end systems are actually caused by the runtime system and not the application code. Detecting these cases will require parallel performa...
Rashawn L. Knapp, Karen L. Karavanic, Douglas M. P...