Sciweavers

3239 search results - page 495 / 648
» A Logical Process Calculus
Sort
View
139
Voted
INFOCOM
1998
IEEE
15 years 5 months ago
A Scalable Control Topology for Multicast Communications
Large-Scale multicast applications for the Internet require the availability of multicast protocols that enhance the basic connectionless IP Multicast service. A critical requirem...
Jörg Liebeherr, Bhupinder Singh Sethi
107
Voted
PADS
1997
ACM
15 years 5 months ago
Distributed Simulation of Spatially Explicit Ecological Models
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
Kevin Glass, Marilynn Livingston, John S. Conery
66
Voted
ISCAS
1993
IEEE
82views Hardware» more  ISCAS 1993»
15 years 5 months ago
Two-dimensional digital filtering using constant-I/O systolic arrays
We present in this paper systolic arrays with constant number of input/output (I/O) ports for twodimensional (2-D) FIR and IIR filtering. Our design has an array of L × N proces...
Mokhtar Aboelaze, De-Lei Lee, Benjamin W. Wah
FTRTFT
1994
Springer
15 years 5 months ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen
91
Voted
VLDB
1994
ACM
102views Database» more  VLDB 1994»
15 years 5 months ago
Reasoning About Spatial Relationships in Picture Retrieval Systems
In this paper, we consider various spatial relationships that are of general interest in pictorial database systems. We present a set of rules that allow us to deduce new relation...
A. Prasad Sistla, Clement T. Yu, R. Haddad