Sciweavers

7109 search results - page 77 / 1422
» Process Algebra with Combinators
Sort
View
CASC
2007
Springer
133views Mathematics» more  CASC 2007»
15 years 4 months ago
Algebraic Visualization of Relations Using RelView
For graphs there exist highly elaborated drawing algorithms. We concentrate here in an analogous way on visualizing relations represented as Boolean matrices as, e.g., in RelView. ...
Rudolf Berghammer, Gunther Schmidt
CAV
2008
Springer
115views Hardware» more  CAV 2008»
15 years 3 days ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...
CRYPTO
2003
Springer
156views Cryptology» more  CRYPTO 2003»
15 years 3 months ago
Fast Algebraic Attacks on Stream Ciphers with Linear Feedback
Many popular stream ciphers apply a filter/combiner to the state of one or several LFSRs. Algebraic attacks on such ciphers [10, 11] are possible, if there is a multivariate relat...
Nicolas Courtois
93
Voted
ACSD
2006
IEEE
106views Hardware» more  ACSD 2006»
15 years 4 months ago
Synchronous + Concurrent + Sequential = Earlier than + Not later than
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
ICDE
2000
IEEE
125views Database» more  ICDE 2000»
15 years 11 months ago
An Algebraic Compression Framework for Query Results
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
Zhiyuan Chen, Praveen Seshadri