Search Sciweavers | Sciweavers

16

CONCUR
2003
Springer

86views Distributed And Parallel Com...» more CONCUR 2003»

13 years 10 months ago

A linear forwarder is a process which receives one message on a channel and sends it on a diﬀerent channel. Such a process allows for a simple implementation of the asynchronous...

Philippa Gardner, Cosimo Laneve, Lucian Wischik

claim paper

Read More »

13

click to vote

CORR
2010
Springer

68views Education» more CORR 2010»

Snap-Stabilizing Linear Message Forwarding

13 years 5 months ago

Download hal.archives-ouvertes.fr

In this paper, we present the first snap-stabilizing message forwarding protocol that uses a number of buffers per node being independent of any global parameter, that is 4 buffers...

Anissa Lamani, Alain Cournier, Swan Dubois, Franck...

claim paper

Read More »

11

click to vote

ENTCS
2000

109views more ENTCS 2000»

Forward and Backward Chaining in Linear Logic

13 years 4 months ago

Download waitaki.otago.ac.nz

Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...

James Harland, David J. Pym, Michael Winikoff

claim paper

Read More »

17

click to vote

GLOBECOM
2007
IEEE

174views Communications» more GLOBECOM 2007»

Impact of Noisy Carrier Phase Synchronization on Linear Amplify-and-Forward Relaying

13 years 11 months ago

Download www.nari.ee.ethz.ch

—We consider a distributed wireless network where amplify-and-forward relays assist the communication between multiple source/destination pairs. To provide a global phase referen...

Stefan Berger, Armin Wittneben

claim paper

Read More »

5

click to vote

CSDA
2007

100views more CSDA 2007»

Building a robust linear model with forward selection and stepwise procedures

13 years 4 months ago