Browse Whitepapers - Computer Science by Title

  • 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)
  • 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)
  • 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)
  • 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)
  • 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)