"Verifying Parallel Programs with Dynamic Communication Structures"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Dynamic parallel memories	U. Vishkin	1983	Courant Institute of Mathematical Sciences, New York University
Speech; dynamic communication.	Milton Dickens	1974	Harcourt Brace Jovanovich
Speech; dynamic communication.	Milton Dickens	1963	Harcourt, Brace & World
Speech: dynamic communication.	Milton Dickens	1954	Harcourt, Brace & World
Dynamic Analysis of Structures	John Katsikadelis	2020	Academic Press
Dynamic Stability of Structures	George Herrmann	1967	Pergamon
Dynamic stability of structures /	Xie, Wei-Chau,	c2005.	Cambridge University Press,
Dynamic structures in biology	Brian C. Goodwin; Gerry Webster	1989	Edinburgh University Press
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
Portable programs for parallel processors	Ewing Lusk	1987	Holt, Rinehart, and Winston
Control structures for parallel machines	Frank Dagen Panzica	1979	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Algorithms + Data Structures = Programs	Niklaus Wirth	1976	Prentice Hall
Dynamic Load Distribution for Parallel Applications	Georg Stellner	1997	Vieweg+Teubner Verlag
Dynamic communication for engineers	Richard H. McCuen	1993	American Society of Civil Engineers
Dynamic Analysis of Offshore Structures	C.A. Brebbia and S. Walker	1979	Newnes
Dynamic Behavior of Concrete Structures	Y.L. Mo	1994	Elsevier
Dynamic modeling of concrete structures	Harry G. Harris	1982	American Concrete Institute
Dynamic Analysis of Ocean Structures	Bruce J. Muga; James F. Wilson	1970	Springer US
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
Verifying Parallel Programs with Dynamic Communication Structures	Mohamed Faouzi Atig; Tayssir Touili	Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings	Sebastian Maneth	2009	Springer Berlin Heidelberg
Verifying Parallel Programs with MPI-Spin	Stephen F. Siegel	Recent Advances in Parallel Virtual Machine and Message Passing Interface: 14th European PVM/MPI User' s Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings	Franck Capello; Thomas Herault; Jack Dongarra	2007	Springer Berlin Heidelberg
Verifying parallel programs with resource allocation	Susan Owicki	Mathematical Studies of Information Processing: Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978	E. K. Blum; M. Paul; S. Takasu	1979	Springer Berlin Heidelberg
Verifying parallel programs with resource allocati		Mathematical Studies of Information Processing: Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978	M. W. Shields, P. E. Lauer (auth.), E. K. Blum, M. Paul, S. Takasu (eds.)	1979	Springer-Verlag Berlin Heidelberg
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking	Ahmed Bouajjani; Peter Habermehl; Pierre Moro; Tomáš Vojnar	Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings	Nicolas Halbwachs; Lenore Zuck	2005	Springer Berlin Heidelberg
Verifying programs		Essentials of logic programming	Christopher John Hogger	1990	Clarendon Press;Oxford University Press
Verifying Fortran Programs with CIVL	Wenhao Wu; Jan Hückelheim; Paul D. Hovland; Stephen F. Siegel	Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I	Dana Fisman; Grigore Rosu	1st ed. 2022	Springer International Publishing
Verifying Concurrent Programs with Chalice	K. Rustan M. Leino	Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings	Gilles Barthe; Manuel Hermenegildo	2010	Springer Berlin Heidelberg
Verifying Rust Programs with SMACK	Marek Baranowski; Shaobo He; Zvonimir Rakamarić	Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings	Shuvendu K. Lahiri; Chao Wang	1st ed. 2018	Springer International Publishing
Parallel Programs with Synchronization	Krzysztof R. Apt; Ernst-Rüdiger Olderog	Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	1991	Springer New York
Parallel Programs with Synchronization	Krzysztof R. Apt; Ernst-Rüdiger Olderog	Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	2nd ed. 1997	Springer New York
Parallel Programs with Synchronization		Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Verifying C Programs	José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa	Rigorous Software Development: An Introduction to Program Verification	José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa	2011	Springer London
Verifying ET-LOTOS programs with KRONOS	C. Daws; A. Olivero; S. Yovine	Formal Description Techniques VII	Dieter Hogrefe; Stefan Leue	1st ed. 1995	Springer US
Structures with Parallel Tunnels	B. Raveau	Inorganic Reactions & Methods V17 - Oligomerization & Polymerization; Formation of Intercalation Compounds	Jerold J. Zuckerman; A. P. Hagen	1990	John Wiley & Sons
Computation/Communication for the Parallel Programs		Computer architecture: a quantitative approach	Hennessy, John L.; Patterson, David A	2017;2019	Morgan Kaufmann Publishers; Elsevier : MK
Verifying Multicopy Structures	Siddharth Krishna; Nisarg Patel; Dennis Shasha; Thomas Wies	Automated Verification of Concurrent Search Structures	Krishna Siddharth; Patel Nisarg; Shasha Dennis; Wies Thomas		Springer International Publishing
Verifying Multicopy Structures		Automated Verification of Concurrent Search Structures	Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies	2021	Morgan & Claypool
Optimization of parallel programs on machines with expensive communication	Welf Löwe; Jörn Eisenbiegler; Wolf Zimmermann	Euro-Par' 96 - Parallel Processing: Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II	Luc Bouge; Pierre Fraigniaud; Anne Mignotte; Yves Robert	1996	Springer Berlin Heidelberg
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets	Michael Westergaard	Transactions on Petri Nets and Other Models of Concurrency VI	Wil M. P. van der Aalst; Marco Ajmone Marsan; Giuliana Franceschinis; Jetty Kleijn; Lars M. Kristensen	2012	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verifying Parallel Programs with Dynamic Communication Structures" - similar Books and Chapters