Sciweavers

2344 search results - page 45 / 469
» Dynamic Measurement of Polymorphism
Sort
View
POPL
2006
ACM
15 years 11 months ago
A virtual class calculus
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
Erik Ernst, Klaus Ostermann, William R. Cook
POPL
2010
ACM
15 years 8 months ago
Static Determination of Quantitative Resource Usage for Higher-Order Programs
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
INFOCOM
2008
IEEE
15 years 5 months ago
Inside the New Coolstreaming: Principles, Measurements and Performance Implications
—The Peer-to-Peer (P2P) based video streaming has emerged as a promising solution for Internet video distribution. Leveraging the resource available at end users, this approach p...
Bo Li, Susu Xie, Yang Qu, Gabriel Yik Keung, Chuan...
HYBRID
2010
Springer
15 years 4 months ago
Distributed Kalman Filter algorithms for self-localization of mobile devices
This paper addresses the problem of self localization of mobile devices. In particular, each device combines noisy measurements of its absolute position with distance measurements...
Anne-Kathrin Hess, Anders Rantzer
88
Voted
BMCBI
2005
77views more  BMCBI 2005»
14 years 11 months ago
Structural comparison of metabolic networks in selected single cell organisms
Background: There has been tremendous interest in the study of biological network structure. An array of measurements has been conceived to assess the topological properties of th...
Dongxiao Zhu, Zhaohui S. Qin