Publications

Export 12 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Keyword is D and Author is Sean Whitsitt  [Clear All Filters]
Conference Paper
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.
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.
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.
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.
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.
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.
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.