1722 search results - page 33 / 345 » Ontology Formalism Transformation |
82
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
119
Voted
ICCD
2000
IEEE
15 years 4 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
63
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
69
Voted
ICCSA
2004
Springer
15 years 5 months ago
2004
Springer
WEBI
2001
Springer
15 years 5 months ago
2001
Springer