10707 search results - page 72 / 2142 » Designing executable abstractions |
138
click to vote
VL
1996
IEEE
15 years 7 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
131
click to vote
APLAS
2003
ACM
15 years 6 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
141
click to vote
WCET
2008
15 years 4 months ago
2008
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis c...
112
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Abstract. Within Self-reconfiguring systems two basic problems arise: on instruction level, reconfigurable instruction sets make program generation and execution inherently difficu...
153
click to vote
INFORMATICALT
2008
15 years 3 months ago
2008
Abstract. A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part i...