Sciweavers

2372 search results - page 51 / 475
» is 2012
Sort
View
COMSNETS
2012
176views more  COMSNETS 2012»
14 years 1 months ago
Capacity of Byzantine consensus in capacity limited point-to-point networks
—In this paper, we investigate the problem of maximizing the throughput, i.e., achieving capacity, of Byzantine consensus in point-to-point networks, in which each link has a cap...
Guanfeng Liang, Nitin H. Vaidya
MMSYS
2012
187views more  MMSYS 2012»
14 years 1 months ago
A longitudinal view of HTTP video streaming performance
This paper investigates HTTP streaming traffic from an ISP perspective. As streaming traffic now represents nearly half of the residential Internet traffic, understanding its char...
Louis Plissonneau, Ernst Biersack
POST
2012
153views more  POST 2012»
14 years 1 months ago
Towards Incrementalization of Holistic Hyperproperties
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
Dimiter Milushev, Dave Clarke
ACL
2012
13 years 8 months ago
Strong Lexicalization of Tree Adjoining Grammars
Recently, it was shown (KUHLMANN, SATTA: Tree-adjoining grammars are not closed under strong lexicalization. Comput. Linguist., 2012) that finitely ambiguous tree adjoining gramm...
Andreas Maletti, Joost Engelfriet
TOG
2012
234views Communications» more  TOG 2012»
13 years 8 months ago
Fast automatic skinning transformations
Algebra I, II Complex Variables I, II Analysis I, II Awards, Scholarships, Fellowships Received • Back Cover Image, Proceedings of ACM SIGGRAPH, 2011 • New York University Henr...
Alec Jacobson, Ilya Baran, Ladislav Kavan, Jovan P...