Search Results

19021 search results found

February 23, 2012

Center for Sustainability Science and Strategy

The Future of Ecosystems and Extremes: Using Diverse Environmental Data Sets in Support of Regional to Global Earth-System Models and Predictions

Principal Investigator C Schlosser
February 18, 2014

MIT Sloan School of Management

Advanced Mixed Integer Programming Formulations

Principal Investigator Juan Pablo Vielma Centeno
February 28, 2012

Secure Cloud Computing Systems
February 28, 2012

Program Verification for Secure Mobile Applications
February 28, 2012

Eliminating Vulnerabilities in Java Applications
February 28, 2012

Eliminating Vulnerabilities in Stripped x86 and x64 Binaries
February 28, 2012

Department of Electrical Engineering and Computer Science

Bedrock: A Coq Library for Verified Low-Level Programming

Principal Investigator Adam Chlipala
February 28, 2012

Department of Electrical Engineering and Computer Science

Ur/Web: The Ur Programming Language Family

Principal Investigator Adam Chlipala
February 28, 2012

Department of Electrical Engineering and Computer Science

Networks@MIT (NETMIT)

Principal Investigator Dina Katabi
February 28, 2012

Department of Electrical Engineering and Computer Science

IMD Shield: Securing Implantable Medical Devices

Principal Investigator Dina Katabi