@conference {231,
	title = {Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring},
	booktitle = {Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the},
	year = {2013},
	month = {April},
	pages = {40-48},
	keywords = {accelerometers, Code Generation, communication task, computation task, Computational modeling, concurrent engineering, concurrent tasks specification, control tasks, cyber-physical systems, domain-specific modeling language, drifters, embedded programming, environmental monitoring (geophysics), environmental science computing, floating sensor testbed, formal specification, Global Positioning System, GPS sensors, hand-written code, Instruction sets, mobile computing, mobile phone, mobile radio, mobile sensing platforms, model-based software synthesis, model-integrated computing, program compilers, Programming, self-reconfigurable sensor network, Smart phones, software synthesis, ubiquitous mobile device, Unified modeling language, water flow monitoring, wireless sensor networks},
	doi = {10.1109/ECBS.2013.34},
	url = {http://dx.doi.org/10.1109/ECBS.2013.34},
	author = {Kun Zhang and Jonathan Sprinkle}
}
@conference {232,
	title = {System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems},
	booktitle = {Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the},
	year = {2013},
	month = {April},
	pages = {59-68},
	keywords = {combinatorial explosion, Data adaptability, data adaptable design methodology, data adaptable embedded systems, data configurations, data handling, Data models, data profile correlation, design time optimization, dynamic software-hardware task migration, embedded systems, Field programmable gate arrays, FIFO queues, Firing, Hardware, hardware accelerators, hardware-software codesign, hardware-software communication wrapper, hardware/software codesign, hardware/software communication middleware, heuristic programming, heuristic search methodology, middleware, model-based design, Pareto optimal configurations, Pareto optimisation, Runtime, runtime communication middleware, search problems, simulation-based methodology, system throughput optimization},
	doi = {10.1109/ECBS.2013.25},
	author = {Nathan Sandoval and Casey Mackin and Sean Whitsitt and Roman Lysecky and Jonathan Sprinkle}
}
