Sciweavers

17329 search results - page 2848 / 3466
» Improved non-approximability results
Sort
View
210
Voted
DAC
2005
ACM
15 years 9 months ago
Prime clauses for fast enumeration of satisfying assignments to boolean circuits
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
HoonSang Jin, Fabio Somenzi
198
Voted
ECOOP
2006
Springer
15 years 9 months ago
Scoped Types and Aspects for Real-Time Java
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
Chris Andreae, Yvonne Coady, Celina Gibbs, James N...
KDD
2010
ACM
265views Data Mining» more  KDD 2010»
15 years 9 months ago
Scalable influence maximization for prevalent viral marketing in large-scale social networks
Influence maximization, defined by Kempe, Kleinberg, and Tardos (2003), is the problem of finding a small set of seed nodes in a social network that maximizes the spread of influe...
Wei Chen, Chi Wang, Yajun Wang
204
Voted
DSN
2005
IEEE
15 years 9 months ago
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network
This paper describes an experiment performed on Wide Area Network to assess and fairly compare the Quality of Service provided by a large family of failure detectors. Failure dete...
Lorenzo Falai, Andrea Bondavalli
PAM
2010
Springer
15 years 9 months ago
Influence of the Packet Size on the One-Way Delay in 3G Networks
We currently observe a rising interest in mobile broadband, which users expect to perform in a similar way as its fixed counterpart. On the other hand, the capacity allocation proc...
Patrik Arlos, Markus Fiedler
« Prev « First page 2848 / 3466 Last » Next »