Search for Author All Reviews
	Lee, Insup     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 6 reviews       Cache-aware compositional analysis of real-time multicore virtualization platforms Xu M., Phan L., Sokolsky O., Xi S., Lu C., Gill C., Lee I. Real-Time Systems 51(6): 675-723, 2015.  Type: Article Virtualized platforms on multicore systems are becoming increasingly common, especially since single-core performance is now increasing ever more slowly. Virtualized platforms, however, introduce additional cache-related nondeterminism...... May 27 2016     Platform-dependent code generation for embedded real-time software Kim B., Phan L., Sokolsky O., Lee I.  ICCPS 2013 (Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, Montreal, QC, Canada, 1-10, 2013.  Type: Proceedings Macro processing is a strategy for platform-dependent code generation from a higher-level algorithm, with a venerable history [1]. Kim and his co-authors have reinvented a pale cousin of this technique to generate embedded processor co...... Jan 15 2014     On effective testing of health care simulation software Murphy C., Raunak M., King A., Chen S., Imbriano C., Kaiser G., Lee I., Sokolsky O., Clarke L., Osterweil L.  SEHC 2011 (Proceedings of the 3rd Workshop on Software Engineering in Health Care, Waikiki, Honolulu, HI, May 22-23, 2011) 40-47, 2011.  Type: Proceedings Simulations can be used to solve problems that cannot be solved analytically. In the absence of expected results, however, novel approaches are required to find implementation defects. The authors describe one such approach, called met...... Oct 10 2012     Abstract slicing: a new approach to program slicing based on abstract interpretation and model checking Seok Hong H., Lee I., Sokolsky O.  Source code analysis and manipulation (Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM’05),25-34, 2005.  Type: Proceedings Program slicing [1] is a technique for extracting those sentences of a program that affect or are affected by a given slicing criterion. Since this technique was introduced in 1984, many other approaches (such as constraint slicing and...... Jan 10 2006     A process algebra of communicating shared resources with dense time and priorities Brémond-Grégoire P., Lee I. Theoretical Computer Science 189(1-2): 179-219, 1997.  Type: Article The authors introduce an algebra of communicating shared resources and use it as a specification mechanism for distributed systems with resources and real-time constraints. The paper is organized in six sections and an appendix. Sectio...... Sep 1 1998     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy