Sciweavers

73 search results - page 10 / 15
» Dynamic provable data possession
Sort
View
112
Voted
INFOCOM
2012
IEEE
13 years 2 months ago
Quality-assured cloud bandwidth auto-scaling for video-on-demand applications
—There has been a recent trend that video-on-demand (VoD) providers such as Netflix are leveraging resources from cloud services for multimedia streaming. In this paper, we cons...
Di Niu, Hong Xu, Baochun Li, Shuqiao Zhao
97
Voted
WABI
2005
Springer
120views Bioinformatics» more  WABI 2005»
15 years 5 months ago
Multiple Structural RNA Alignment with Lagrangian Relaxation
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
Markus Bauer, Gunnar W. Klau, Knut Reinert
103
Voted
SIGADA
1999
Springer
15 years 3 months ago
Redistribution in distributed Ada
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
Scott James
179
Voted
ICFP
2009
ACM
16 years 9 days ago
Non-parametric parametricity
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
Georg Neis, Derek Dreyer, Andreas Rossberg
ICCV
2007
IEEE
16 years 1 months ago
Spatio-Temporal Shape from Silhouette using Four-Dimensional Delaunay Meshing
We propose a novel method for computing a fourdimensional (4D) representation of the spatio-temporal visual hull of a dynamic scene, based on an extension of a recent provably cor...
Ehsan Aganj, Jean-Philippe Pons, Florent Sé...