1271 search results - page 13 / 255 » On Simulation-Checking with Sequential Systems |
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
The known fast sequential algorithms for multiplying two N N matrices (over an arbitrary ring) have time complexity ON , where 2 3. The current best value of is less than 2.3755....
106
Voted
DAGSTUHL
2006
14 years 11 months ago
2006
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents new test generation techniques for improving the average-case performance of the iterative logic array based deterministic sequential circuit test generation a...