"Correction to: Bounded-Memory Runtime Enforcement"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
RUNTIME	S.B Divya	May 17, 2016	tor.com
A memory based model of bounded rationality	Sendhil Mullainathan	2000	Massachusetts Institute of Technology, Dept. of Economics
Applied psychology for law enforcement and correction officers	Robert J. Wicks	1974	McGraw-Hill
Introducing Mechanisms and APIs for Memory Management: Using Windows OS Native Runtime APIs	Roger Villela	1st ed.	Apress
Correction /	Tan, Fiona,; Bonami, Francesco.; Widholm, Julie Rodrigues.	[2004], ©2004.	Museum of Contemporary Art,
Bounded Analytic Functions	John Garnett	Revised 1st ed. 2007	Springer New York
Bounded Analytic Functions	John B. Garnett	1981	Elsevier
Bounded Incremental Computation	G. Ramalingam (eds.)	1996	Springer-Verlag Berlin Heidelberg
Modeling Bounded Rationality	Ariel Rubinstein	1998	MIT Press,
Bounded Incremental Computation	G. Ramalingam	1996	Springer Berlin Heidelberg
A counterexample to the bounded orbit conjecture		1980
Introduction to Law Enforcement	David H. McElreath; Daniel Adrian Doss; Carl J. Jensen III; Michael Wigginton Jr.; Ralph Kennedy; Kenneth R. Winter; Robert E. Mongue; Janice Bounds; J. Michelle Estis-Sumerel	2013	Routledge
Windows Runtime via C# (Developer Reference)	Jeffrey Richter; Maarten van de Bospoort	Dec 09, 2013	Microsoft Press
Postural correction	Johnson, Jane	2016	Human Kinetics
Contemporary correction	Paul W. Tappan	1951	McGraw-Hill
Speech correction	Richard Carman Borden	1925	F. S. Crofts & Co.
Correction officer	Susan Clinton	1998	Capstone High/Low Books
La correction	Zénaïde Constant	2009	Pocket
Correction officer	Susan Clinton	1999	Lifematters
Creative Correction	Lisa Whelchel	March 18, 2005	Tyndale House Publishers
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
Correction to: Bounded-Memory Runtime Enforcement	Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone	Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings	Owolabi Legunsen; Grigore Rosu	1st ed. 2022	Springer International Publishing
Bounded-Memory Runtime Enforcement	Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone	Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings	Owolabi Legunsen; Grigore Rosu	1st ed. 2022	Springer International Publishing
Compositional Runtime Enforcement	Srinivas Pinisetty; Stavros Tripakis	NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings	Sanjai Rayadurgam; Oksana Tkachuk	1st ed. 2016	Springer International Publishing
1132 Runtime enforcement		AspectJ in Action: Enterprise AOP with Spring Applications, 2nd Edition	Ramnivas Laddad	2009	Manning Publications
Runtime memory		Kolban's Book on ESP32	Neil Kolban	2018
Runtime Enforcement of Hyperproperties	Norine Coenen; Bernd Finkbeiner; Christopher Hahn; Jana Hofmann; Yannick Schillo	Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings	Zhe Hou; Vijay Ganesh	1st ed. 2021	Springer International Publishing
On Bidirectional Runtime Enforcement	Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir	Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6. 1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings	Kirstin Peters; Tim A. C. Willemse	1st ed. 2021	Springer International Publishing
Runtime Memory Organization		Write Great Code	Randall Hyde	2020	No Starch Press
Runtime Memory Organization		Network Security Assessment: Know Your Network	Chris McNab	2007	O'Reilly Media
Runtime Memory Organization		Network Security Assessment (2007)(2nd)(en)(478s)	Chris McNab	2007	O'Reilly Media
Runtime Enforcement with Partial Control	Raphaël Khoury; Sylvain Hallé	Foundations and Practice of Security: 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers	Joaquin Garcia-Alfaro; Evangelos Kranakis; Guillaume Bonfante	1st ed. 2016	Springer International Publishing
Runtime Enforcement of Timed Properties	Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Landry Nguena Timo	Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers	Shaz Qadeer; Serdar Tasiran	2013	Springer Berlin Heidelberg
Memory, Runtime Memory Organization, and Virtual Memory	Naveen Toppo; Hrishikesh Dewan	Pointers in C: A Hands on Approach	Hrishikesh Dewan; Naveen Toppo	1st ed.	Apress
31 Runtime Memory Organization		The Art of 64-Bit Assembly, Volume 1: x86-64 Machine Organization and Programming	Randall Hyde	2021	No Starch Press
118 Runtime Memory Organization		Write Great Code, Volume 1, 2nd Edition	Randall Hyde	2020	No Starch Press
In-memory runtime formats		In-Memory Analytics with Apache Arrow: Perform fast and efficient data analytics on both flat and hierarchical structured data	Matthew Topol	2022	Packt Publishing
Bounded-Memory Stream Processing	Özgür Lütfü Özçep	KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings	Frank Trollmann; Anni-Yasmin Turhan	1st ed. 2018	Springer International Publishing
Runtime Enforcement of Dynamic Security Policies	Jose-Miguel Horcas; Mónica Pinto; Lidia Fuentes	Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings	Paris Avgeriou; Uwe Zdun	2014	Springer International Publishing
Runtime Security Policy Enforcement in Clouds	Suryadipta Majumdar; Taous Madi; Yushun Wang; Azadeh Tabiban; Momen Oqaily; Amir Alimohammadifar et al.	Cloud Security Auditing	Suryadipta Majumdar; Taous Madi; Yushun Wang; Azadeh Tabiban; Momen Oqaily; Amir Alimohammadifar; Yosr Jarraya; Makan Pourzandi; Lingyu Wang; Mourad Debbabi	1st ed. 2019	Springer International Publishing
Runtime Fragility in Main Memory	Endre Palatinus; Jens Dittrich	Data Management on New Hardware: 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers	Spyros Blanas; Rajesh Bordawekar; Tirthankar Lahiri; Justin Levandoski; Andrew Pavlo	1st ed. 2017	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Correction to: Bounded-Memory Runtime Enforcement" - similar Books and Chapters