755 search results - page 87 / 151 » Compiler generation from structural architecture description... |
136
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
129
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
160
Voted
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
149
Voted
PARA
2004
Springer
15 years 9 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
193
Voted
PDIS
1996
IEEE
15 years 7 months ago
1996
IEEE
Users today are struggling to integrate a broad range of information sources providing di erent levels of query capabilities. Currently, data sources with di erent and limitedcapa...