Sciweavers

ANCS
2016
ACM
10 years 1 months ago
A Study of Speed Mismatches Between Communicating Virtual Machines
This work addresses an apparently simple but elusive problem that arises when doing high speed networking on Virtual Machines. When a VM and its peer (usually the hypervisor) proc...
Luigi Rizzo, Stefano Garzarella, Giuseppe Lettieri...
ANALCO
2016
43views more  ANALCO 2016»
10 years 1 months ago
Scaling limit of random k-trees
We consider a random k-tree Gn,k that is uniformly selected from the class of labelled k-trees with n + k vertices. Since 1-trees are just trees, it is well-known that Gn,1 (after ...
Michael Drmota, Emma Yu Jin
ANALCO
2016
65views more  ANALCO 2016»
10 years 1 months ago
The CLT Analogue for Cyclic Urns
A cyclic urn is an urn model for balls of types 0, . . . , m − 1 where in each draw the ball drawn, say of type j, is returned to the urn together with a new ball of type j + 1 ...
Noela S. Müller, Ralph Neininger
AML
2016
62views Algorithms» more  AML 2016»
10 years 1 months ago
Martin's maximum revisited
We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with str...
Matteo Viale
AML
2016
63views Algorithms» more  AML 2016»
10 years 1 months ago
ZF + DC + AX4
We consider mainly the following version of set theory: “ZF + DC and for every λ, λℵ0 is well ordered”, our thesis is that this is a reasonable set theory, e.g. on the one ...
Saharon Shelah
AML
2016
65views Algorithms» more  AML 2016»
10 years 1 months ago
Laver and set theory
Akihiro Kanamori
AML
2016
70views Algorithms» more  AML 2016»
10 years 1 months ago
Equiconsistencies at subcompact cardinals
We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardin...
Itay Neeman, John R. Steel
AML
2016
66views Algorithms» more  AML 2016»
10 years 1 months ago
Laver's results and low-dimensional topology
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimensional topology, namely the existenc...
Patrick Dehornoy
AML
2016
64views Algorithms» more  AML 2016»
10 years 1 months ago
Strong measure zero in separable metric spaces and Polish groups
Michael Hrusák, Wolfgang Wohofsky, Ondrej Z...