3750 search results - page 340 / 750 » Timed Automata Patterns |
132
click to vote
DDECS
2008
IEEE
15 years 11 months ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
165
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
We investigate randomised algorithms for subset matching with spatial point sets—given two sets of d-dimensional points: a data set T consisting of n points and a pattern P consi...
141
Voted
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The problem of matching sets of points or sets of horizontal line segments in plane under translations is considered. For finding the exact occurrences of a point set of...
145
click to vote
CPM
2001
Springer
15 years 9 months ago
2001
Springer
We present a solution to the problem of regular expression searching on compressed text. The format we choose is the Ziv-Lempel family, speci cally the LZ78 and LZW variants. Give...
127
click to vote
VTS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a test methodology to allow testing high-speed circuits with low-speed ATEs. The basic strategy is adding an interface circuit to partially supply test data, coordinate...