| 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 | 117 | 2016 |
| 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 | 79 | 2005 |
| 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 | 54 | 2010 |
| 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 | 38 | 2006 |
| 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 | 37 | 2008 |
| 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 | 36 | 2001 |
| 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 | 34 | 2013 |
| 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 | 34 | 2010 |
| 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 | 33 | 2008 |
| 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 | 31 | 2011 |
| 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 | 30 | 2006 |
| 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 | 28 | 2008 |
| 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 | 27 | 2012 |
| 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 | 25 | 2013 |
| 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 | 25 | 2013 |
| 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 | 24 | 2010 |
| 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 | 24 | 2007 |
| Efficient querying of distributed provenance stores A Gehani, M Kim, T Malik Proceedings of the 19th ACM International Symposium on High Performance …, 2010 | 20 | 2010 |
| 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 | 19 | 2009 |
| Application patterns for cyber-physical systems JS Choi, T McCarthy, M Yadav, M Kim, C Talcott, E Gressier-Soudan 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks …, 2013 | 17 | 2013 |
Mark-Oliver StehrSRI Internationalcsl.sri.com의 이메일 확인됨