2008 search results - page 171 / 402 » Computing with Equations |
144
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
In this paper, we consider the problem of calculating the signal and transition probabilities of the internal nodes of the combinational logic part of a nite state machine (FSM). ...
115
click to vote
LSSC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
FSE
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...
103
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a new parallel repartitioning algorithm for adaptive finite-element meshes that significantly reduces the amount of data that needs to move between processors in orde...
106
click to vote
RTA
1998
Springer
15 years 6 months ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...