Sciweavers

749 search results - page 34 / 150
» Combinatory Models and Symbolic Computation
Sort
View
ICC
2008
IEEE
165views Communications» more  ICC 2008»
14 years 4 months ago
Analysis of Symbol Error Rates for Signal Space Diversity in Rayleigh Fading Channels
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...
Jihoon Kim, Inkyu Lee
HAPTICS
2005
IEEE
14 years 3 months ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson
FORTE
2004
13 years 11 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
DCC
2010
IEEE
14 years 4 months ago
A Symbolic Dynamical System Approach to Lossy Source Coding with Feedforward
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...
Ofer Shayevitz
ECBS
2003
IEEE
84views Hardware» more  ECBS 2003»
14 years 3 months ago
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...