215 search results - page 5 / 43 » Algebraic simulations |
FOSSACS
2006
Springer
14 years 7 days ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
CANS
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. In this paper we analyze the recently proposed light-weight block cipher PRINTCipher. Applying algebraic methods and SAT-solving we are able to break 8 rounds of PRINTCip...
ICFEM
1998
Springer
14 years 24 days ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
EURODAC
1994
IEEE
14 years 21 days ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
AMC
2011
13 years 5 days ago
2011
We implement in Matlab a Gauss-like cubature formula on bivariate domains whose boundary is a piecewise smooth Jordan curve (curvilinear polygons). The key tools are Green’s int...