3902 search results - page 276 / 781 » Hardware Synthesis from C C Models |
197
click to vote
MTDT
2003
IEEE
15 years 12 months ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
180
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
219
click to vote
NOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
191
click to vote
ISCA
2007
IEEE
16 years 28 days ago
2007
IEEE
High availability is an increasingly important requirement for enterprise systems, often valued more than performance. Systems designed for high availability typically use redunda...
157
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...