9595 search results - page 59 / 1919 » Functional programming in C |
128
click to vote
COCOA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Multiple sequence alignment (MSA) is one of the most basic and central tasks for many studies in modern biology. In this paper, we present a new progressive alignment alg...
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
106
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
169
click to vote
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...