| Document Date: 2014-08-13 19:26:58
Open Document File Size: 182,38 KBShare Result on Facebook
City Portofino / Portland / Cambridge / New York / / Company Analyzer / CNF / MIT Press / Intel / / Country Italy / / Currency pence / USD / / / Facility Massachusetts Institute of Technology / Greg Dennis Massachusetts Institute of Technology Computer Science / / IndustryTerm partial solution / automated tools / depth-first search / web application / domain-specific applications / leader election algorithm / partial solutions / search problems / / Organization Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge / Massachusetts Institute of Technology / Stanford / / Person Greg Dennis / / Position Colonel / editor / Programming / course scheduler / scheduler / Ring Leader / / Product Cambridge / / ProgrammingLanguage Java / / ProvinceOrState Maine / New York / Massachusetts / / Technology RAM / ring leader election algorithm / Java / API / same underlying technology / leader election algorithm / CAD / / URL http /
SocialTag |
Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,