Profile photo of Siddharth Garg
Siddharth Garg, Ph.D.
PRECISE Seminar: Who Stole my (Semiconductor) Chip?
March 16, 2016

For economic reasons, the design and fabrication of semiconductor ICs is increasingly outsourced. This comes at the expense of trust. An untrusted entity, for instance a malicious designer or semiconductor foundry could pirate the design, or worse, maliciously modify it to leak secret information from the chip or sabotage its functionality. In addition, several companies now provide IC reverse engineering services that can reconstruct a manufactured chip's internal design details, thus compromising the designer's IP. Reverse engineering attack's on embedded devices and smart-cards have…

Profile photo of Octav Chipara
Octav Chipara, Ph.D.
PRECISE Seminar: Power Management for Mobile Sensing Applications
February 24, 2016

Energy-efficiency is a critical concern in continuously-running mobile applications, such as those for health and context monitoring. An attractive approach to saving energy in such applications is to defer the execution of delay-tolerant op- erations until a time when they would consume less energy. However, introducing delays to save power may have a detri- mental impact on the user experience. To address this prob- lem, we present Tempus, a new approach to managing the trade-off between energy savings and delay. Tempus saves power by enabling programmers to annotate power-hungry…

Profile photo of Pierluigi Nuzzo
Pierluigi Nuzzo, Ph.D.
PRECISE Seminar: Compositional Design of Cyber-Physical Systems Using Contracts
December 9, 2015

The realization of complex cyber-physical systems is creating design and verification challenges that will soon become insurmountable with today’s engineering practices. While model-based design tools are already facilitating several design tasks, harnessing the complexity of the Internet-of-Things scenario is only deemed possible within a unifying methodology. This methodology should help interconnect different tools, possibly operating on different system representations, to enable scalable design space exploration and early detection of requirement inconsistencies.

In this talk…

Profile photo of Jason H Moore
Jason H. Moore, Ph.D.
PRECISE Seminar: Artificial Intelligence Strategies for the Analysis of Biomedical Big Data
November 25, 2015

A central goal of artificial intelligence (AI) is to develop algorithms and software that can solve complex problems as a human would. AI is poised to have a significant impact on making discoveries in biomedical big data given the availability of powerful algorithms, visualization methods, and high-performance computing. We introduce here the Exploratory Modeling for Extracting Relationships using Genetic and Evolutionary Navigation Techniques (EMERGENT) algorithm as an AI approach for the large-scale genetic analysis of common human diseases. EMERGENT builds models of genetic variation…

Profile photo of Jie Wu
Jie Wu, Ph.D.
PRECISE Seminar: Collaborative Mobile Charging and Coverage
November 18, 2015

The limited battery capacity of sensor nodes has become the biggest impediment to wireless sensor network (WSN) applications over the years.  Recent breakthroughs in wireless energy transfer, based on rechargeable lithium batteries, provide a promising application of mobile vehicles.  These mobile vehicles act as mobile chargers to transfer energy wirelessly to static sensors in an efficient way. In this talk, we discuss some of our recent results on several charging and coverage problems involving multiple mobile chargers. In collaborative mobile charging, a fixed charging location,…