Sciweavers

822 search results - page 71 / 165
» Contention in shared memory algorithms
Sort
View
ISMIR
2005
Springer
157views Music» more  ISMIR 2005»
14 years 2 months ago
A Partial Searching Algorithm and Its Application for Polyphonic Music Transcription
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
Wen Xue, M. Sandler
ASPDAC
2006
ACM
169views Hardware» more  ASPDAC 2006»
14 years 2 months ago
A real-time and bandwidth guaranteed arbitration algorithm for SoC bus communication
– In shared SoC bus systems, arbiters are usually adopted to solve bus contentions with various kinds of arbitration algorithms. We propose an arbitration algorithm, RT_lottery, ...
Chien-Hua Chen, Geeng-Wei Lee, Juinn-Dar Huang, Ji...
APWEB
2008
Springer
13 years 10 months ago
SemSearch: A Scalable Semantic Searching Algorithm for Unstructured P2P Network
Resource searching in the current peer-to-peer (P2P) applications is mainly based on the keyword match. However, more and more P2P applications require an efficient semantic search...
Wei Song, Ruixuan Li, Zhengding Lu, Mudar Sarem
CAV
2006
Springer
165views Hardware» more  CAV 2006»
14 years 20 days ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
ASPLOS
2008
ACM
13 years 11 months ago
Archipelago: trading address space for reliability and security
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Ben...