Sciweavers

3736 search results - page 10 / 748
» Generative Programming
Sort
View
WLP
2005
Springer
14 years 2 months ago
Level Mapping Characterizations of Selector Generated Models for Logic Programs
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
Pascal Hitzler, Sibylle Schwarz
AVI
2004
13 years 10 months ago
Generative Programming of graphical user interfaces
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...
Max Schlee, Jean Vanderdonckt
CPAIOR
2004
Springer
14 years 2 months ago
Stabilization Issues for Constraint Programming Based Column Generation
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
Louis-Martin Rousseau
ITC
2003
IEEE
276views Hardware» more  ITC 2003»
14 years 1 months ago
Automatic Diagnostic Program Generation for Mixed Signal Load Board
This paper describes a method for automatically generating diagnostic programs for mixed-signal load boards. This procedure employs a statistical method of computing Mahalanobis D...
Kranthi K. Pinjala, Bruce C. Kim, Pramodchandran N...
QSIC
2006
IEEE
14 years 2 months ago
A Test Data Generation Tool for Unit Testing of C Programs
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
Zhongxing Xu, Jian Zhang