142
click to vote
PAM
2016
Springer
10 years 24 days ago
2016
Springer
As home networks see increasingly faster downstream throughput speeds, a natural question is whether users are benefiting from these faster speeds or simply facing performance bot...
140
click to vote
PAM
2016
Springer
10 years 24 days ago
2016
Springer
Version 2 of the Hypertext Transfer Protocol (HTTP/2) was finalized
151
click to vote
PAM
2016
Springer
10 years 24 days ago
2016
Springer
Many efforts are devoted to increase the understanding of the complex and evolving Internet ecosystem. Internet eXchange Points (IXP) are shared infrastructures where Autonomous S...
154
click to vote
PAM
2016
Springer
10 years 24 days ago
2016
Springer
Web trackers are services that monitor user behavior on the web. The information they collect is ostensibly used for customization and targeted advertising. Due to rising privacy c...
129
click to vote
PAM
2016
Springer
10 years 24 days ago
2016
Springer
Abstract. Android applications often rely on alarms to schedule background tasks. Since Android KitKat, applications can opt-in for deferrable alarms, which allows the OS to perfor...
143
click to vote
PAM
2016
Springer
10 years 24 days ago
2016
Springer
Abstract. Multipath TCP is a recent TCP extension that enables multihomed hosts like smartphones to send and receive data over multiple interfaces. Despite the growing interest in ...
139
click to vote
PADL
2016
Springer
10 years 24 days ago
2016
Springer
The combination of monads and effects leads to a clean and easy to reason about programming paradigm. Monadic programming is easy to reason about, but can be cumbersome, as it requ...
145
click to vote
PADL
2016
Springer
10 years 24 days ago
2016
Springer
We describe arithmetic algorithms on a canonical number representation based on the Catalan family of combinatorial objects specified as a Haskell type class. Our algorithms work ...
147
click to vote
PADL
2016
Springer
10 years 24 days ago
2016
Springer
We transform probabilistic programs to run more efficiently and read more easily, by composing three semantics-preserving transformations: (1) apply the denotational semantics; (2)...
227
click to vote
PADL
2016
Springer
10 years 24 days ago
2016
Springer
SAT has become the backbone of many software systems. In order to make full use of the power of SAT solvers, a SAT compiler must encode domain variables and constraints into an e...