Publications

Export 12 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Keyword is D and Author is Sean Whitsitt  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
data adaptable design methodology
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.
data adaptable embedded systems
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.
domain-specific modeling
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.
Dynamic Constraints
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.
dynamic software-hardware task migration
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.