Embedded System Design: A Unified Hardware/Software Introduction [Frank Vahid, Tony D. Givargis] on Amazon.com. *FREE* shipping on qualifying offers.

Tony Givargis Tony Givargis Professor of Computer Science (, ) University of California, Irvine givargis@uci.edu Courses • Publication Books • B3. Programming Embedded Systems – An Introduction to Time-Oriented Programming. UniWorld Publishing, ISBN: 978-0-9829626-4-0, August 2012. Interface-Centric Abstraction level for Rapid Hardware/Software Integration, Book Chapter in Applications of Specification And Design Languages for SOCs. Springer, ISBN: 1-4020-4997-8, July 2006.

Embedded System Design: A Unified Hardware/Software Introduction. John Wiley and Sons, ISBN:, October 2001. Patents • P11. Methods for Optimizing Data Movement in Solid State Devices. United States Patent, 8,612,719, December 2013. Systems and Methods for Managing Key-Value Stores.

United States Patent, 8,612,402, December 2013. Phantom Serializing Compiler and Method of Operation of Same. United States Patent, 7,886,283, February 2011. Methods and apparatus for using water use signatures and water pressure in improving water use efficiency. United States Patent 7,330,796, February 2008.

Methods and Apparatus for Using Water use Signatures in Improving Water use Efficiency. United States Patent 6,963,808, November 2005. Interactive Irrigation System. United States Patent 6,950,728, September 2005.

Modifying Irrigation Schedules of Existing Irrigation Controllers. United States Patent 6,892,114, May 2005. Method for Core-Based System-Level Power Modeling using Object-Oriented Techniques.

United States Patent 6,865,526, March 2005. Two Tire Irrigation Valve Controller. United States Patent 6,812,826, November 2004. Detecting Weather Sensor Malfunctions. United States Patent 6,714,134, March 2004. Okidata C5300 Driver Windows 7 on this page. Irrigation Accumulation Controller. United States Patent 6,298,285, October 2001.

Peer-Reviewed/Archived Journal • J29. Adaptive Embedded Control of Cyber-Physical Systems using Reinforcement Learning. IET Cyber-Physical Systems: Theory & Applications (IET), vol.

127-135, June 2017. Momtaz and T. Design of Secure ECG-Based Biometric Authentication in Body Area Sensor Networks. Sensors, vol. 570-591, April 2016.

Fuzzy Logic Based Adaptive Hierarchical Scheduling for Periodic Real-Time Tasks. ACM Special Interest Group on Embedded Systems (SIGBED) Review, vol. 8-14, January 2016. Component-Based Synthesis of Embedded Systems using Satisfiability Modulo Theories. ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 49:1-49:27, September 2015. Adaptive Resource Synchronization In Hierarchical Real-Time Systems.

ACM Special Interest Group on Embedded Systems (SIGBED) Review, vol. 37-42, December 2014. A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems. KSII Transactions on Internet and Information Systems (TIIS), vol. 4242-4268, December 2014. Graph-Based Approaches to Placement of Processing Element Networks on FPGAs for Physical Model Simulation.

ACM Transactions on Reconfigurable Technology and Systems (TRETS), vol. 4, article 10, December 2014. Automatic Synthesis of Physical System Differential Equation Models to a Custom Network of General Processing Elements on FPGAs. ACM Transactions on Embedded Computing Systems (TECS), vol 13, no. 2, article 23, September 2013.

Synthesis of Networks of Custom Processing Elements for Real-Time Physical System Emulation. ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 22-42, March 2013. Vahid, and T.

A Custom FPGA Processor for Physical Model Ordinary Differential Equation Solving. IEEE Embedded Systems Letters, vol. 113-116, September 2011. Choudhuri, T. Deterministic Service Guarantees for NAND Flash using Partial Block Cleaning.

Academy Publisher Journal of Software (JSW), vol. 728-737, September 2009.

Optimizing Control Flow in Loops using Interval and Dependence Analysis. Springer Journal on Design Automation of Embedded Systems (DAES), vol. 193-221, September 2009. Virtual Microcontrollers.

ACM SIGBED Review, vol. 1, January 2009.

Synthesis of Time-Constrained Multitasking Embedded Software. ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 822-847, October 2006.

Expression Equivalence Checking using Interval Analysis. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 830-842, August 2006. Haghighat, A. Localization of Off-the-Shelf Mobile Devices Using Audible Sound: Architectures, Protocols and Performance Assessment. ACM Mobile Computing and Communications Review (MC2R), vol. 38-50, April 2006.