"Automatic Evolution of Parallel Recursive Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Automatic Performance Prediction of Parallel Programs	Thomas Fahringer	1996	Springer US
Parallel processing of recursive functions	Franklin Burkhead	1977	Naval Postgraduate School
Parallel Evolution of Parallel Processors	G. Lerman; L. Rudolph	1993	Springer US
Visualization of scientific parallel programs	Gerald Tomas	1994	Springer-Verlag
Parallel Execution of Logic Programs	John S. Conery	1987	Springer US
Visualization of Scientific Parallel Programs	Gerald Tomas; Christoph W. Ueberhuber	1994	Springer Berlin Heidelberg
Automatic correction and improvement of programs	H. Wertz	1987	Ellis Horwood;Halsted Press
The Evolution of Programs	DERSHOWITZ	1983	Birkhäuser Boston
Portable programs for parallel processors	Ewing Lusk	1987	Holt, Rinehart, and Winston
Genetic programming II: automatic discovery of reusable programs /	Koza, John R.	[1994], ©1994.	MIT Press,
Automatic discovery of heuristics for non-deterministic programs.	Salvatore J. Stolfo	1979	Courant Institute of Mathematical Sciences, New York University
A performance monitor for parallel programs	Matthew H. Reilly	1990	Academic Press
An automatic verifier for a class of sorting programs	Prabhaker Mateti	1976	Dept. of Computer Science, University of Illinois at Urbana-Champaign
The evolution of parallel logic programming languages.	Nikolaos Markantonatos	1988	Courant Institute of Mathematical Sciences, New York University
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Recursive data types in SETL: automatic determination, data language description, and efficient implementation.	Weiss, Gerald.	1986	Courant Institute of Mathematical Sciences, New York University
Partitioning and scheduling parallel programs for multiprocessors	Vivek Sarkar	1989	Pitman
Building parallel programs: SMPs, clusters, and Java	Alan Kaminsky	2010	Course Technology, Cengage Learning;Course Technology
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution	Dr Adrian Thompson (auth.)	1998	Springer-Verlag London
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution	Adrian Thompson	1998	Springer London
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Automatic Evolution of Parallel Recursive Programs	Gopinath Chennupati; R. Muhammad Atif Azad; Conor Ryan	Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings	Penousal Machado; Malcolm I. Heywood; James McDermott; Mauro Castelli; Pablo García-Sánchez; Paolo Burelli; Sebastian Risi; Kevin Sim	2015	Springer International Publishing
Automatic Construction of Parallel Programs	Jozef Mikloško; Vadim Evgenich Kotov	Algorithms, Software and Hardware of Parallel Computers	J. Miklosko; V. J. Kotov	1984	Springer Berlin Heidelberg
Automatic Evolution of Parallel Sorting Programs on Multi-cores	Gopinath Chennupati; R. Muhammad Atif Azad; Conor Ryan	Applications of Evolutionary Computation: 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings	Antonio M. Mora; Giovanni Squillero	2015	Springer International Publishing
The Automatic Debugging of Recursive Side-Effecting Programs *	Joachim Laubsch; Marc Eisenstadt	Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence	Marc Eisenstadt; Mark T. Keane; Tim Rajan	1992	Routledge
Recursive Programs		Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Automatic Optimization of Python Skeletal Parallel Programs	Frédéric Loulergue; Jolan Philippe	Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I	Sheng Wen; Albert Zomaya; Laurence T. Yang	1st ed. 2020	Springer International Publishing
Automatic (recursive) functions	Stuart Sutherland	Verilog — 2001: A Guide to the New Features of the Verilog® Hardware Description Language	Stuart Sutherland	2002	Springer US
Automatic Verification of Determinism for Structured Parallel Programs	Martin Vechev; Eran Yahav; Raghavan Raman; Vivek Sarkar	Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings	Radhia Cousot; Matthieu Martel	2010	Springer Berlin Heidelberg
Automatic vectorization of communications for data-parallel programs	Cécile Germain; Franck Delaplace	EURO-PAR ' 95: Parallel Processing: First International EURO-PAR Conference, Stockholm, Sweden, August 29 - 31, 1995. Proceedings	Seif Haridi; Khayri Ali; Peter Magnusson	1995	Springer Berlin Heidelberg
Automatic restructuring of Fortran programs for parallel execution	Constantine D. Polychronopoulos	Parallel Computing in Science and Engineering: 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, FRG, June 25/26, 1987	Rüdiger Dierstein; Dieter Müller-Wichards; Hans-Martin Wacker	1988	Springer Berlin Heidelberg
Automatic mapping of parallel programs onto processor networks	Jürgen W. Meyer	Parallel Processing: CONPAR 92 — VAPP V: Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1–4, 1992 Proceedings	Luc Bouge; Michel Cosnard; Yves Robert; Denis Trystram	1992	Springer Berlin Heidelberg
Proving Correctness and Automatic Synthesis of Parallel Programs	Jozef Mikloško; Vadim Evgenich Kotov	Algorithms, Software and Hardware of Parallel Computers	J. Miklosko; V. J. Kotov	1984	Springer Berlin Heidelberg
Recursive and non-recursive programs	Alexander Shen	Algorithms and Programming: Problems and Solutions	Alexander Shen	2nd ed. 2010	Springer New York
Transforming recursive programs for execution on parallel machines	V. J. Bush; J. R. Gurd	Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985	Jean-Pierre Jouannaud	1985	Springer Berlin Heidelberg
Automatic Static Cost Analysis for Parallel Programs	Jan Hoffmann; Zhong Shao	Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings	Jan Vitek	2015	Springer Berlin Heidelberg
A formal framework for the analysis of recursive-parallel programs	O. Kushnarenko; Ph. Schnoebelen	Parallel Computing Technologies: 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997. Proceedings	Victor Malyshkin	1997	Springer Berlin Heidelberg
Hardware-counter based automatic performance analysis of parallel programs	F. Wolf; B. Mohr	Parallel Computing	G.R. Joubert; W.E. Nagel; F.J. Peters; W.V. Walter	2004	North-Holland
Ranking Abstraction of Recursive Programs	Ittai Balaban; Ariel Cohen; Amir Pnueli	Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings	E. Allen Emerson; Kedar S. Namjoshi	2006	Springer Berlin Heidelberg
Modular Verification of Recursive Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday	Orna Grumberg; Michael Kaminski; Shmuel Katz; Shuly Wintner	2009	Springer Berlin Heidelberg
Realizability of Concurrent Recursive Programs	Benedikt Bollig; Manuela-Lidia Grindei; Peter Habermehl	Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Luca de Alfaro	2009	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Automatic Evolution of Parallel Recursive Programs" - similar Books and Chapters