3457 search results - page 41 / 692 » A Symbol Is Not a Symbol |
CORR
2004
Springer
13 years 10 months ago
2004
Springer
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper studies a novel iterative soft interference cancellation (SIC) aided beamforming receiver designed for highthroughput quadrature amplitude modulation systems communi...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
FATES
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...