Browse College of Engineering by Author "Șerbănuță, Traian Florin"

  • Șerbănuță, Traian Florin; Rosu, Grigore (2010-09-22)
    Term rewriting proved to be a simple, uniform and powerful computational paradigm. Rewrite rules independently match and apply anywhere, unconstrained by the context. Rewriting is particularly appealing for defining ...

    application/pdf

    application/pdfPDF (755kB)
  • Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore (2010-09-22)
    This paper shows that it is possible to build a theoretically maximal and sound causal model for concurrent computations from a given execution trace. For an observed execution, the proposed model comprises all consistent ...

    application/pdf

    application/pdfPDF (489kB)
  • Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore (2011-10-14)
    This paper shows that it is possible to build a maximal and sound causal model for concurrent computations from a given execution trace. It is sound, in the sense that any program which can generate a trace can also ...

    application/pdf

    application/pdfPDF (590kB)