Sciweavers

7109 search results - page 109 / 1422
» Process Algebra with Combinators
Sort
View
FCCM
2009
IEEE
204views VLSI» more  FCCM 2009»
15 years 7 months ago
Acceleration and Energy Efficiency of a Geometric Algebra Computation using Reconfigurable Computers and GPUs
Geometric algebra (GA) is a mathematical framework that allows the compact description of geometric relationships and algorithms in many fields of science and engineering. The exe...
Holger Lange, Florian Stock, Andreas Koch, Dietmar...
DEXAW
2004
IEEE
181views Database» more  DEXAW 2004»
15 years 7 months ago
Algebraic Optimization of Data Delivery Patterns in Mobile Sensor Networks
Database-like query processing over a network of sensors has become an attractive paradigm for building sensor applications. A sensor query is characterized by data streams among ...
Vladimir Zadorozhny, Panos K. Chrysanthis, Alexand...
FSE
2006
Springer
109views Cryptology» more  FSE 2006»
15 years 7 months ago
Computing the Algebraic Immunity Efficiently
The purpose of algebraic attacks on stream and block ciphers is to recover the secret key by solving an overdefined system of multivariate algebraic equations. They become very eff...
Frédéric Didier, Jean-Pierre Tillich
102
Voted
SIP
2003
15 years 4 months ago
An Algebraic Approach to M-band Wavelets Construction
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
Tony Lin, Qingyun Shi, Pengwei Hao
136
Voted
CSL
2010
Springer
15 years 4 months ago
Ordered Sets in the Calculus of Data Structures
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
Viktor Kuncak, Ruzica Piskac, Philippe Suter