Sciweavers

1742 search results - page 41 / 349
» An Applicative Module Calculus
Sort
View
ICC
2007
IEEE
122views Communications» more  ICC 2007»
14 years 4 months ago
Representation of a CPM Modulator through a Finite-State Sequential Machine
The well known decomposition of a CPM signal into PAM waveforms represents the linear part of a CPM modulator. The paper deals with the non–linear part, not fully developed in t...
Gianfranco Cariolaro, Alberto Vigato
AP2PC
2004
Springer
14 years 3 months ago
An Agent Module for a System on Mobile Devices
A Middleware is the software that assists an application to interact or communicate with other applications, networks, hardware, and/or operating systems. We have earlier proposed ...
Praveen Madiraju, Sushil K. Prasad, Rajshekhar Sun...
LOGCOM
2010
158views more  LOGCOM 2010»
13 years 8 months ago
Applying Universal Algebra to Lambda Calculus
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
Giulio Manzonetto, Antonino Salibra
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
14 years 10 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
IH
2005
Springer
14 years 3 months ago
ID Modulation: Embedding Sensor Data in an RFID Timeseries
This paper reports the first use of ID Modulation to embed a bitstream representing sensor information in a standards-compliant Radio Frequency Identification (RFID) channel. Like ...
Joshua R. Smith, Bing Jiang, Sumit Roy, Matthai Ph...