Filters








1,357,929 Hits in 3.7 sec

Reversible Communicating Systems [chapter]

Vincent Danos, Jean Krivine
2004 Lecture Notes in Computer Science  
Backtrack, just as plain forward computation, is seen as a synchronization and incurs no additional cost on the communication structure.  ...  This is what we prove and it seems to be the best one can expect on the theoretical side. 3 To summarize the contribution, the present study proposes a syntax for reversible communicating systems, together  ...  But π is a lot more expressive and this is a strong incentive to develop a notion of reversible π-calculus. Besides, one could think of bootstrapping the system and encode reversible π into π.  ... 
doi:10.1007/978-3-540-28644-8_19 fatcat:47k5b7qcwjfjjlaiaplun3fr4a

Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication) [article]

Clément Aubert, Ioana Cristescu
2020 arXiv   pre-print
Reversible CCS (RCCS) made the choice of "backing in" the structural equivalence, that became part of the "minimal core" of the system.  ...  In the calculus of communicating systems (CCS), the structural congruence plays this role by making e.g. parallel composition commutative and associative: without it, the system would be cumbersome to  ...  This is generally the approach taken to define the calculus of communicating systems (CCS) [9] .  ... 
arXiv:2005.06818v1 fatcat:sdtq3gaq35eazdbsbs65zqp5ra

Performance Enhancement of Multiuser Time Reversal UWB Communication System [article]

Ijaz Haider Naqvi
2008 arXiv   pre-print
UWB communication is a recent research area for indoor propagation channels. Time Reversal (TR) communication in UWB has shown promising results for improving the system performance.  ...  The performance of a multiuser TR communication system is further improved if the TR filter is modified.  ...  In [1] TR is applied to multiusers in order to improve the multiuser system capacity and communication range. UWB TR helps in improving temporal compression and spatial focusing.  ... 
arXiv:0810.1506v1 fatcat:aq7mbij4onh6zj347qawgubxce

Parallel communicating one-way reversible finite automata system [article]

Debayan Ganguly, Kingshuk Chatterjee, Kumar Sankar Ray
2019 arXiv   pre-print
In this paper, we discuss the computational power of parallel communicating finite automata system with 1-way reversible finite automaton as components.  ...  Moreover for every multi-head one way reversible finite automaton there exist a parallel communicating one-way reversible finite automata system which accepts the same language.  ...  Parallel communicating one-way reversible finite automata system A parallel communicating one-way reversible finite automata system of degree n, denoted by PCRFA(n), is a (n+2)-tuple A=(V,A 1 ,A 2 ,...  ... 
arXiv:1903.10428v1 fatcat:3dp2woqeuvgd5cgxfgmippjc34

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems [article]

Clément Aubert, Ioana Cristescu
2018 arXiv   pre-print
Finding their counterpart in process algebras is an open problem, with some partial successes: there exists in calculus of communicating systems (CCS) an equivalence based on causal trees that corresponds  ...  The equivalences exploit not only reversibility but also the memory mechanism of RCCS.  ...  Fig. 4 : 4 Rules of the labeled transition system The labeled transition system for RCCS is given by the rules of Fig. 4.  ... 
arXiv:1804.10355v1 fatcat:wxktwaufrndhdoklztnlc5xgca

Modeling and Simulation of Molecular Communication Systems with a Reversible Adsorption Receiver [article]

Yansha Deng, Adam Noel, Maged Elkashlan, Arumugam Nallanathan, and Karen C. Cheung
2016 arXiv   pre-print
In this paper, we present an analytical model for the diffusive molecular communication (MC) system with a reversible adsorption receiver in a fluid environment.  ...  Given the number of newly-adsorbed information molecules, the bit error probability of the proposed MC system is analytically approximated.  ...  SYSTEM MODEL We consider a 3-dimensional (3D) diffusion-based MC system in a fluid environment with a point transmitter and a spherical A&D receiver.  ... 
arXiv:1601.00681v3 fatcat:sovy2zu3qrg6zfuk4h7nuhduti

Information Systems Research: Reversing the Orientation

Bruce Rollier
2001 Communications of the Association for Information Systems  
Information systems researchers, concerned as we are with the uses of technology, operate under a severe handicap because we do not have opportunities to study new technologies while they are under development  ...  Copyright © 2001 by the Association for Information Systems.  ...  Copyright for components of this work owned by others than the Association for Information Systems must be honored. Abstracting with credit is permitted.  ... 
doi:10.17705/1cais.00622 fatcat:a2keuwpgfra5vm3l2kxipfk3jm

Reversible Data Hiding and Reversible Authentication Watermarking for Binary Images

S.V.D. Pamboukian, H.Y. Kim
2008 Journal of Communication and Information Systems  
Several reversible data hiding techniques have been developed but very few of them are appropriate for binary images. This paper proposes a reversible data hiding technique for binary images.  ...  Reversible data hiding allows, in addition, recovering the original cover-image exactly.  ...  Reversible Authentication Watermarking A reversible fragile authentication watermarking can be easily created using RDTC.  ... 
doi:10.14209/jcis.2008.4 fatcat:rn7rq2qlsbendpor5gu5mrdcvu

Time Reversal Technique for Ultra Wide-band and MIMO Communication Systems [chapter]

Ijaz Naqvi, Ghas El
2011 Advanced Trends in Wireless Communications  
Time Reversal Technique for Ultra Wide-band and MIMO Communication Systems, Advanced Trends in Wireless Communications, Dr.  ...  Technique for Ultra Wide-band and MIMO Communication Systems www.intechopen.com Time Reversal Technique for Ultra Wide-band and MIMO Communication Systems www.intechopen.com 227 RC Stirrer Reverberating  ... 
doi:10.5772/16121 fatcat:jg2q5wts2rdmdgunnllxdwxx4y

On Manually Reverse Engineering Communication Protocols of Linux Based IoT Systems [article]

Kaizheng Liu, Ming Yang, Zhen Ling, Huaiyu Yan, Yue Zhang, Xinwen Fu, Wei Zhao
2020 arXiv   pre-print
In this paper, we systematically present the first manual reverse engineering framework for discovering communication protocols of embedded Linux based IoT systems.  ...  We have successfully applied our framework to reverse engineer a number of IoT systems.  ...  EVALUATION In this section, we evaluate the generality of our communication protocol reverse engineering framework, present our reverse engineering of a number of real-world IoT system, and discuss the  ... 
arXiv:2007.11981v2 fatcat:i5if3o4zcfanvkpkuwiyckjsha

Time-reversal techniques for MISO and MIMO wireless communication systems

Ahmed E. Fouda, Fernando L. Teixeira, Mehmet E. Yavuz
2012 Radio Science  
systems.  ...  1] We consider the application of different time-reversal (TR) signal processing and beamforming techniques to multiple-input single-output (MISO) and multiple-input multiple-output (MIMO) wireless communication  ...  The application of time-reversal (TR) techniques to UWB wireless communication and radar systems has gained increasing interest recently [Derode et al., 2003; Lerosey et al., 2005; Kyritsi et al., 2004  ... 
doi:10.1029/2012rs005013 fatcat:but7ydinjbdczgfj2niiq72f5a

Multiuser time reversal UWB communication system: A modified transmission approach

I. H. Naqvi, A. Khaleghi, G. El Zein
2009 2009 IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications  
In this paper, ultra-wideband (UWB), time reversal (TR) communication is investigated by modifying the transmission prefilter.  ...  Index Terms-Multiuser, time reversal (TR), dense multipath propagation channel, ultra-wideband (UWB), bit error rate (BER).  ...  In this paper, a further modified transmission scheme for the TR system is proposed for a multiuser TR communication system.  ... 
doi:10.1109/pimrc.2009.5450198 dblp:conf/pimrc/NaqviKZ09 fatcat:n2nyly2nujcfnareqcutzbsmka

A SIMO one-bit time reversal for UWB communication systems

Dariush Abbasi-Moghadam, Vahid Tabataba Vakili
2012 EURASIP Journal on Wireless Communications and Networking  
With the one-bit time reversal ultra wideband (OTR-UWB) transceiver, the data symbols are encoded using the reversed order of the channel phase.  ...  In this article, a new single input multiple output (SIMO) system is proposed for an OTR-UWB system. The proposed transceiver structure is based on spatial focusing property of OTR.  ...  Figure 1 1 One-bit time reversal for UWB communication system. Figure 2 2 CIR of UWB, TR-UWB, and one-bit time reversal UWB system.  ... 
doi:10.1186/1687-1499-2012-113 fatcat:q5vjeyxjlrflhikljmu3x2qspe

Reverse Channel Performance Improvements in CDMA Cellular Communication Systems Employing Adaptive Antennas [chapter]

Joseph C. Liberti, Theodore S. Rappaport
1994 Wireless Personal Communications  
Simulations and analytical results are presented which demonstrate that adaptive antennas at the base station can dramatically improve the reverse channel performance of multi-cell radio systems, and new  ...  analytical techniques for characterizing mobile radio systems which employ frequency reuse are described.  ...  The reverse link presents the most difficulty in CDMA cellular systems for several reasons.  ... 
doi:10.1007/978-1-4615-2758-9_3 fatcat:v3pzesg345ax5fcnbh2shnpp7q

Performance Analysis of Reversible Binding Receptor Based Decode-and-Forward Relay in Molecular Communication Systems

Shuo Yuan, Jiaxing Wang, Mugen Peng
2018 IEEE Wireless Communications Letters  
In this letter, we present a decode-and-forward (DF) relay strategy for the reversible binding receptor in the diffusion-based MC system.  ...  Molecular communication (MC) allows nanomachines to communicate and cooperate with each other in a fluid environment.  ...  . • A decode-and-forward molecular communication relay scheme for long-distance communication is concerned, in which an analytical model for the ligand-receptor reversible binding based DF relay in the  ... 
doi:10.1109/lwc.2018.2834525 fatcat:2kuhfrhoirccborbb25sg3wp5u
« Previous Showing results 1 — 15 out of 1,357,929 results