Sciweavers

6480 search results - page 1045 / 1296
» Proximity Communication and Time
Sort
View
DAC
1996
ACM
15 years 11 months ago
Combined Control Flow Dominated and Data Flow Dominated High-Level Synthesis
This paper presents the design of a Videophone CoderDecoder Motion Estimator using two High-Level Synthesis tools. Indeed, the combination of a Control Flow Dominated part (comple...
Elisabeth Berrebi, Polen Kission, Serge Vernalde, ...
PVM
1997
Springer
15 years 11 months ago
Message Handling in Parallel Radiance
Photo-realistic computergraphics is an area of research which tries to develop algorithms and methods to render images of arti cial models or worlds as realistically as possible, b...
Erik Reinhard, Alan Chalmers
ICDCS
1994
IEEE
15 years 11 months ago
Scalable and Robust Internetwork Routing for Mobile Hosts
new addressmust be edited into various configurationfiles. Thispaper describes a new protocol for transparently routing packets to mobile hosts operating in a large internetwork. T...
David B. Johnson
ICPP
1994
IEEE
15 years 11 months ago
A New Approach to Scheduling Parallel Programs Using Task Duplication
1 In this paper, we explore the problem of scheduling parallel programs using task duplication for messagepassing multicomputers. Task duplication means scheduling a parallel progr...
Ishfaq Ahmad, Yu-Kwong Kwok
LICS
1993
IEEE
15 years 11 months ago
Verifying Programs with Unreliable Channels
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
Parosh Aziz Abdulla, Bengt Jonsson
« Prev « First page 1045 / 1296 Last » Next »