Search for Author All Reviews
	Henzinger, Thomas A.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Handbook of model checking Clarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing, New York, NY, 2018. 1210 pp.  Type: Book (978-3-319105-74-1) Due to the proliferation and pervasiveness of hardware and software entities in everyday life, ascertaining their trustworthiness is of paramount importance. Model checking is a logic-based approach that determines whether the abstract...... May 20 2019     Quantitative relaxation of concurrent data structures Henzinger T., Kirsch C., Payer H., Sezgin A., Sokolova A.  POPL 2013 (Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, Jan 23-25, 2013) 317-328, 2013.  Type: Proceedings Evolving trends in hardware, especially the shift from single-core to multicore and many-core processors, have pushed current programming to the center of the discussion in many designs and implementations. Many reports published in re...... May 2 2013     Scheduling large jobs by abstraction refinement Henzinger T., Singh V., Wies T., Zufferey D.  EuroSys 2011 (Proceedings of the 6th Conference on Computer Systems, Salzburg, Austria, Apr 10-13, 2011) 329-342, 2011.  Type: Proceedings The core idea of this paper is to use abstraction and refinement to solve large-scale job scheduling problems. Given a large scheduling problem with constraints on the required solution, the idea is to first abstract a problem that one...... Jul 27 2011
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy