3335 search results - page 104 / 667 » Grid result checking |
207
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
148
click to vote
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
135
click to vote
ICPR
2008
IEEE
16 years 17 days ago
2008
IEEE
A new courtesy amount recognition module of CENPARMI’s Check Reading System (CRS) is proposed in this paper. The module consists of 3 main segments: pre-processing, segmentation...
167
click to vote
MEMOCODE
2008
IEEE
16 years 16 days ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
140
click to vote
ISVLSI
2007
IEEE
16 years 12 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...