Search
for Author
All Reviews
Sokolsky, Oleg
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
4
of
4
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
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy