4355 search results - page 92 / 871 » From Interpretation to Compilation |
115
Voted
AAAI
2010
15 years 5 months ago
2010
As computer architectures become increasingly complex, hand-tuning compiler heuristics becomes increasingly tedious and time consuming for compiler developers. This paper presents...
146
click to vote
TVLSI
2002
15 years 3 months ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
149
Voted
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
115
click to vote
AIED
2009
Springer
15 years 10 months ago
2009
Springer
Inquiry learning involves the learner acquiring new concepts and skills by means of carrying out an investigation. Some previous studies have looked into how these learning activit...