Sciweavers

5740 search results - page 914 / 1148
» Dynamic Distributed BackJumping
Sort
View
TSE
2011
114views more  TSE 2011»
14 years 9 months ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
134
Voted
LOGCOM
2010
154views more  LOGCOM 2010»
14 years 9 months ago
Collaborative Runtime Verification with Tracematches
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
212
Voted
PVLDB
2010
220views more  PVLDB 2010»
14 years 9 months ago
Fast Incremental and Personalized PageRank
In this paper, we analyze the efficiency of Monte Carlo methods for incremental computation of PageRank, personalized PageRank, and similar random walk based methods (with focus o...
Bahman Bahmani, Abdur Chowdhury, Ashish Goel
147
Voted
TVLSI
2010
14 years 9 months ago
Variation-Aware System-Level Power Analysis
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
Saumya Chandra, Kanishka Lahiri, Anand Raghunathan...
185
Voted
TWC
2010
14 years 9 months ago
Fairness-aware radio resource management in downlink OFDMA cellular relay networks
Abstract-- Relaying and orthogonal frequency division multiple access (OFDMA) are the accepted technologies for emerging wireless communications standards. The activities in many w...
Mohamed Salem, Abdulkareem Adinoyi, Mahmudur Rahma...