Browse Whitepapers - Computer Science by Title

  • 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)
  • 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)
  • Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Rosu, 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)
  • Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Rosu, 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)
  • Everett Hildenbrandt; Manasvi Saxena; Xiaoran Zhu; Nishant Rodrigues; Philip Daian; Dwight Guth; Grigore Rosu (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)
  • 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)
  • application/pdf

    application/pdfPDF (468kB)
  • Kavita Ganesan (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)