2343 search results - page 143 / 469 » Structure and Interpretation of Computer Programs |
130
Voted
RECOMB
1998
Springer
15 years 9 months ago
1998
Springer
Ribonucleic acid (RNA) is a polymer composed of four bases denoted A, C, G, and U. It is a generally single-stranded molecule where the bases form hydrogen bonds within the same m...
113
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
161
Voted
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
141
click to vote
LACL
2001
Springer
15 years 9 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
151
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...