2000 search results - page 340 / 400 » Program Transformation and Proof Transformation |
141
Voted
SCFBM
2008
15 years 2 months ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...
181
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or ‘workflow’, is a well-defined protocol, with a specific structure defin...
239
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
136
Voted
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
128
Voted
ECBS
2006
IEEE
15 years 9 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...