Sciweavers

1179 search results - page 80 / 236
» Should Superclasses be Abstract
Sort
View
ESOP
2003
Springer
14 years 2 months ago
Finite Differencing of Logical Formulas for Static Analysis
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
GCC
2003
Springer
14 years 2 months ago
P2P Overlay Networks of Constant Degree
This paper proposes an abstract and generic topological model that captures the essence of P2P architecture. Such model should in return facilitate the exploitation of the new desi...
Guihai Chen, Cheng-Zhong Xu, Haiying Shen, Daoxu C...
ICCS
2003
Springer
14 years 2 months ago
An Efficient Collective Communication Method for Grid Scale Networks
Abstract. This research is to design a collection of effective collective operations for the Grid scale network environment. In the Grid, several network features should be specifi...
Kyung-Lang Park, Hwang-Jik Lee, Youn-Joo Lee, Oh-Y...
IEEEMSP
2002
IEEE
14 years 1 months ago
Rate-distortion optimized streaming from the edge of the network
Abstract—This paper addresses the problem of streaming packetized media over a lossy packet network through an intermediate proxy server to a client, in a rate-distortion optimiz...
Jacob Chakareski, Philip A. Chou, Bernd Girod
ACIVS
2009
Springer
14 years 1 months ago
Engineering of Computer Vision Algorithms Using Evolutionary Algorithms
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
Marc Ebner