10848 search results - page 84 / 2170 » Programming in Biomolecular Computation |
163
click to vote
SIGCSE
1994
ACM
15 years 10 months ago
1994
ACM
The ability to comprehend a program written by other individuals is becoming increasingly important in software development and maintenance. In an attempt to encourage undergradua...
164
click to vote
PARLE
1993
15 years 10 months ago
1993
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
141
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
164
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
161
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
A computer program is described to calculate momentum distributions in stripping and diffraction dissociation reactions. A Glauber model is used with the scattering wavefunctions ...