4880 search results - page 23 / 976 » Manuals as Structured Programs |
CC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
PPOPP
2012
ACM
12 years 6 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
ICIP
2001
IEEE
15 years 15 days ago
2001
IEEE
The structure of biocenosis is a powerful indicator for the condition of and changes in quality of the ecosystem. Identification and quantification of populations of microorganism...
IPPS
1999
IEEE
14 years 3 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
FUIN
1998
13 years 10 months ago
1998
Genetic programming (Koza 1992) is a method of inducing behaviors represented as executable programs. The generality of the approach has spawned a proliferation of work in the evo...