2853 search results - page 130 / 571 » On Coherence in Computer Algebra |
136
click to vote
FSE
2007
Springer
15 years 10 months ago
2007
Springer
In 2004, a new attack against SHA-1 has been proposed by a team leaded by Wang [15]. The aim of this article5 is to sophisticate and improve Wang’s attack by using algebraic tech...
157
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
EUSFLAT
2007
15 years 5 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
122
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
134
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...