"Executions of concurrent algorithms" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
A semantic approach to correctness of concurrent transaction executions.	Paul G. Spirakis	1984	Courant Institute of Mathematical Sciences, New York University
Concurrent Programming: Algorithms, Principles, and Foundations	Michel Raynal	2013	Springer Berlin Heidelberg
Concurrent Computations: Algorithms, Architecture, and Technology	Stuart K. Tewksbury; Bradley Dickinson; Stuart C. Schwartz	1988	Springer US
Principles of concurrent and distributed programming: algorithms and models	Ben-Ari M.	2006	Addison Wesley;Pearson Education Limited
Principles of Concurrent and Distributed Programming: Algorithms and Models	M. Ben-Ari	2006	Addison Wesley
Exécutions intimes	Ghislain Ripault	2000	Cherche Midi
Public Executions	Nigel Cawthorne	October 30, 2006	Book Sales
Judicial executions	John James de Zouche Marshall	1888	s.n.]
Executions and sacrifices	Heather Moore Niver	2015	Gareth Stevens Publishing LLLP
Executions in America	William J. Bowers	1973	Lexington Books
Amazing Stories of Female Executions	Geoffrey Abbott	2006	Summersdale Publishers
Concurrent Programming	C. R. Snow	1992-02	Cambridge University Press
Concurrent programming	Narain Gehani; Andrew D. McGettrick	1988	Addison-Wesley
Concurrent programming	Burns, Alan	1993	Addison-Wesley Pub. Co.
Principles of concurrent programming	M. Ben-Ari	1982	Prentice-Hall International
Procedure for military executions	United States Department of War	1944	War Dept.
Executions: the legal ways of death	George Victor Bishop	©1965	Sherbourne Press
Executions: the legal ways of death	George Victor Bishop	1965	Sherbourne Press
Treatise on the law of executions	Henry M. Herman	1875	J. Cockcroft
New Methods of Concurrent Checking	Michael Gössel; Vitaly Ocheretny; Egor Sogomonyan; Daniel Marienfeld	2008	Springer Netherlands
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
Executions of concurrent algorithms		Principles of transactional memory	Rachid Guerraoui	2010	Morgan & Claypool
Correctness Criterion for Concurrent Executions		Encyclopedia of Database Systems	Ling Liu; M. Tamer Özsu	2009	Springer US
Analysis of concurrent algorithms	Jørgen Staunstrup	CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12, 1981. Proceedings	W. Händler	1981	Springer Berlin Heidelberg
Developing concurrent algorithms		Practical Machine Learning	Sunila Gollapudi	2016	Packt Publishing
Developing concurrent algorithms		Practical machine learning: tackle the real-world complexities of modern machine learning with innovative and cutting-edge techniques /	Gollapudi, Sunila,; Laxmikanth, V.,
Computing in the Presence of Concurrent Solo Executions	Maurice Herlihy; Sergio Rajsbaum; Michel Raynal; Julien Stainer	LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31 -- April 4, 2014. Proceedings	Alberto Pardo; Alfredo Viola	2014	Springer Berlin Heidelberg
A True Concurrent Model of Smart Contracts Executions	Massimo Bartoletti; Letterio Galletta; Maurizio Murgia	Coordination Models and Languages: 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings	Simon Bliudze; Laura Bocchi	1st ed. 2020	Springer International Publishing
Waiting in Concurrent Algorithms	Gadi Taubenfeld	Networked Systems: 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers	Parosh Aziz Abdulla; Carole Delporte-Gallet	1st ed. 2016	Springer International Publishing
Verifying Concurrent Graph Algorithms	Azalea Raad; Aquinas Hobor; Jules Villard; Philippa Gardner	Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings	Atsushi Igarashi	1st ed. 2016	Springer International Publishing
Derivation of concurrent algorithms in Tempo	Steve Gregory	Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR' 95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings	Maurizio Proietti	1996	Springer Berlin Heidelberg
Verifying Timing Properties of Concurrent Algorithms	Victor Luchangco; Ekrem Söylemez; Stephen Garland; Nancy Lynch	Formal Description Techniques VII	Dieter Hogrefe; Stefan Leue	1st ed. 1995	Springer US
Derivation of concurrent algorithms in Tem		Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings	Michael Leuschel (auth.), Maurizio Proietti (eds.)	1996	Springer-Verlag Berlin Heidelberg
Specifying Transaction Control to Serialize Concurrent Program Executions	Egon Börger; Klaus-Dieter Schewe	Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings	Yamine Ait Ameur; Klaus-Dieter Schewe	2014	Springer Berlin Heidelberg
Adapting Integrity Checking Techniques for Concurrent Operation Executions	Xavier Oriol; Ernest Teniente	System Analysis and Modeling. Languages, Methods, and Tools for Industry 4. 0: 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings	Pau Fonseca i Casas; Maria-Ribera Sancho; Edel Sherratt	1st ed. 2019	Springer International Publishing
Concurrent Depth-First Search Algorithms	Gavin Lowe	Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings	Erika Abraham; Klaus Havelund	2014	Springer Berlin Heidelberg
Memory Management in Concurrent Algorithms	Maged M. Michael	Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings	Tayssir Touili; Byron Cook; Paul Jackson	2010	Springer Berlin Heidelberg
Concurrent Programming and Scheduling Algorithms	Gedare Bloom; Joel Sherrill; Tingting Hu; Ivan Cibrario Bertolotti	Real-Time Systems Development with RTEMS and Multicore Processors	Gedare Bloom; Joel Sherrill; Tingting Hu; Ivan Cibrario Bertolotti	2020	Routledge
Scaling in Concurrent Evolutionary Algorithms	Juan J. Merelo; J. L. J. Laredo; Pedro A. Castillo; José-Mario García-Valdez; Sergio Rojas-Galeano	Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings	Juan Carlos Figueroa-García; Mario Duarte-González; Sebastián Jaramillo-Isaza; Alvaro David Orjuela-Cañon; Yesid Díaz-Gutierrez	1st ed. 2019	Springer International Publishing
4. Concurrent Backpropagation Learning Algorithms		Machine learning: neural networks, genetic algorithms, and fuzzy systems /	Adeli, Hojjat,; Hung, Shih-Lin,	[1995], ©1995.	Wiley,
The analysis of concurrent logic control algorithms	A. D. Zakrevskii	Fundamentals of Computation Theory: International Conference FCT ' 87 Kazan, USSR, June 22-26, 1987. Proceedings	Lothar Budach; Rais G. Bukharajev; Oleg B. Lupanov	1987	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries