10055 search results - page 388 / 2011 » Structured programming using processes |
100
Voted
EUROGP
2001
Springer
15 years 5 months ago
2001
Springer
Recent theory work has shown that a Genetic Program (GP) used to produce programs may have output that is bounded above by the GP itself [l]. This paper presents proofs that show t...
87
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
115
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...
106
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
107
Voted
ICSE
1999
IEEE-ACM
15 years 5 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...