1461 search results - page 46 / 293 » On Regular Reduced Products |
FMSD
1998
13 years 8 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
An iterative solution to the problem of image deconvolution is presented. The previous image estimate is pre-filtered using a stabilizing function that is updated based on current...
SC
2000
ACM
14 years 12 days ago
2000
ACM
This paper proposes a hardware mechanism for reducing coherency overhead occurring in scientific computations within DSM systems. A first phase aims at detecting, in the address s...
MEMOCODE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
ISSAC
2005
Springer
14 years 2 months ago
2005
Springer
We study the multiplication of multivariate power series. We show that over large enough fields, the bilinear complexity of the product modulo a monomial ideal M is bounded by th...