Search for Author All Reviews
	Keidar, Idit     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews       Do not crawl in the DUST: different URLs with similar text Bar-Yossef Z., Keidar I., Schonfeld U. ACM Transactions on the Web 3(1): 1-31, 2009.  Type: Article The identification of different uniform resource locators (URLs) with similar text (DUST) is important: the elimination of such URLs would increase caching, crawling, and indexing efficiency, as well as the search effectiveness of Web ...... Oct 25 2010      Utilizing shared data in chip multiprocessors with the Nahalal architecture Guz Z., Keidar I., Kolodny A., Weiser U.  SPAA 2008 (Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, Jun 14-16, 2008) 1-10, 2008.  Type: Proceedings In a multicore processor chip, the L2 cache may be organized as one private L2 cache per core or a single shared L2 cache. The private cache approach requires smaller caches than a shared cache, and thus has faster cache access time th...... Dec 23 2008     Group communication specifications: a comprehensive study Chockler G., Keidar I., Vitenberg R. ACM Computing Surveys 33(4): 427-469, 2001.  Type: Article Distributed systems involving communication among groups of non-adversarial processes have recently received much interest. Two of the most important aspects of such a system are group membership services (because the membership is dy...... Sep 19 2002     An inheritance-based technique for building simulation proofs incrementally Keidar I., Khazan R., Lynch N., Shvartsman A. ACM Transactions on Software Engineering and Methodology 11(1): 63-91, 2002.  Type: Article, Reviews: (1 of 2) Most specification formalisms recognize the need to build specifications incrementally, and to provide modularity constructs such as refinement and decomposition. The modularity in specifications can be much more beneficial when it als...... Jun 25 2002     An inheritance-based technique for building simulation proofs incrementally Keidar I., Khazan R., Lynch N., Shvartsman A. ACM Transactions on Software Engineering and Methodology 11(1): 63-91, 2002.  Type: Article, Reviews: (2 of 2) This well-written treatise discusses how to verify an implementation of a state-transition system, with respect to its state-based specification (for example, process algebras, I/O automata, or Petri nets.). The novelty of this work l...... Jun 25 2002
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy