Sciweavers

3131 search results - page 611 / 627
» Generalized connection caching
Sort
View
TOPLAS
2008
81views more  TOPLAS 2008»
13 years 9 months ago
Size-change termination with difference constraints
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
Amir M. Ben-Amram
JITECH
2007
136views more  JITECH 2007»
13 years 9 months ago
A computer scientist's reactions to NPfIT
This paper contains a set of personal views relating to NHS Connecting for Health’s National Programme for IT (NPfIT), and in particular its Care Records Service, written from t...
Brian Randell
TWC
2008
99views more  TWC 2008»
13 years 9 months ago
Distributed Antenna Systems with Randomness
Abstract--In a cellular distributed antenna system (DAS), distributed antenna elements (AEs) are connected to the base station via an offline dedicated link, e.g. fiber optics or l...
Jun Zhang, Jeffrey G. Andrews
CGF
2004
86views more  CGF 2004»
13 years 9 months ago
Procedural Texture Matching and Transformation
We present a technique for creating a smoothly varying sequence of procedural textures that interpolates between arbitrary input samples of texture. This texture transformation us...
Eric Bourque, Gregory Dudek
CORR
2004
Springer
119views Education» more  CORR 2004»
13 years 9 months ago
Exploring networks with traceroute-like probes: theory and simulations
Mapping the Internet generally consists in sampling the network from a limited set of sources by using traceroute-like probes. This methodology, akin to the merging of different s...
Luca Dall'Asta, J. Ignacio Alvarez-Hamelin, Alain ...