Search Results

Refine your results

Description:: The performance of multithreaded programs is often difficult to understand and predict. Multiple threads use various locking operations, resulting in the parallel execution of some …
Year:: 2015
Contributor:: Tarvo, Alexander (creator); Reiss, Steven (Director); Cetintemel, Ugur (Reader); Fonseca, Rodrigo (Reader); Thereska, Eno (Reader); Brown University. Computer Science (sponsor)
Genre:: theses
Subject:: Program analysis; prediction; simulation; Performance; Modeling; Forecasting; Computer simulation
Language:: English
Collection:: Computer Science; Theses and Dissertations

Full Record

Description:: Most protocol analyses only address security properties. However, other properties are important and can increase our understanding of protocols, as well as aid in the …
Year:: 2008
Contributor:: McCarthy, Jay (creator); Krishnamurthi, Shriram (director); Guttman, Joshua (reader); Jannotti, John (reader); Lysyanskaya, Anna (reader); Ramsdell, John (reader); Brown University. Computer Science (sponsor)
Genre:: theses
Subject:: Program analysis; Cryptographic protocols; Strand spaces; Coq; Theorem proving
Language:: English
Collection:: Computer Science; Theses and Dissertations

Full Record