Search results for "automatic programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	K. E. Kennedy	A concurrent automatic programming system.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	formal verification, automatic programming, colored petri net, concurrent computing
3	Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre	How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.	APSEC	1998	DBLP DOI BibTeX RDF	Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming
2	Aruanda Simões Goncalves Meiguins, Alex Alves Freitas, Roberto Célio Limão de Oliveira, Samuel F. S. Junior, Bianchi Serique Meiguins	An estimation of distribution algorithm for the automatic generation of clustering algorithms.	GECCO	2010	DBLP DOI BibTeX RDF	data mining, estimation of distribution algorithms, automatic programming, density-based clustering
2	Shinichi Shirakawa, Tomoharu Nagao	Graph structured program evolution with automatically defined nodes.	GECCO	2009	DBLP DOI BibTeX RDF	automatically defined function, graph structured program evolution, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming, recursive program
2	Amirali Salehi-Abari, Tony White	Enhanced generalized ant programming (EGAP).	GECCO	2008	DBLP DOI BibTeX RDF	ant programming, enhanced generalized ant programming, generalized ant programming, heuristic, automatic programming
2	Shinichi Shirakawa, Tomoharu Nagao	Evolutionary algorithm considering program size: efficient program evolution using grape.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	generation alternation model, graph-based genetic programming, genetic algorithm, evolutionary algorithm, genetic programming, automatic programming
2	Nelishia Pillay, Caryl K. A. Chalmers	A hybrid approach to automatic programming for the object-oriented programming paradigm.	SAICSIT Conf.	2007	DBLP DOI BibTeX RDF	genetic programming, automatic programming, rule-based expert systems
2	Shinichi Shirakawa, Shintaro Ogino, Tomoharu Nagao	Graph structured program evolution.	GECCO	2007	DBLP DOI BibTeX RDF	graph-based genetic programming, reversing a list, genetic algorithm, genetic programming, automatic programming, exponentiation, Fibonacci sequence, factorial
2	Xin Du, Yueqiao Li, Datong Xie, Lishan Kang	A New Algorithm of Automatic Programming: GEGEP.	SEAL	2006	DBLP DOI BibTeX RDF	Gene Estimated Gene Expression Programming, Genetic Programming, Estimation of Distribution Algorithm, Gene Expression Programming
2	Evandro Nunes Regolin, Aurora Trinidad Ramirez Pozo	Bayesian Automatic Programming.	EuroGP	2005	DBLP DOI BibTeX RDF
2	Henrik Berg, Roland Olsson	Improving the Scalability of Automatic Programming.	CIS	2005	DBLP DOI BibTeX RDF
2	Peter Galos, Peter Nordin, Joel Olsén	Kristofer Sundén Ringnér, A General Approach to Automatic Programming Using Occam's Razor, Compression, and Self-Inspection.	GECCO	2003	DBLP BibTeX RDF
2	Ian Dempsey, Michael O'Neill, Anthony Brabazon	Investigations into Market Index Trading Models Using Evolutionary Automatic Programming.	AICS	2002	DBLP DOI BibTeX RDF
2	Wolfgang Goebl	A Survey and a Categorization Scheme of Automatic Programming Systems.	GCSE	1999	DBLP DOI BibTeX RDF
2	Vili Podgorelec, Peter Kokol, Jernej Zavrsnik	Medical Diagnosis Prediction using Genetic Programming.	CBMS	1999	DBLP DOI BibTeX RDF	mitral valve prolapse, Intelligent systems, automatic programming
2	Henson Graves	Lockheed Environment for Automatic Programming.	IEEE Expert	1992	DBLP DOI BibTeX RDF
2	Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside	Software CAD: A Revolutionary Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development
2	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
2	Scott E. Hudson, Roger King	Semantic Feedback in the Higgens UIMS.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	semantic feedback, Higgens UIMS, high-level interface specification, graphical images, applications entities, user interface, user interfaces, computer graphics, software tools, software tools, automatic programming, automatic programming, user interface management system, interactive graphics, interactive programming
2	Branislav Meandzija	Archetype: A Unified Method for the Design and Implementation of Protocol Architectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	data-driven concurrent execution model, abstract protocol architecture specifications, performance constraints, X.25-level 3-like protocol, protocols, data structures, data structures, natural languages, automatic programming, automatic programming, protocol design, automated design, multiprocessing programs, simulation languages, protocol architectures, specification technique, Archetype
2	Rob Gerritsen	A Preliminary System for the Design of DBTG Data Structures (Abstract).	SIGMOD Conference	1975	DBLP DOI BibTeX RDF	data base task group, network model of data bases, non-procedural languages, data structure, translation, automatic programming, data base design
2	Patricia C. Goldberg	Automatic Programming.	Programming Methodology	1974	DBLP DOI BibTeX RDF
2	A. P. Yershóv	ALPHA - An Automatic Programming System of High Efficiency.	J. ACM	1966	DBLP DOI BibTeX RDF
2	Douglas T. Ross	Computer-aided design.	Commun. ACM	1961	DBLP DOI BibTeX RDF	efficient computation of very large complex problems, manual intervention techniques and equipment, numerical control processes, operating and debugging systems, problem formulation, information retrieval, artificial intelligence, problem solving, language design, automatic programming, symbol manipulation, techniques, compiler techniques
1	Emilio del Rosal García, Alfonso Ortega, Marina de la Cruz	Towards the Automatic Programming of NEPs: A First Case Study.	PAAMS (Special Sessions)	2012	DBLP DOI BibTeX RDF
1	Emilio del Rosal García, Marina de la Cruz, Alfonso Ortega de la Puente	Towards the Automatic Programming of NEPs.	IWINAC	2011	DBLP DOI BibTeX RDF
1	Travis A. Hoffman, Jerzy W. Rozenblit, Ali Akoglu, Liana Suantak	Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks.	ECBS	2011	DBLP DOI BibTeX RDF	Parallel Architecture, Evolutionary Computation, Artificial Neural Networks, Automatic Programming, Computation Theory
1	Juan Luis Olmo, José María Luna, José Raúl Romero, Sebastián Ventura	An Automatic Programming ACO-Based Algorithm for Classification Rule Mining.	PAAMS (Special Sessions and Workshops)	2010	DBLP DOI BibTeX RDF
1	José Miguel Rojas Siles, Marina de la Cruz Echeandía, Alfonso Ortega de la Puente	Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator.	PAAMS (Special Sessions and Workshops)	2010	DBLP DOI BibTeX RDF
1	John-Thones Amenyo	Automatic Programming with Combinatorial Topology of Modular Cellular Automata, Distributed Cellular Automata and Multi-Scale Cellular Automata.	CSC	2010	DBLP BibTeX RDF
1	Lee Spector	Evolution of quantum algorithms.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	evolutionary algorithms, genetic programming, quantum computing
1	Henrik Berg, Roland Olsson, Per-Olav Rusås, Morgan Jakobsen	Synthesis of Control Algorithms for Autonomous Vehicles through Automatic Programming.	ICNC	2009	DBLP DOI BibTeX RDF
1	Conor Ryan	Grammatical evolution.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	genetic programming, grammars
1	Lee Spector	Evolving quantum computer algorithms.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, genetic programming, quantum computing, interference
1	Shinichi Shirakawa, Tomoharu Nagao	Evolution of Search Algorithms Using Graph Structured Program Evolution.	EuroGP	2009	DBLP DOI BibTeX RDF
1	David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding	Searching for resource-efficient programs: low-power pseudorandom number generators.	GECCO	2008	DBLP DOI BibTeX RDF	genetic programming, automatic programming, non-functional requirements, search based software engineering, multi-objective optimisation
1	Tony White, Amirali Salehi-Abari	A swarm-based crossover operator for genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	swarm-based algorithms, genetic programming, evolutionary computation, ant colony optimization, automatic programming
1	Marek Reformat, Xinwei Chai, James Miller	On the possibilities of (pseudo-) software cloning from external interactions.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Software mutants, Fault tolerance, Complexity, Testing, Genetic programming, Automatic programming, Software cloning
1	Lee Spector	Quantum computing.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	genetic programming, quantum computing
1	Krzysztof Sacha	Model-Based Implementation of Real-Time Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF
1	William B. Langdon, Wolfgang Banzhaf	Repeated patterns in genetic programming.	Natural Computing	2008	DBLP DOI BibTeX RDF	Genetic alogorithms, ALU, Macky-Glass, Poly-10, Nuclear protein localisation, Tiny GP, GPquick, Evolution of program shape, Sensitivity analysis, Frequent subgraphs, SINE, Frequent subtrees
1	Andrea Arcuri, Xin Yao	Coevolving programs and unit tests from their specification.	ASE	2007	DBLP DOI BibTeX RDF	formal specification, genetic programming, software testing, sorting, coevolution, automatic programming
1	Paul Bassett	The Case for Frame-Based Software Engineering.	IEEE Software	2007	DBLP DOI BibTeX RDF	automatic programming, evolutionary programming, software engineering process, reuse models
1	Yanyi Liu Wong, Marc H. Cohen, Pamela Abshire	On-Line Histogram Equalization for Flash ADC.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Alfonso Ortega, Marina de la Cruz, Manuel Alfonseca	Christiansen Grammar Evolution: Grammatical Evolution With Semantics.	IEEE Trans. Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Z. M. Bi, Sherman Y. T. Lang	A Framework for CAD- and Sensor-Based Robotic Coating Automation.	IEEE Trans. Industrial Informatics	2007	DBLP DOI BibTeX RDF
1	Chenzhong Yang, Zhuo Kang, Yan Li	Dynamic System Evolutionary Modeling: The Case of SARS in Beijing.	ISICA	2007	DBLP DOI BibTeX RDF	SARS models, System of ordinary differential equations, gene expression programming, Evolutionary modeling
1	Ajith Abraham, Crina Grosan	Automatic Programming Methodologies for Electronic Hardware Fault Monitoring.	J. UCS	2006	DBLP BibTeX RDF
1	Rajeev Joshi, Greg Nelson, Yunhong Zhou	Denali: A practical algorithm for generating optimal code.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	practical optimal code generation, Compilation, code generation
1	Kamin Whitehouse, Feng Zhao, Jie Liu	Automatic programming with semantic streams.	SenSys	2005	DBLP DOI BibTeX RDF	declarative query, sensor network, service architecture
1	Nelishia Pillay	An investigation into using genetic programming as a means of inducing solutions to novice procedural programming problems.	GECCO	2005	DBLP DOI BibTeX RDF	genetic programming, automatic programming, local optima
1	Francisco Hernández, Purushotham Bangalore, Kevin D. Reilly	End-user tools for grid computing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	end-user tools, visual authoring tools, software engineering, grid computing, automatic programming, domain engineering, domain-specific modeling
1	Nicolás Serrano, Fernando Alonso, Jose Maria Sarriegi, Javier Santos, Ismael Ciordia	A New Undo Function for Web-Based Management Information Systems.	IEEE Internet Computing	2005	DBLP DOI BibTeX RDF	middleware, automatic programming, user interface management systems, business logic
1	Yanyi Liu Wong, Marc H. Cohen, Pamela Abshire	A 1.2 GHz adaptive floating gate comparator with 13-bit resolution.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Denis Robilliard, Sébastien Mahler, Dominique Verhaghe, Cyril Fonlupt	Santa Fe Trail Hazards.	Artificial Evolution	2005	DBLP DOI BibTeX RDF
1	William B. Langdon, Wolfgang Banzhaf	Repeated Patterns in Tree Genetic Programming.	EuroGP	2005	DBLP DOI BibTeX RDF
1	Manuel Alfonseca, Alfonso Ortega	Book Review: Grammatical Evolution: Evolutionary Automatic Programming in an Arbitrary Language.	Genetic Programming and Evolvable Machines	2004	DBLP DOI BibTeX RDF
1	Jon Whittle, Johann Schumann	Automating the implementation of Kalman filter algorithms.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	Code generation, Kalman filters, automatic programming, state estimation
1	Eric Liu Wong, Pamela Abshire, Marc H. Cohen	Floating gate comparator with automatic offset manipulation functionality.	ISCAS	2004	DBLP DOI BibTeX RDF
1	Michael O'Neill, Anthony Brabazon	Grammatical Swarm.	GECCO	2004	DBLP DOI BibTeX RDF
1	Marek Reformat, Xinwei Chai, James Miller	Experiments in Automatic Programming for General Purposes.	ICTAI	2003	DBLP DOI BibTeX RDF
1	John R. Koza, Martin A. Keane, Matthew J. Streeter	What's AI Done for Me Lately? Genetic Programming's Human-Competitive Results.	IEEE Intelligent Systems	2003	DBLP DOI BibTeX RDF	automatic program synthesis, human-competitive results, automatic circuit synthesis, genetic programming, automatic programming, patents
1	Don S. Batory	The Road to Utopia: A Future for Generative Programming.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
1	R. Muhammad Atif Azad, Conor Ryan	Structural Emergence with Order Independent Representations.	GECCO	2003	DBLP DOI BibTeX RDF
1	Mariusz Boryczka, Zbigniew J. Czech, Wojciech Wieczorek	Ant Colony Programming for Approximation Problems.	GECCO	2003	DBLP DOI BibTeX RDF
1	Ronald Olson, Brock Wilcox	Self-improvement For The ADATE Automatic Programming System.	GECCO	2002	DBLP BibTeX RDF
1	Jan Kazimierczak	Acquisition of Knowledge and its Representation to Achieve the Ability of Computer to automatic Programming.	IC-AI	2002	DBLP BibTeX RDF
1	Vili Podgorelec, Peter Kokol, Ivan Rozman	AREX - Classification Rules Extracting Algorithm Based on Automatic Programming.	ECAI	2002	DBLP BibTeX RDF
1	Alberto Pettorossi, Maurizio Proietti	The List Introduction Strategy for the Derivation of Logic Programs.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
1	Manuel Alfonseca, Alfonso Ortega, Marina de la Cruz	Complex systems in APL: fractals, evolving cellular automata and artificial life.	APL	2002	DBLP DOI BibTeX RDF
1	Chang-Hyun Jo, Rajeev R. Raje	Editorial message: special track on the programming languages and object technologies.	SAC	2002	DBLP DOI BibTeX RDF
1	Vili Podgorelec, Peter Kokol, Milojka Molan Stiglic	Searching for ew Patterns in Cardiovascular Data.	CBMS	2002	DBLP DOI BibTeX RDF
1	Nikolay I. Nikolaev	Genetic Programming and Data Structures: Genetic Programming+Data Structures=Automatic Programming.	Software Focus	2001	DBLP DOI BibTeX RDF
1	Lance D. Chambers	Book Review: Genetic Programming and Data Structures: Genetic Programming+Data Structures=Automatic Programming.	Genetic Programming and Evolvable Machines	2001	DBLP DOI BibTeX RDF
1	Michael O'Neill, Conor Ryan, Maarten Keijzer, Mike Cattolico	Crossover in Grammatical Evolution: The Search Continues.	EuroGP	2001	DBLP DOI BibTeX RDF
1	Michael O'Neill, Anthony Brabazon, Conor Ryan, J. J. Collins	Evolving Market Index Trading Rules Using Grammatical Evolution.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
1	Gabriella Kókai	GeLog - A System Combining Genetic Algorithm with Inductive Logic Programming.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
1	Junior Barrera, Routo Terada, Roberto Hirata Jr., Nina S. T. Hirata	Automatic Programming of Morphological Machines by PAC Learning.	Fundam. Inform.	2000	DBLP DOI BibTeX RDF
1	Vangalur S. Alagar, L. Zhang	Automatic code generation for real-time reactive systems in TROMLAB environment.	RTCSA	2000	DBLP DOI BibTeX RDF	TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model
1	Jan Gustafsson	Eliminating annotations by automatic flow analysis of real-time programs.	RTCSA	2000	DBLP DOI BibTeX RDF	automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths
1	Jonathan Lee, Yong-Yi Fanjiang, Lein F. Lai	A Software Engineering Approach to University Timetabling.	ISMSE	2000	DBLP DOI BibTeX RDF	Automating Software Development, Task-Based Conceptual Graphs, knowledge representation, Timetabling
1	Shuhei Kawasaki, Setsuo Ohsuga	A Method of Generating Program Specification from Description of Human Activities.	ISMIS	2000	DBLP BibTeX RDF
1	Dominique Eyheramendy, Thomas Zimmermann	Object-Oriented Symbolic Derivation and Automatic Programming of Finite Elements in Mechanics.	Eng. Comput. (Lond.)	1999	DBLP DOI BibTeX RDF	Object-oriented pro-gramming, Symbolic approaches, Finite elements
1	Setsuo Ohsuga, Takumi Aida	Externalization of Human Idea and Problem Description for Automatic Programming.	ISMIS	1999	DBLP DOI BibTeX RDF
1	Setsuo Ohsuga	A New Modeling Scheme for Problem Solving and Automatic Programming.	EJC	1999	DBLP BibTeX RDF
1	Tawfik T. El-Midany, Ahmed Elkeran, H. T. Radwan	CNC Automatic Programming System for Wire-EDM.	IEA/AIE	1999	DBLP DOI BibTeX RDF
1	Setsuo Ohsuga	Toward truly intelligent information systems-from expert systems to automatic programming.	Knowl.-Based Syst.	1998	DBLP DOI BibTeX RDF
1	Hal Hart, James Caristi, Robert Dewar, Mark Gerhardt, J. A. Drew Hamilton Jr., Christopher Haynes, Samuel A. Rebelsky	The future of programming - are fundamental changes in computer science programs coming? (panel).	SIGCSE	1998	DBLP DOI BibTeX RDF
1	Conor Ryan, J. J. Collins, Michael O'Neill	Grammatical Evolution: Evolving Programs for an Arbitrary Language.	EuroGP	1998	DBLP DOI BibTeX RDF
1	Byoung-Tak Zhang, Dong-Yeon Cho	Genetic Programming with Active Data Selection.	SEAL	1998	DBLP DOI BibTeX RDF
1	Junior Barrera, Edward R. Dougherty, Nina S. Tomita	Automatic programming of binary morphological machines by design of statistically optimal operators in the context of computational learning theory.	J. Electronic Imaging	1997	DBLP DOI BibTeX RDF
1	Anthony M. Sloane	Generating Dynamic Program Analysis Tools.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
1	Junior Barrera, Guillermo Pablo Salas	Set operations on closed intervals and their applications to the automatic programming of morphological machines.	J. Electronic Imaging	1996	DBLP DOI BibTeX RDF
1	Jae-Wook Lee, Sungho Kang	Efficient Simulation Model Generation Using Automatic Programming Techniques.	Winter Simulation Conference	1996	DBLP DOI BibTeX RDF
1	Bogdan Korel, Ali M. Al-Yami	Assertion-Oriented Automated Test Data Generation.	ICSE	1996	DBLP BibTeX RDF	assertion oriented automated test data generation, automatic run time detection, program input, software engineering, program testing, automatic programming, white box testing, automated test data generation, software errors
1	Luisa Massari, Yves Mahéo	Performance Evualuation of Automatically Generated Data-Parallel Programs.	PDP	1996	DBLP DOI BibTeX RDF	automatically generated data-parallel programs, data-parallel compilers, sequential language, data distribution directives, static description, dynamic description, workload characterization techniques, Pandore environment, profile generation, performance evaluation, parallel programming, software performance evaluation, automatic programming, data partitioning, runtime system, workload model, parallelising compilers, distributed memory parallel computers, performance indices, program execution, trace generation
1	Minoru Harada, Takashi Yoshimizu	An Automatic Programming System SPACE with Highly Visualized and Abstract Program Specification.	IEICE Transactions	1995	DBLP BibTeX RDF
1	Frederick E. Petry, Bertrand Daniel Dunay	Automatic Programming and Program Maintenance with Genetic Programming.	International Journal of Software Engineering and Knowledge Engineering	1995	DBLP DOI BibTeX RDF
1	David Andre	The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action.	IJCAI	1995	DBLP BibTeX RDF
1	Witold Jacak, Berndt Kapsammer	Automatic Programming in CIM Based on Intelligent Tools.	Information Management in Computer Integrated Manufacturing	1995	DBLP DOI BibTeX RDF