"Loop Invariant Symbolic Execution for Parallel Programs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Symbolic Parallelization of Nested Loop Programs	Alexandru-Petru Tanase; Frank Hannig; Jürgen Teich	1st ed. 2018	Springer International Publishing
Parallel Execution of Logic Programs	John S. Conery	1987	Springer US
Efficient and correct execution of parallel programs that share memory	Dennis Shasha	1986	Courant Institute of Mathematical Sciences, New York University
Portable programs for parallel processors	Ewing Lusk	1987	Holt, Rinehart, and Winston
Parallel Execution of Parlog	Andrew Cheese	1992	Springer Berlin Heidelberg
Execution models of Prolog for parallel computers	Peter Kacsuk	1990	MIT Press
A performance monitor for parallel programs	Matthew H. Reilly	1990	Academic Press
Partitioning and scheduling parallel programs for multiprocessors	Vivek Sarkar	1989	Pitman
Multiprocessor Execution of Logic Programs	Gopal Gupta	1994	Springer US
Designing and building parallel programs: concepts and tools for parallel software engineering	Foster, Ian	1995	Addison-Wesley
A Survey of Verification Techniques for Parallel Programs	Howard Barringer	1985	Springer Berlin Heidelberg
Visualization of scientific parallel programs	Gerald Tomas	1994	Springer-Verlag
Visualization of Scientific Parallel Programs	Gerald Tomas; Christoph W. Ueberhuber	1994	Springer Berlin Heidelberg
Parallel Execution of Logic Programs: ICLP ' 91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings	Anthony Beaumont; Gopal Gupta	1991	Springer Berlin Heidelberg
Automatic Performance Prediction of Parallel Programs	Thomas Fahringer	1996	Springer US
Invariant sets for Windows	Timothy N. Dragunov; Svetlana A. Boykova; Olga V. Malysheva	1999	World Scientific
Loop the loop /
Loop the loop	Barbara Dugan	1993	Puffin
Invasive Computing for Mapping Parallel Programs to Many-Core Architectures	Andreas Weichslgartner; Stefan Wildermann; Michael Glaß; Jürgen Teich	1st ed. 2018	Springer Nature Singapore
Automatic discovery of heuristics for nondeterministic programs from sample execution traces.	Salvatore J. Stolfo	1979	Courant Institute of Mathematical Sciences, New York University
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
Loop Invariant Symbolic Execution for Parallel Programs	Stephen F. Siegel; Timothy K. Zirkel	Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings	Viktor Kuncak; Andrey Rybalchenko	2012	Springer Berlin Heidelberg
Efficient Loop Navigation for Symbolic Execution	Jan Obdržálek; Marek Trtík	Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings	Tevfik Bultan; Pao-Ann Hsiung	2011	Springer Berlin Heidelberg
Parallel Chopped Symbolic Execution	Shikhar Singh; Sarfraz Khurshid	Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings	Shang-Wei Lin; Zhe Hou; Brendan Mahony	1st ed. 2020	Springer International Publishing
A Technique for Parallel Loop Execution	Volodymyr Beletskyy	Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings	Juha Fagerholm; Juha Haataja; Jari Järvinen; Mikko Lyly; Peter Råback; Ville Savolainen	2002	Springer Berlin Heidelberg
CLSE: Closed-Loop Symbolic Execution	Rupak Majumdar; Indranil Saha; K. C. Shashidhar; Zilong Wang	NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings	Alwyn Goodloe; Suzette Person	2012	Springer Berlin Heidelberg
Parallel Execution Models for Logic Programs	Gopal Gupta	Multiprocessor Execution of Logic Programs	Gopal Gupta	1994	Springer US
Verification of Java Programs Using Symbolic Execution and Invariant Generation	Corina S. Păsăreanu; Willem Visser	Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings	Susanne Graf; Laurent Mounier	2004	Springer Berlin Heidelberg
A Correction Method for Parallel Loop Execution	Volodymyr Beletskyy	Computational Science - ICCS 2002: International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part I	Peter M. A. Sloot; Alfons G. Hoekstra; C. J. Kenneth Tan; Jack J. Dongarra	2002	Springer Berlin Heidelberg
Rules for Symbolic Execution of Java Programs		Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction	Benjamin WeiГџ	2011	KIT Scientific Publishing
Backward Symbolic Execution with Loop Folding	Marek Chalupa; Jan Strejček	Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings	Cezara Drăgoi; Suvam Mukherjee; Kedar Namjoshi	1st ed. 2021	Springer International Publishing
loop invariant	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
loop invariant		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Symbolic Execution	Cristian Cadar; Koushik Sen	Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers	Shaz Qadeer; Serdar Tasiran	2013	Springer Berlin Heidelberg
symbolic execution	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
Symbolic Execution		Ethical Hacking: A Hands-on Introduction to Breaking In	Daniel Graham	2021	No Starch Press
Symbolic Execution		Practical reverse engineering: x86, x64, ARM, Windows Kernel, reversing tools, and obfuscation	Bachaalany, Elias; Dang, Bruce; Gazet, Alexandre; Josse, Sébastien	2014	Wiley
Symbolic Execution		Ethical Hacking: A Hands-on Introduction to Breaking In	Daniel G. Graham	2021	No Starch Press
Symbolic Execution		Practical reverse engineering: x86, x64, ARM, Windows Kernel, reversing tools, and obfuscation	Bruce Dang	2014	John Wiley & Sons, Inc.
Symbolic Execution		Design and Analysis of Algorithms	Parag Himanshu Dave, Himanshu Bhalchandra Dave	2007	Pearson Education
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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Loop Invariant Symbolic Execution for Parallel Programs" - similar Books and Chapters