909 search results - page 9 / 182 » Temporal Logic Case Study |
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
Diagrammatic logics have advantages over symbolic cousins. Peirce thought that logical diagrams (Existential Graphs, EG) are capable of "expression of all assertions", as...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
TC
2010
13 years 3 months ago
2010
A systematic approach to the comparison of the graphics processor (GPU) and reconfigurable logic is defined in terms of three throughput drivers. The approach is applied to five ca...
FSS
2008
13 years 8 months ago
2008
In three case studies on notions of fuzzy logic and fuzzy set theory (Dubois
DATE
2004
IEEE
14 years 14 days ago
2004
IEEE
In this paper we describe how we applied a BIST-based approach to the test of a logic core to be included in System-on-achip (SoC) environments. The approach advantages are the ab...