Prolac--a language for protocol compilation

Prolac--a language for protocol compilation

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.

Bibliographic Details
Main Author:	Kohler, Eddie, 1973-
Other Authors:	M. Frans Kaashoek.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2009
Subjects:	Electrical Engineering and Computer Science
Online Access:	http://hdl.handle.net/1721.1/46476

Similar Items

A fast Prolac TCP for the real world
by: Montgomery, David Rogers, 1976-
Published: (2013)

Language and compiler support for stream programs
by: Thies, William Frederick, 1978-
Published: (2009)

Compiler-enforced immutability for the Java language
by: Birka, Adrian, 1980-
Published: (2014)

Language and compiler support for dyanmic code generation
by: Poletto, Massimiliano Antonio
Published: (2013)

A task communication language and compiler for the NuMesh
by: Cornez, Jason Steven
Published: (2006)

PetaBricks : a language and compiler for algorithmic choice
by: Ansel, Jason (Jason Andrew)
Published: (2010)

The Click modular router
by: Kohler, Eddie, 1973-
Published: (2014)

Compiler optimizations for an asynchronous stream-oriented programming language
by: Craig, Michael B
Published: (2009)

PENNY--a programming language and compiler for the context interchange project
by: Pena, Fortunato
Published: (2008)

Acore--the design of a core actor language and its compiler
by: Manning, Carl Roger
Published: (2005)

An extensible, object-oriented compiler for the Timeliner User Interface Language
by: Liu, Frank Tien-Fu, 1978-
Published: (2014)

Credible compilation
by: Marinov, Darko, 1976-
Published: (2014)

Collaborative compilation
by: Wagner, Benjamin R
Published: (2007)

An extension-oriented compiler
by: Cox, Russell Stensby
Published: (2009)

Towards a liquid compiler
by: Davis, Stephen Brooks
Published: (2006)

Sparse tensor algebra compilation
by: Kjølstad, Fredrik Berg.
Published: (2020)

Reptile : a distributed ILP compiler
by: Bratt, Ian (Ian R.)
Published: (2006)

Compilation to a queue-based architecture
by: Vandiver, Benjamin Mead, 1978-
Published: (2014)

SIFt : a compiler for streaming applications
by: Waingold, Elliot L. (Elliot Lee), 1977-
Published: (2014)

An optimizing C compiler for DSP architectures
by: Lin, Jeremy H. (Jeremy Huei), 1976-
Published: (2009)

Verified compilation of abstract network policies
by: Katz, Theodore(Theodore Robert)
Published: (2019)

Compilation techniques for short-vector instructions
by: Larsen, Samuel (Samuel Barton), 1975-
Published: (2007)

Compiling methods for the Fresh Breeze processor
by: Fonger, Curtis George
Published: (2010)

Compiling for coarse-grain reconfigurable architectures
by: Matsa, M. Morris E. (Moshe Morris Emanuel)
Published: (2008)

A technique for compilation to exposed memory hierarchy
by: Greenwald, Benjamin Eliot, 1975-
Published: (2014)

Implementation of a compiler for a stack machine in Java
by: Hui, Anthony Y., 1978-
Published: (2014)

Compiling and optimizing spreadsheets for FPGA and multicore execution
by: Hirsch, Amir
Published: (2009)

Compiling for parallel multithreaded computation on symmetric multiprocessors
by: Shaw, Andrew, 1968-
Published: (2009)

Evolutionary algorithms for compiler-enabled program autotuning
by: Pacula, Maciej
Published: (2011)

High level compilation for gate reconfigurable architectures
by: Babb, Jonathan William
Published: (2005)

Compilation using correct-by-construction program synthesis
by: Pit-Claudel, Clément
Published: (2017)

Compilation-based prefetching for memory latency tolerance
by: Selvidge, Charles William
Published: (2005)

Execution model and optimizing compilation for execution migration
by: Lebedev, Ilia Andreevich
Published: (2014)

Compiling Gallina to go for the FSCQ file system
by: Ziegler, Daniel (Daniel M.)
Published: (2018)

Efficient memory and GPU operations for Tiramisu compiler
by: Akkas, Abdurrahman.
Published: (2019)

Automatic profiler-driven probabilistic compiler optimization
by: Coore, Daniel
Published: (2007)

Sparse tensor transpositions in the tensor algebra compiler
by: Mueller, Suzanne A.
Published: (2021)

Unfield sparse formats for tensor algebra compilers
by: Chou, Stephen (Computer scientist) Massachusetts Institute of Technology
Published: (2018)

Compiling functional reactive macroprograms for sensor networks
by: Newton, Ryan Rhodes, 1980-
Published: (2006)

Improved handling of the decoding operation in the Presto compiler
by: Dong, Wenyan, 1980-
Published: (2006)