526 search results - page 13 / 106 » Towards the Verifying Compiler |
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
211
click to vote
POPL
2002
ACM
16 years 6 days ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
ISCC
2009
IEEE
15 years 6 months ago
2009
IEEE
Reconfigurable computing is one of the most recent research topics in computer science. The Altera™ Nios II soft-core processor can be included in a large set of reconfigurable ...
100
click to vote
BXML
2004
15 years 1 months ago
2004
: In this paper we present an approach to embedding VoiceXML applications by an off-line compilation scheme. Our primary motivation is that VoiceXML is an established standard for ...
134
click to vote
ECEASST
2010
14 years 6 months ago
2010
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...