Sciweavers

4397 search results - page 31 / 880
» Relational Algebra Operations
Sort
View
SFM
2004
Springer
120views Formal Methods» more  SFM 2004»
14 years 29 days ago
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
Jos C. M. Baeten, Michel A. Reniers
WCC
2005
Springer
135views Cryptology» more  WCC 2005»
14 years 1 months ago
Open Problems Related to Algebraic Attacks on Stream Ciphers
Abstract. The recently developed algebraic attacks apply to all keystream generators whose internal state is updated by a linear transition function, including LFSR-based generator...
Anne Canteaut
TC
2008
13 years 7 months ago
High-Performance Designs for Linear Algebra Operations on Reconfigurable Hardware
Numerical linear algebra operations are key primitives in scientific computing. Performance optimizations of such operations have been extensively investigated. With the rapid adva...
Ling Zhuo, Viktor K. Prasanna
SYMMETRY
2010
124views more  SYMMETRY 2010»
13 years 2 months ago
SU(2) and SU(1, 1) Approaches to Phase Operators and Temporally Stable Phase States: Applications to Mutually Unbiased Bases and
: We propose a group-theoretical approach to the generalized oscillator algebra A recently investigated in J. Phys. A: Math. Theor. 2010, 43, 115303. The case 0 corresponds to th...
Natig M. Atakishiyev, Maurice R. Kibler, Kurt Bern...
CORR
2004
Springer
166views Education» more  CORR 2004»
13 years 7 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand