Publications

Export 228 results:
Author [ Keyword(Asc)] Title Type Year
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 
hardware-software communication wrapper
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.
hardware-software codesign
N. Sandoval, Mackin, C., Lysecky, R., and Sprinkle, J., How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
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.
hardware tasks
N. Sandoval, Mackin, C., Lysecky, R., and Sprinkle, J., How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
Hardware
N. Sandoval, Mackin, C., Lysecky, R., and Sprinkle, J., How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
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.
hand-written code
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
GPS sensors
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
Global Positioning System
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
formal specification
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
floating sensor testbed
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
Field programmable gate arrays
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.
environmental science computing
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
environmental monitoring (geophysics)
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
embedded systems
N. Sandoval, Mackin, C., Lysecky, R., and Sprinkle, J., How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
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.
E. Jones and Sprinkle, J., autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11, New York, NY, USA, 2011, pp. 71–76.
embedded programming
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
embedded hardware
N. Sandoval, Mackin, C., Lysecky, R., and Sprinkle, J., How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 213-214.
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.
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.
drifters
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
domain-specific modeling language
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.