Taxonomic Search: dan OR huttenlocher
Results 1 - 10 of 125
The objective of this research is to develop truly intelligent, automated driving through a new paradigm that tightly integrates probabilistic perception and deterministic planning in a formal, verifiable framework.
This thread is about new articles about the Wyvern project. Wyvern is a new programming language designed to help developers be highly productive when writing high-assurance applications.The Wyvern project is supported by the National Security Agency lablet at Carnegie Mellon University.
Global City Teams Challenge Tech Jam
February 12-13, 2015 | NIST Campus - Gaithersburg, MD
Dan Geer, Chief Information Security Officer at In-Q-Tel gave the keynote address at the NSF Secure and Trustworthy Cyberspace Principal Investigators' Meeting held January 5-7, 2015 in Arlington, Virginia. Read the complete text version of the keynote address below.
Dan Geer, NSF, 6 January 15
20th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and
compilers, operating systems and networking, as well as applications and user interfaces. The 2015 conference will be held in Istanbul, Turkey, a city where two continents meet on the blue waters of the Bosphorus to offer an abundance of unique natural, historical, cultural, and culinary experiences.
Highlights from the Tech Jam's Agenda
Ignite-style presentations from 20+ existing GCTC Action Clusters including: