Publications

Export 5 results:
Author Keyword Title [ Type(Asc)] Year
Filters: First Letter Of Keyword is M and Author is Sean Whitsitt  [Clear All Filters]
Conference Paper
N. Sandoval, Mackin, C., Whitsitt, S., Lysecky, R., and Sprinkle, J., System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
N. Sandoval, Mackin, C., Whitsitt, S., Lysecky, R., and Sprinkle, J., System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.
S. Whitsitt, Barreto, A., Hudson, M., Al-Helal, H., Chu, D., Didan, K., and Sprinkle, J., Constrained data acquisition for mobile citizen science applications, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
S. Whitsitt, Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations, in NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 2014.