1140 search results - page 191 / 228 » Generating compilers for generated datapaths |
108
click to vote
AIEDAM
2006
15 years 3 months ago
2006
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
100
click to vote
IJPP
2006
15 years 3 months ago
2006
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
113
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This article describes an exclusively resource-based method of morphological annotation of written Korean text. Korean is an agglutinative language. Our annotator is designed to p...
104
click to vote
ENTCS
2007
15 years 3 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
117
click to vote
NAR
2008
15 years 3 months ago
2008
Many Microbe Microarrays Database (M3D ) is designed to facilitate the analysis and visualization of expression data in compendia compiled from multiple laboratories. M3D contains...