Sciweavers

5740 search results - page 914 / 1148
» Dynamic Distributed BackJumping
Sort
View
TSE
2011
114views more  TSE 2011»
15 years 15 days 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
LOGCOM
2010
154views more  LOGCOM 2010»
15 years 10 days 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...
PVLDB
2010
220views more  PVLDB 2010»
15 years 9 days 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
TVLSI
2010
15 years 7 days 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...
TWC
2010
15 years 7 days 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...