6740 search results - page 506 / 1348 » Using Classification as a Programming Language |
176
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
140
click to vote
DALT
2005
Springer
15 years 10 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
151
Voted
ERLANG
2004
ACM
15 years 10 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
125
click to vote
AIR
2010
15 years 4 months ago
2010
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
144
click to vote
CIE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...