Sciweavers

VEE
2014
ACM
10 years 11 months ago
Experiences in the land of virtual abstractions
Abstractions Galen Hunt Principal Researcher Microsoft Research Operating Systems Group 1
Galen C. Hunt
SODA
2014
ACM
101views Algorithms» more  SODA 2014»
10 years 11 months ago
A Constant Factor Approximation Algorithm for Fault-Tolerant k-Median
MohammadTaghi Hajiaghayi, Wei Hu, Jian Li, Shi Li,...
SFP
2014
10 years 11 months ago
Total Functional Software Engineering - Overview Paper
Methods for mathematically basic and precise description of system behavior at discrete interfaces have been developed by David Parnas and his groups and collaborators over many ye...
Baltasar Trancón-y-Widemann
REFSQ
2014
Springer
10 years 11 months ago
Is Requirements Engineering Useless in Game Development?
Jussi Kasurinen, Andrey Maglyas, Kari Smolander
19
Voted
RAPIDO
2014
10views more  RAPIDO 2014»
10 years 11 months ago
Using chip multithreading to speed up scenario-based design space exploration: a case study
Early design space exploration (DSE) is a key element of systemlevel design of complex embedded systems, helping designers to make design decisions during the early design phases....
Peter van Stralen, Andy D. Pimentel
PLPV
2014
ACM
10 years 11 months ago
Programming languages for high-assurance autonomous vehicles: extended abstract
Lee Pike, Patrick C. Hickey, James Bielman, Trevor...
PKC
2014
Springer
70views Cryptology» more  PKC 2014»
10 years 11 months ago
Simple Chosen-Ciphertext Security from Low-Noise LPN
Recently, D¨ottling et al. (ASIACRYPT 2012) proposed the first chosen-ciphertext (IND-CCA) secure public-key encryption scheme from the learning parity with noise (LPN) assumptio...
Eike Kiltz, Daniel Masny, Krzysztof Pietrzak
NOSSDAV
2014
Springer
10 years 11 months ago
Fake View Analytics in Online Video Services
Online video-on-demand(VoD) services invariably maintain a view count for each video they serve, and it has become an important currency for various stakeholders, from viewers, to...
Liang Chen, Yipeng Zhou, Dah Ming Chiu
MMSYS
2014
51views Multimedia» more  MMSYS 2014»
10 years 11 months ago
Measuring DASH streaming performance from the end users perspective using neubot
The popularity of DASH streaming is rapidly increasing and a number of commercial streaming services are adopting this new standard. While the benefits of building streaming serv...
Simone Basso, Antonio Servetti, Enrico Masala, Jua...
IMR
2014
Springer
10 years 11 months ago
Robust One-to-One Sweeping with Harmonic S-T Mappings and Cages
Abstract. A sweeping algorithm can generate hexahedral meshes by sweeping an all-quad mesh on the source surface to the target surface. For one-toone sweeping, the most difficult t...
Shengyong Cai, Timothy J. Tautges