Sciweavers

43 search results - page 6 / 9
» cc 2009
Sort
View
TPHOL
2009
IEEE
14 years 4 months ago
A Better x86 Memory Model: x86-TSO
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
Scott Owens, Susmit Sarkar, Peter Sewell
KBSE
2009
IEEE
14 years 4 months ago
Static Validation of C Preprocessor Macros
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Qu...
SEMWEB
2009
Springer
14 years 4 months ago
Policy-Aware Content Reuse on the Web
The Web allows users to share their work very effectively leading to the rapid re-use and remixing of content on the Web including text, images, and videos. Scientific research d...
Oshani Seneviratne, Lalana Kagal, Tim Berners-Lee
IEEEPACT
2009
IEEE
13 years 7 months ago
Region Based Structure Layout Optimization by Selective Data Copying
As the gap between processor and memory continues to grow, memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to m...
Sandya S. Mannarswamy, Ramaswamy Govindarajan, Ris...
ICASSP
2009
IEEE
14 years 4 months ago
A semi-supervised learning approach to online audio background detection
We present a framework for audio background modeling of complex and unstructured audio environments. The determination of background audio is important for understanding and predi...
Selina Chu, Shrikanth S. Narayanan, C.-C. Jay Kuo