1077 search results - page 79 / 216 » Hardware code generation from dataflow programs |
113
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
120
Voted
JFP
2000
15 years 1 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
119
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
120
click to vote
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
Master/Slave Speculative Parallelization (MSSP) is an execution paradigm for improving the execution rate of sequential programs by parallelizing them speculatively for execution ...
143
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....