"A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
A performance monitor for parallel programs	Matthew H. Reilly	1990	Academic Press
Portable programs for parallel processors	Ewing Lusk	1987	Holt, Rinehart, and Winston
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Library programs for children	Taffy Jones	1989	McFarland
Partitioning and scheduling parallel programs for multiprocessors	Vivek Sarkar	1989	Pitman
A Library orientation test for college freshmen		1955	Teachers College Press, Teachers College, Columbia University
Aggregate extraction in Yolo County: a study of impacts and management alternatives		1976	Woodward-Clyde Consultants
Designing and building parallel programs: concepts and tools for parallel software engineering	Foster, Ian	1995	Addison-Wesley
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
NBS FORTRAN test programs	Frances E. Holberton	1974	National Bureau of Standards; [for sale by the Supt. of Docs., U.S. Govt. Print. Off.]
NBS FORTRAN test programs	Frances E. Holberton, Elizabeth G. Parker, Elizabeth G. Parker	1974	National Bureau of Standards; [for sale by the Supt. of Docs., U.S. Govt. Print. Off.]
NBS FORTRAN test programs /	Holberton, Frances E.; Parker, Elizabeth G.,	1974.	National Bureau of Standards; [for sale by the Supt. of Docs., U.S. Govt. Print. Off.],
Library programs for teens: mystery theater	Karen J. Siwak	2010	Scarecrow Press
Policymaking for school library media programs	Marian E. Karpisek	1989	American Library Association
Non-Renewable Resources Extraction Programs and Markets	J. Hartwick	1989	Routledge
Library efficiency test	Julia Almira Robinson	1920	American library association
Library efficiency test	Julia Almira Robinson	1920	American library association
How to Write Parallel Programs: A First Course	Nicholas Carriero, David Gelernter	1990	The MIT Press
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
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction	Kento Emoto; Frédéric Loulergue; Julien Tesson	Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings	Gerwin Klein; Ruben Gamboa	2014	Springer International Publishing
Generate, Test, and Aggregate	Kento Emoto; Sebastian Fischer; Zhenjiang Hu	Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings	Helmut Seidl	2012	Springer Berlin Heidelberg
A New Extraction for Coq	Pierre Letouzey	Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers	Herman Geuvers; Freek Wiedijk	2003	Springer Berlin Heidelberg
Scallina: Translating Verified Programs from Coq to Scala	Youssef El Bakouny; Dani Mezher	Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings	Sukyoung Ryu	1st ed. 2018	Springer International Publishing
544 Library Test Programs		Assembly language for x86 processors	Irvine, Kip R	2014;2017	Pearson; Langara College
533 Library Test Programs		Assembly Language for x86 Processors (6th Edition)	Kip Irvine	2010	Prentice Hall
Coquet: A Coq Library for Verifying Hardware	Thomas Braibant	Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings	Jean-Pierre Jouannaud; Zhong Shao	2011	Springer Berlin Heidelberg
A Fully Verified Container Library	Nadia Polikarpova; Julian Tschannen; Carlo A. Furia	FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings	Nikolaj Bjørner; Frank de Boer	2015	Springer International Publishing
Towards a Framework for Building Formally Verified Supercompilers in Coq	Dimitur Nikolaev Krustev	Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers	Hans Wolfgang Loidl; Ricardo Peña	2013	Springer Berlin Heidelberg
A Taxonomy for Parallel Programs		Deep Learning for Numerical Applications with SAS®	Henry Bequet	2018	SAS Institute
A Taxonomy for Parallel Programs		Deep Learning for Numerical Applications with SAS	Henry Bequet	2018	SAS
Verified Tail Bounds for Randomized Programs	Joseph Tassarotti; Robert Harper	Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings	Jeremy Avigad; Assia Mahboubi	1st ed. 2018	Springer International Publishing
A Proof System for MSVL Programs in Coq	Lin Qian; Zhenhua Duan; Nan Zhang; Cong Tian	Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers	Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nagoya	1st ed. 2017	Springer International Publishing
Towards a verified OR-Parallel WAM		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
Essential Incompleteness of Arithmetic Verified by Coq	Russell O’Connor	Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings	Joe Hurd; Tom Melham	2005	Springer Berlin Heidelberg
A verified model checker for the modal Μ-calculus in Coq	Christoph Sprenger	Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings	Bernhard Steffen	1998	Springer Berlin Heidelberg
Parallel AGGREGATE Command		OCP: Oracle 10g new features for administrators: study guide	Bob Bryla; Biju Thomas	2004	SYBEX
A parallel processing support library based on synchronized aggregate communication	H. G. Dietz; T. M. Chung; T. I. Mattox	Languages and Compilers for Parallel Computing: 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings	Chua-Huang Huang; Ponnuswamy Sadayappan; Utpal Banerjee; David Gelernter; Alex Nicolau; David Padua	1996	Springer Berlin Heidelberg
Extraction in Coq: An Overview	Pierre Letouzey	Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings	Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe	2008	Springer Berlin Heidelberg
A Library for Parallel Modular Arithmetic	David Power; Russell Bradford	Euro-Par’ 99 Parallel Processing: 5th International Euro-Par Conference Toulouse, France, August 31–September 3, 1999 Proceedings	Patrick Amestoy; Philippe Berger; Michel Daydé; Daniel Ruiz; Iain Duff; Valérie Frayssé; Luc Giraud	1999	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction" - similar Books and Chapters