„program generation“

Suchergebnisse

1.146 Treffer

• Generation, portrait of the United Nations Development Programme
  1985 UNDP, Div. of Information
• A Method for Automatic Construction of Ontological Knowledge Bases. III. Automatic Generation of Taxonomy as the Basis for Ontology*
  Marchenko, O. O.
• Grammar-based generation of variable-selection heuristics for constraint satisfaction problems
  Sosa-Ascencio, Alejandro ; Ochoa, Gabriela ; Terashima-Marín, Hugo ; Conant-Pablos, Santiago Enrique
• A Simple Algorithm for the Generation of Efficient Loop Structures
  Cosnard, M. ; Loi, M.
• Test data generation for path coverage of message-passing parallel programs based on co-evolutionary genetic algorithms
  Tian, Tian ; Gong, Dunwei
• Ontology-Based Multiple Choice Question Generation
  Alsubait, Tahani ; Parsia, Bijan ; Sattler, Ulrike
• Developing a software system for automata-based code generation
  Shulga, T. E. ; Ivanov, E. A. ; Slastihina, M. D. ; Vagarina, N. S.
• Automatic CPU/GPU Generation of Multi-versioned OpenCL Kernels for C++ Scientific Applications
  Sotomayor, Rafael ; Sanchez, Luis Miguel ; Garcia Blas, Javier ; Fernandez, Javier ; Garcia, J. Daniel
• Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
  Varró, Dániel ; Bergmann, Gábor ; Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Ujhelyi, Zoltán
• Automated test generation from timed automata
  Nielsen, Brian ; Skou, Arne
• Test sequence generation and model checking using dynamic transition relations
  Campos, Sérgio ; Grumberg, Orna ; Yorav, Karen ; Fady, Copty
• Plan generation using a method of deductive program synthesis
  Biundo-Stephan, Susanne 1990 DFKI
• Visual programming for next-generation sequencing data analytics
  Milicchio, Franco ; Rose, Rebecca ; Bian, Jiang ; Min, Jae ; Prosperi, Mattia
• Test generation for radiotherapy accelerators
  Turner, Kenneth J.
• Automated test generation using model checking: an industrial evaluation
  Enoiu, Eduard P. ; Čaušević, Adnan ; Ostrand, Thomas J. ; Weyuker, Elaine J. ; Sundmark, Daniel ; Pettersson, Paul
• Automatic Task-Based Code Generation for High Performance Domain Specific Embedded Language
  Tran Tan, Antoine ; Falcou, Joel ; Etiemble, Daniel ; Kaiser, Hartmut
• An economical acceptance–rejection algorithm for uniform random variate generation over constrained simplexes
  Ahmadi-Javid, Amir ; Moeini, Asghar
• Neue Brücken bauen - zwischen Kulturen, Generationen und Institutionen – Programmdokumentation
  Vogelmann, Ulrike 2010 Baden-Württemberg Stiftung gGmbH
• Faculty Development – Essentials
  Baporikar, Neeta 2011 VDM Verlag Dr. Müller
• Hardware and software – verification and testing ; revised selected papers
  Barner, Sharon ; Harris, Ian ; Kroening, Daniel ; Raz, Orna 2011 Springer