Sciweavers

1137 search results - page 150 / 228
» Partial Program Admission
Sort
View
NCA
2003
IEEE
14 years 2 months ago
Optimal Content Placement for En-Route Web Caching
This paper studies the optimal placement of web ļ¬les for en-route web caching. It is shown that existing placement policies are all solving restricted partial problems of the ļ¬...
Anxiao Jiang, Jehoshua Bruck
CP
2003
Springer
14 years 2 months ago
Distributed Forward Checking
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
Ismel Brito, Pedro Meseguer
GD
2003
Springer
14 years 2 months ago
Characterizing Families of Cuts That Can Be Represented by Axis-Parallel Rectangles
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
Ulrik Brandes, Sabine Cornelsen, Dorothea Wagner
ISQED
2002
IEEE
128views Hardware» more  ISQED 2002»
14 years 2 months ago
Inductive Characteristics of Power Distribution Grids in High Speed Integrated Circuits
ā€” The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...
Andrey V. Mezhiba, Eby G. Friedman
FASE
2001
Springer
14 years 2 months ago
A Logic for the Java Modeling Language JML
Abstract. This paper describes a specialised logic for proving speciļ¬cations in the Java Modeling Language (JML). JML is an interface speciļ¬cation language for Java. It allows ...
Bart Jacobs, Erik Poll