7576 search results - page 181 / 1516 » UNIX as an Application Program |
118
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
154
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
143
Voted
CIE
2010
Springer
15 years 2 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...
150
click to vote
IJCNN
2008
IEEE
15 years 11 months ago
2008
IEEE
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
112
Voted
CP
2005
Springer
15 years 10 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...