1271 search results - page 13 / 255 » On Simulation-Checking with Sequential Systems |
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
CDC
2008
IEEE
14 years 2 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
13 years 12 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....
DAGSTUHL
2006
13 years 9 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
14 years 1 days 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...