1446 search results - page 51 / 290 » Hardware Software Co-Design Using Functional Languages |
146
click to vote
JCPHY
2011
14 years 4 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...
127
click to vote
IWPC
2000
IEEE
15 years 6 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the syst...
104
click to vote
ICCD
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— World data is increasing rapidly, doubling almost every three years[1][2]. To comprehend and use this data effectively, search and recognition (SR) applications will de...
138
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...