TRACE

Results: 4341



#Item
1A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK  PrePost 2017

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-09-19 11:02:58
2What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2016-10-13 07:25:09
3Succinct Representation of Concurrent Trace Sets  ∗ Ashutosh Gupta

Succinct Representation of Concurrent Trace Sets ∗ Ashutosh Gupta

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
    4From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK  Abstract. Parametric runtime verification is the process of verifying properties of ex

    From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2016-07-20 12:50:18
    5Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

    Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2016-07-20 13:08:32
    6Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–520) PERIODS, CYCLES, AND L-FUNCTIONS: A RELATIVE TRACE FORMULA APPROACH Wei Zhang (张伟)

    Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–520) PERIODS, CYCLES, AND L-FUNCTIONS: A RELATIVE TRACE FORMULA APPROACH Wei Zhang (张伟)

    Add to Reading List

    Source URL: eta.impa.br

    Language: English - Date: 2018-07-25 13:17:43
    7M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

    M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2016-07-20 13:13:50
    8What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2

    What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2016-08-10 12:10:31
    91  Augmenting Survey and Experimental Designs with Digital Trace Data1 Jeffrey Boase University of Toronto

    1 Augmenting Survey and Experimental Designs with Digital Trace Data1 Jeffrey Boase University of Toronto

    Add to Reading List

    Source URL: individual.utoronto.ca

    Language: English - Date: 2017-09-21 13:37:50
    10

    PICKING UP THE POP by Andrea Trace Our appetite for the icons of the new millennium has never been larger or easier to indulge. We can bring the trappings of our favourite pop culture phenomena home to decorate with and

    Add to Reading List

    Source URL: www.andreatrace.com

    Language: English - Date: 2011-09-29 18:14:05