Trace

Results: 4341



#Item
1I1 / Garbage collection

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
2Debugging / Logic in computer science / Runtime verification / Software optimization / Computing / Instrumentation / Tracing / Information technology management / Management

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
3

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
    4Temporal logic / Formal languages / Logic / Metalogic / Mathematical logic / Linear temporal logic / Mathematics / Model theory / Symbol / Computation tree logic / Interpretation / Well-formed formula

    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
    5Mathematics / Algebra / Theoretical computer science / Finite automata / Linear algebra / Finite-state transducer / Dynamic programming / Edit distance / Trace / Finite-state machine / Shortest path problem / Levenshtein distance

    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
    6Abstract algebra / Algebra / Mathematics / Automorphic forms / Algebraic geometry / Langlands program / Representation theory / Algebraic number theory / Wei Zhang / Artin L-function / Modular form / Waldspurger formula

    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
    7Mathematical logic / Logic / Theoretical computer science / Logic in computer science / Runtime verification / FO / Quantifier

    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
    8Computing / Open formats / Markup languages / Formal methods / Debugging / Logic in computer science / Runtime verification / Tracing / Comma-separated values / Exception handling / Database / Data logger

    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
    9Technology / Information and communications technology / Computing / New media / Online chat / Text messaging / Email / Mobile phone / Smartphone / Boase

    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
      UPDATE