Sciweavers

12536 search results - page 2252 / 2508
» Cardinality Networks and Their Applications
Sort
View
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
WETICE
1998
IEEE
15 years 11 months ago
Efficient Security for Large and Dynamic Multicast Groups
Proposals for multicast security that have been published so far are complex, often require trust in network components or are inefficient. In this paper we propose a series of no...
Germano Caronni, Marcel Waldvogel, Dan Sun, Bernha...
SIGCOMM
1998
ACM
15 years 11 months ago
Error Control Techniques for Interactive Low-Bit Rate Video Transmission over the Internet
A new retransmission-based error control technique is presented that does not incur any additional latency in frame playout times, and hence are suitable for interactive applicati...
Injong Rhee
FPGA
1998
ACM
132views FPGA» more  FPGA 1998»
15 years 11 months ago
Circuit Partitioning with Complex Resource Constraints in FPGAs
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...
Huiqun Liu, Kai Zhu, D. F. Wong
213
Voted
ANSS
1997
IEEE
15 years 11 months ago
Analytical Simulation for Performance Analysis of Distributed Virtual Reality Systems
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
Shaun Bangay, Peter Clayton, David A. Sewry
« Prev « First page 2252 / 2508 Last » Next »