3335 search results - page 104 / 667 » Grid result checking |
163
Voted
TACAS
2010
Springer
15 years 10 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...
111
click to vote
KBSE
2009
IEEE
15 years 10 months 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...
96
Voted
ICPR
2008
IEEE
15 years 9 months 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...
138
Voted
MEMOCODE
2008
IEEE
15 years 9 months 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...
112
click to vote
ISVLSI
2007
IEEE
15 years 9 months 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...