"Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
The architecture of concurrent programs	Per Brinch Hansen	1977	Prentice-Hall
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog	3rd ed. 2009	Springer London
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	2nd ed. 1997	Springer New York
Verification of Sequential and Concurrent Programs	Krzysztof R. Apt; Ernst-Rüdiger Olderog	1991	Springer New York
Logics and analyses for concurrent heap-manipulating programs	Alexey Gotsman	2009	[British Computer Society]
Bounded Dynamic Stochastic Systems: Modelling and Control	Hong Wang	2000	Springer London
Context Management for Distributed and Dynamic Context-Aware Computing	Ricardo Couto Antunes da Rocha; Markus Endler	2012	Springer London
Formulas for Dynamic Analysis	Ronald Huston; C Q Liu	2001	Routledge
Converter-Interfaced Energy Storage Systems: Context, Modelling and Dynamic Analysis	Federico Milano; Álvaro Ortega Manjavacas	2019-05	Cambridge University Press
Concurrent, Real-Time Programming in Java: Threads, RTSJ and RMI	Badr Benmammar	2018	John Wiley & Sons
A correlation analysis of bounded sound fields	Charles Joseph Glass	1954	Massachusetts Institute of Technology
Concurrent enrollment programs: College credit for high school students (Fastback)	Arthur Richard Greenberg	1989	Phi Delta Kappa Educational Foundation
Structural Dynamic Analysis with Generalized Damping Models: Analysis	Sondipon Adhikari	2013	John Wiley & Sons
An Analysis of Ikujiro Nonaka\’s A Dynamic Theory of Organizational Knowledge Creation	Stoyan Stoyanov	2017	Routledge
Computer programs for demographic analysis	Eduardo E. Arriaga	1976	U.S. Dept. of Commerce, Bureau of the Census, International Statistical Programs Center
Programming with threads /	Kleiman, Steve.; Shah, Devang.; Smaalders, Bart.	[1996], ©1996.	Prentice Hall,
Dynamic Analysis and Earthquake Resistant Design: Methods of Dynamic Analysis	Japanese Society of Civil Engineers	2000	Routledge
Dynamic Analysis of Structures	John Katsikadelis	2020	Academic Press
Dynamic analysis of machines	Joseph Edward Shigley	1961	McGraw-Hill
Dynamic analysis of cams	Robert Viggo Andersen	1971	Naval Postgraduate School
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
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads	Mohamed Faouzi Atig; Ahmed Bouajjani; Shaz Qadeer	Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Stefan Kowalewski; Anna Philippou	2009	Springer Berlin Heidelberg
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures	Ahmed Bouajjani; Séverine Fratani; Shaz Qadeer	Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings	Werner Damm; Holger Hermanns	2007	Springer Berlin Heidelberg
The Case for Context-Bounded Verification of Concurrent Programs	Shaz Qadeer	Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings	Klaus Havelund; Rupak Majumdar; Jens Palsberg	2008	Springer Berlin Heidelberg
Context-Bounded Analysis of Concurrent Queue Systems	Salvatore La Torre; P. Madhusudan; Gennaro Parlato	Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings	C.R. Ramakrishnan; Jakob Rehof	2008	Springer Berlin Heidelberg
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation	Thomas Martin Gawlitza; Peter Lammich; Markus Müller-Olm; Helmut Seidl; Alexander Wenner	Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings	Ranjit Jhala; David Schmidt	2011	Springer Berlin Heidelberg
Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation	Kazuhide Yasukata; Takeshi Tsukada; Naoki Kobayashi	Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings	Atsushi Igarashi	1st ed. 2016	Springer International Publishing
Bounded Model Checking of Concurrent Programs	Ishai Rabinovitz; Orna Grumberg	Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings	Kousha Etessami; Sriram K. Rajamani	2005	Springer Berlin Heidelberg
Dynamic Slicing of Concurrent Programs	D. Goswami; R. Mall	High Performance Computing - HiPC 2000: 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings	Mateo Valero; Viktor K. Prasanna; Sriram Vajapeyam	2000	Springer Berlin Heidelberg
Bounded-Interference Sequentialization for Testing Concurrent Programs	Niloofar Razavi; Azadeh Farzan; Andreas Holzer	Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I	Tiziana Margaria; Bernhard Steffen	2012	Springer Berlin Heidelberg
Concurrent Programming with Threads		Computer Systems. A Programmer’s Perspective [3rd ed. ]	Randal E. Bryant, David R. O’Hallaron	2016	Pearson
Symbolic Context-Bounded Analysis of Multithreaded Java Programs	Dejvuth Suwimonteerabuth; Javier Esparza; Stefan Schwoon	Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings	Klaus Havelund; Rupak Majumdar; Jens Palsberg	2008	Springer Berlin Heidelberg
Context-Bounded Analysis for POWER	Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Tuan Phong Ngo	Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II	Axel Legay; Tiziana Margaria	1st ed. 2017	Springer Berlin Heidelberg
Context-Bounded Analysis for POW		Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II	Axel Legay, Tiziana Margaria (eds.)	2017	Springer-Verlag Berlin Heidelberg
Dynamic matrices and the cost analysis of concurrent programs	GianLuigi Ferrari; Ugo Montanari	Algebraic Methodology and Software Technology: 4th International Conference, AMAST ' 95, Montreal, Canada, July 3-7, 1995. Proceedings	V.S. Alagar; Maurice Nivat	1995	Springer Berlin Heidelberg
Context-Bounded Model Checking of Concurrent Software	Shaz Qadeer; Jakob Rehof	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
Causal Dataflow Analysis for Concurrent Programs	Azadeh Farzan; P. Madhusudan	Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings	Orna Grumberg; Michael Huth	2007	Springer Berlin Heidelberg
Communication Topology Analysis for Concurrent Programs	Matthieu Martel; Marc Gengler	SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings	Klaus Havelund; John Penix; Willem Visser	2000	Springer Berlin Heidelberg
Symbolic Predictive Analysis for Concurrent Programs	Chao Wang; Sudipta Kundu; Malay Ganai; Aarti Gupta	FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings	Ana Cavalcanti; Dennis R. Dams	2009	Springer Berlin Heidelberg
Interprocedural Analysis of Concurrent Programs Under a Context Bound	Akash Lal; Tayssir Touili; Nicholas Kidd; Thomas Reps	Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings	C.R. Ramakrishnan; Jakob Rehof	2008	Springer Berlin Heidelberg
123 Concurrent Programming with Threads		Computer Systems: A Programmer's Perspective	Bryant Randal E., O'Hallaron David Richard	2010	Pearson
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads" - similar Books and Chapters