Sciweavers

5592 search results - page 907 / 1119
» On Random Betweenness Constraints
Sort
View
AGP
1996
IEEE
15 years 10 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
ICCD
1996
IEEE
134views Hardware» more  ICCD 1996»
15 years 10 months ago
Pausible Clocking: A First Step Toward Heterogeneous Systems
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
Kenneth Y. Yun, Ryan P. Donohue
INFOCOM
1996
IEEE
15 years 10 months ago
Distributed Queue Packet Scheduling Algorithms for WDM-Based Networks
Two protocols for scheduling variable-length packet transmissions in an optical passive star network using wavelength division multiplexing WDM are speci ed and analyzed. These pr...
Andrew Muir, J. J. Garcia-Luna-Aceves
222
Voted
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 10 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
FPGA
1997
ACM
149views FPGA» more  FPGA 1997»
15 years 10 months ago
Signal Processing at 250 MHz Using High-Performance FPGA's
This paper describes an application in high-performance signal processing using reconfigurable computing engines: a 250 MHz cross-correlator for radio astronomy. Experimental resu...
Brian Von Herzen