Follow
Minyoung Kim
Minyoung Kim
Verified email at csl.sri.com - Homepage
Title
Cited by
Cited by
Year
ADDSEN: Adaptive data processing and dissemination for drone swarms in urban sensing
D Wu, DI Arkhipov, M Kim, CL Talcott, AC Regan, JA McCann, ...
IEEE transactions on computers 66 (2), 183-198, 2016
1052016
A cross-layer approach for power-performance optimization in distributed mobile systems
S Mohapatra, R Cornea, H Oh, K Lee, M Kim, N Dutt, R Gupta, A Nicolau, ...
19th IEEE International Parallel and Distributed Processing Symposium, 8 pp., 2005
802005
An application framework for loosely coupled networked cyber-physical systems
M Kim, MO Stehr, J Kim, S Ha
2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing …, 2010
542010
Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies
M Kim, S Banerjee, N Dutt, N Venkatasubramanian
Proceedings of the 4th international conference on Hardware/software …, 2006
382006
Energy-aware cosynthesis of real-time multimedia applications on MPSoCs using heterogeneous scheduling policies
M Kim, S Banerjee, N Dutt, N Venkatasubramanian
ACM Transactions on Embedded Computing Systems (TECS) 7 (2), 1-19, 2008
372008
Hybrid run-time power management technique for real-time embedded system with voltage scalable processor
M Kim, S Ha
Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools …, 2001
372001
xtune: A formal methodology for cross-layer tuning of mobile embedded systems
M Kim, MO Stehr, C Talcott, N Dutt, N Venkatasubramanian
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-23, 2013
342013
Toward distributed declarative control of networked cyber-physical systems
MO Stehr, M Kim, C Talcott
International Conference on Ubiquitous Intelligence and Computing, 397-413, 2010
342010
Mitigating the impact of hardware defects on multimedia applications: a cross-layer approach
K Lee, A Shrivastava, M Kim, N Dutt, N Venkatasubramanian
Proceedings of the 16th ACM international conference on Multimedia, 319-328, 2008
332008
Fractionated software for networked cyber-physical systems: Research directions and long-term vision
MO Stehr, C Talcott, J Rushby, P Lincoln, M Kim, S Cheung, A Poggio
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated …, 2011
312011
PBPAIR: An energy-efficient error-resilient encoding using probability based power aware intra refresh
M Kim, H Oh, N Dutt, A Nicolau, N Venkatasubramanian
ACM SIGMOBILE Mobile Computing and Communications Review 10 (3), 58-69, 2006
302006
Error-exploiting video encoder to extend energy/qos tradeoffs for mobile embedded systems
K Lee, M Kim, N Dutt, N Venkatasubramanian
IFIP Working Conference on Distributed and Parallel Embedded Systems, 23-34, 2008
272008
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing
J Kim, M Kim, MO Stehr, H Oh, S Ha
Journal of Parallel and Distributed Computing 72 (4), 564-578, 2012
262012
A distributed logic for networked cyber-physical systems
M Kim, MO Stehr, C Talcott
Science of Computer Programming 78 (12), 2453-2467, 2013
252013
ICEMAN: A system for efficient, robust and secure situational awareness at the network edge
S Wood, J Mathewson, J Joy, MO Stehr, M Kim, A Gehani, M Gerla, ...
MILCOM 2013-2013 IEEE Military Communications Conference, 1512-1517, 2013
252013
A Distributed Logic for Networked Cyber-Physical Systems
M Kim, MO Stehr, C Talcott
Journal of Science of Computer Programming 78 (12), 2453-2467, 2013
252013
Mendel: Efficiently verifying the lineage of data modified in multiple trust domains
A Gehani, M Kim
Proceedings of the 19th ACM International Symposium on High Performance …, 2010
232010
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems
M Kim, MO Stehr, C Talcott, N Dutt, N Venkatasubramanian
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007
232007
Efficient querying of distributed provenance stores
A Gehani, M Kim, T Malik
Proceedings of the 19th ACM International Symposium on High Performance …, 2010
202010
Steps toward managing lineage metadata in grid clusters
A Gehani, M Kim, J Zhang
First workshop on on Theory and practice of provenance, 1-9, 2009
192009
The system can't perform the operation now. Try again later.
Articles 1–20