<--- Back to Details
First PageDocument Content
Northwestern University / Robert R. McCormick School of Engineering and Applied Science
Date: 2014-06-27 18:15:36
Northwestern University
Robert R. McCormick School of Engineering and Applied Science

Add to Reading List

Source URL: eecs.northwestern.edu

Download Document from Source Website

File Size: 181,10 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / Functional languages / Profilers / Control flow / Profiling / Software optimization / Racket / Arc / Stack / Matthias Felleisen

Feature-Specific Profiling LEIF ANDERSEN, PLT @ Northeastern University, United States of America VINCENT ST-AMOUR, PLT @ Northwestern University, United States of America JAN VITEK, Northeastern University and Czech Tec

DocID: 1xVOJ - View Document

Domain name system / Internet / Computing / Network architecture / Extension mechanisms for DNS / Name server / OpenDNS / DNS hijacking / Comparison of DNS server software

DNS-sly: Avoiding Censorship through Network Complexity Qurat-Ul-Ann Danyal Akbar Northwestern University Marcel Flores Northwestern University

DocID: 1xVDj - View Document

Computer programming / Software engineering / Type theory / Computing / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

DocID: 1xUmF - View Document

Computer programming / Software engineering / Type theory / Computing / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

DocID: 1xUff - View Document

International relations / Global politics / United Nations peacekeeping / Peacekeeping / Structure / Center on International Cooperation / United Nations / Common Security and Defence Policy / Humanitarian intervention / African Union

Marina E. Henke Ph.D. Northwestern University Scott Hall, 601 University Pl., Evanston, IL, www.marinahenke.com

DocID: 1xTxu - View Document