Browse Whitepapers - Computer Science by Title

  • Exascale Research: Preparing for the Post-Moore Era 
    Snir, Marc; Gropp, William D.; Kogge, Peter (2011-06-19)
    (i) Achieving exascale performance at the end of this decade or the beginning of next decade is essential for progress in science – including progress on problems of major societal impact (such as weather or environmental ...

    application/pdf

    application/pdfPDF (198kB)
  • Exascale Research: Preparing for the Post-Moore Era 
    Snir, Marc; Gropp, William D.; Kogge, Peter (2011-06-19)
    • Achieving exascale performance at the end of this decade or the beginning of next decade is essential for progress in science – including progress on problems of major societal impact (such as weather or environmental ...

    application/pdf

    application/pdfPDF (198kB)
  • IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics 
    Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph (2018-07-25)
    Most languages are given an informal semantics until they are implemented, so the formal semantics comes later. Consequently, there are usually inconsistencies among the informal semantics, the implementation, and the ...

    application/pdf

    application/pdfPDF (835kB)
  • IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics 
    Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph (2018-07-25)
    Most languages are given an informal semantics until they are implemented, so the formal semantics comes later. Consequently, there are usually inconsistencies among the informal semantics, the implementation, and the ...

    application/pdf

    application/pdfPDF (835kB)
  • KEVM: A Complete Semantics of the Ethereum Virtual Machine 
    Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore (2017-08-01)
    A developing field of interest for the distributed systems and applied cryptography community is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One ...

    application/pdf

    application/pdfPDF (426kB)
  • A Network Congestion control Protocol (NCP) 
    Kassa, Debessay Fesehaye; Nahrstedt, Klara; Caesar, Matthew (2010-07-11)
    The transmission control protocol (TCP) which is the dominant congestion control protocol at the transport layer is proved to have many performance problems with the growth of the Internet. TCP for instance results in ...

    application/pdf

    application/pdfPDF (276kB)
  • A Note On Constructing Domain Specific Stop Word List 
    Ganesan, Kavita (2014)

    application/pdf

    application/pdfPDF (468kB)
  • ROUGE 2.0: Updated and Improved Measures for Evaluation of Summarization Tasks 
    Ganesan, Kavita (2015-03)
    Evaluation of summarization tasks is extremely crucial to determining the quality of machine generated summaries. Over the last decade, ROUGE has become the standard automatic evaluation measure for evaluating summarization ...

    application/pdf

    application/pdfPDF (164kB)