Sciweavers

691 search results - page 75 / 139
» Path Consistency by Dual Consistency
Sort
View
FAC
2008
64views more  FAC 2008»
14 years 12 months ago
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
Robert M. Hierons, Florentin Ipate
SIAMAM
2008
91views more  SIAMAM 2008»
14 years 11 months ago
A Fluid Dynamic Model for Telecommunication Networks with Sources and Destinations
This paper proposes a macroscopic fluid dynamic model dealing with the flows of information on a telecommunication network with sources and destinations. The model consists of a co...
Ciro D'Apice, Rosanna Manzo, Benedetto Piccoli
TCAD
1998
83views more  TCAD 1998»
14 years 11 months ago
Telescopic units: a new paradigm for performance optimization of VLSI designs
—This paper introduces a novel optimization paradigm for increasing the throughput of digital systems. The basic idea consists of transforming fixed-latency units into variable-...
Luca Benini, Enrico Macii, Massimo Poncino, Giovan...
TIT
2002
81views more  TIT 2002»
14 years 11 months ago
Multicast topology inference from measured end-to-end loss
Abstract--The use of multicast inference on end-to-end measurement has recently been proposed as a means to infer network internal characteristics such as packet link loss rate and...
Nick G. Duffield, Joseph Horowitz, Francesco Lo Pr...
TOG
2002
108views more  TOG 2002»
14 years 11 months ago
Motion graphs
In this paper we present a novel method for creating realistic, controllable motion. Given a corpus of motion capture data, we automatically construct a directed graph called a mo...
Lucas Kovar, Michael Gleicher, Frederic H. Pighin