Energy Efficiency

SIMI is a proof-of-feasibility project that combines state-of-the-art satellite and radar data image processing with real-time data from ground solar stations in order to determine solar energy availability

Because electricity cannot be practically or economically stored in large quantities, the electricity generation and distribution system must match supply and demand on a minute-by-minute basis. Delivery of electricity for residential use has traditionally been done by matching the supply to the demand, with little or no control over the demand. This causes severe distortions in the system operation and economics when the demand hits unusually high peak values. When these peaks

This large National SCience Foundation Information Technology Research (NSF ITR) is an umbrella grant for many CITRIS activities, and supports both fundamental work in the above listed CITRIS technologies (rows) and driving applications (columns), as well as synergies among them.
The driving applications include
(1) boosting efficiency of energy production and consumption, and
(2) saving lives and property and establishing emergency response IT infrastructure in the wake of disasters, among others.

Model checking has become a successful verification technology for hardware, because it permits the fully automatic analysis of designs. For software verification, model checkers must be applied to finite abstractions of code. This requires suitable abstractions: if the abstraction is too coarse, the model checker fails to prove the desired property; if it is too fine, the model checker fails to terminate.

Two decades of relentless improvement in semiconductors, circuits, and software tools has created a set of dominant design styles for today's integrated circuits and systems. These circuit, system, and software styles comprise the design infrastructure for the discipline of microelectronics - the techniques we rely on to convert transistors into performance. This design infrastructure is now at risk. The radical and uncertain semiconductor technologies of tomorrow threaten to make obsolete many of today's most basic circuit design assumptions.

The Internet is one of the great technology success stories of the twentieth century, enabling greater access to information and provided new modes of communication among people and organizations. Unfortunately, the Internet's very success is now creating obstacles to innovation in the networking technology that lies at its core. The size and scope of the public Internet now make the introduction and deployment of new network services very difficult.

Cryptography is a fundamental building block for building information systems, and as we enter the so-called "information age" of global networks, ubiquitous computing devices, and electronic commerce, we can expect that the cryptography will become only more important with time.