1888 search results - page 192 / 378 » Proof theory and computational analysis |
144
Voted
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
116
Voted
ECML
2004
Springer
15 years 6 months ago
2004
Springer
This work presents a novel procedure for computing (1) distances between nodes of a weighted, undirected, graph, called the Euclidean Commute Time Distance (ECTD), and (2) a subspa...
140
click to vote
SIGMETRICS
2011
ACM
14 years 3 months ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...
122
Voted
CVPR
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...
131
click to vote
SIGMETRICS
2011
ACM
14 years 3 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...