Biblio
Filters: First Letter Of Last Name is T [Clear All Filters]
.
2017. PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks. :257–258.
.
2017. PrOLoc: resilient localization with private observers using partial homomorphic encryption.. IPSN. :41–52.
.
2017. D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proceedings of the 18th ACM International Symposium on Mobile Ad Hoc Networking and Computing. :14.
.
2017. FEW: Integration of alternative energy sources into digital micro-grids. Environmental Progress and Sustainable Energy. 99
.
2016. Co-scheduling of datacenter and HVAC loads in mixed-use buildings. 2016 Seventh International Green and Sustainable Computing Conference (IGSC). :1-8.
.
2017. Deep reinforcement learning for building HVAC control. 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC). :1-6.
.
2017. Deep Reinforcement Learning: Framework, Applications, and Embedded Implementations. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
.
2017. Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. PP:1-1.
.
2017. Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations. IEEE Transactions on Sustainable Computing. PP:1-1.
.
2012. pCruise: Reducing Cruising Miles for Taxicab Networks. 2012 IEEE 33rd Real-Time Systems Symposium. :85-94.
.
2013. CallCab: A unified recommendation system for carpooling and regular taxicab services. 2013 IEEE International Conference on Big Data. :439-447.
.
2014. Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network. 2014 IEEE International Congress on Big Data. :152-159.
.
2014. A Carpooling Recommendation System for Taxicab Services. IEEE Transactions on Emerging Topics in Computing. 2:254-266.
.
2015. Online Cruising Mile Reduction in Large-Scale Taxicab Networks. IEEE Transactions on Parallel and Distributed Systems. 26:3122-3135.
.
2016. Data-Driven Robust Taxi Dispatch Approaches. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-1.
.
2014. A layered approach for testing timing in the model-based implementation. 2014 Design, Automation Test in Europe Conference Exhibition (DATE). :1-4.
.
2013. Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. :81–90.
.
2012. Optimal Scheduling for Constant-rate Multi-mode Systems. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '12). :75–84.
.
2011. Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.
.
2016. Production as a Service Framework for Optimizing the Sourcing of Manufacturing Processes, and the Utilization of Unused Manufacturing Resources. Dynamic Systems and Control Conference.
.
2017. Production as a Service: A Centralized Framework for Small Batch Manufacturing. Conference on Automation Science and Engineering.
.
2016. Attackers can spoof navigation signals without our knowledge. Here's how to fight back GPS lies. IEEE Spectrum. 53:26-53.