Research and Tech Reports - Computer Science

Recent AdditionsRSS feed

  • Liu, Si; Ölveczky, Peter Csaba; Meseguer, José (2015)
    The modeling and analysis of mobile ad hoc networks MANETs pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni- and bidirectionality can interact in unforeseen ...

    application/pdf

    application/pdfPDF (988kB)
  • Liu, Si; Ölveczky, Peter Csaba; Meseguer, José (2017)
    Mobile ad hoc networks (MANETs) are increasingly popular and deployed in a wide range of environments. However, it is challenging to formally analyze a MANET, both because there are few reasonably accurate formal models ...

    application/pdf

    application/pdfPDF (945kB)
  • Liu, Si; Ölveczky, Peter Csaba; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José (2017)
    In this paper we explore and extend the design space of the recent RAMP (Read Atomic Multi-Partition) transaction system for large-scale partitioned data stores. Arriving at a mature distributed system design through ...

    application/pdf

    application/pdfPDF (607kB)
  • Liu, Si; Ölveczky, Peter Csaba; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José (2016)
    To cope with ever-increasing data sets, distributed data stores partition their data across servers. However, real-world systems usually do not provide useful transactional semantics for operations accessing multiple ...

    application/pdf

    application/pdfPDF (444kB)
  • Bhatti, Aadil Z (2017-05-11)
    Today, static websites and dynamic web applications such as JSFiddle[3] exist to teach programming through the use of static code snippets. We present a project[8] which seeks to transform this paradigm by turning ...

    application/pdf

    application/pdfPDF (299kB)

Collection Statistics