Searching for "A generalization of traces." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

55 documents found, showing 1 through 10. Next 10 →

A general trace query mechanism based on Prolog
by Mireille Ducassé
…A general trace query mechanism based on Prolog ? Mireille Ducass'e European Computer…
Cited by 1 (0 self) – Add To MetaCart

Scaled trace forms of central simple algebras
by D. W. Lewis — 1996 — Math.Z
… of quadratic forms. In this article we examine a generalization of trace forms to “scaled trace forms” which…
Cited by 3 (0 self) – Add To MetaCart

STEP: A Framework for the Efficient Encoding of General Trace Data
by Rhodes Brown, Karel Driesen, David Eng, Laurie Hendren, John Jorgensen, Clark Verbrugge, Qin Wang — 2002 — In Proceedings of the 2002 ACM SIGPLANSIGSOFT Workshop on Program Anaylsis for Software Tools and Engineering (PASTE
… for the efficient encoding of generalized program trace data. 1 Our approach is a departure from specialized trace…
Cited by 8 (1 self) – Add To MetaCart

Defining Authentication in a Trace Model
by Cas Cremers, Sjouke Mauw, Erik de Vink, C. J. F. Cremers, S. Mauw — 2003
… Abstract. In this paper we define a general trace model for security protocols which allows to reason about…
Cited by 12 (7 self) – Add To MetaCart

Trace formulae for quantum graphs
by Jens Bolte, Sebastian Endres — 2007
… density in terms of sums over periodic orbits. Finally, a general trace formula for any self adjoint…
Add To MetaCart

Absolute Summability Of The Trace Relation For Certain Schrödinger Operators
by F. Gesztesy, H. Holden, B. Simon — 1995 — Commun. Math. Phys
…. Holden 2 , and B. Simon 3 Abstract. A recently established general trace formula for one…
Cited by 9 (7 self) – Add To MetaCart

Executable Conceptual Modelsin Information Systems Engineering
by unknown authors
…. These may beaccessed directly using a trace query language, which provides different views into the trace. A…
Add To MetaCart

A Mixed Approach and a Distribution Free Multiple Imputation Technique for the Estimation
by Martin Spiess, Ferdinand Keller
… invariant variable. Furthermore, a generalization of the squared trace correlation (R 2…
Add To MetaCart

STEP: A Framework for the Efficient Encoding of General
by Trace Data Rhodes, Rhodes Brown, Karel Driesen, David Eng, Laurie Hendren, John Jorgensen, Clark Verbrugge, Qin Wang — 2002 — In Proceedings of the 2002 ACM SIGPLANSIGSOFT Workshop on Program Anaylsis for Software Tools and Engineering (PASTE
…STEP: A Framework for the Efficient Encoding of General Trace Data # Rhodes Brown, Karel Driesen…
Add To MetaCart

Discovery of Design Methodologies
by Cirrus Shakeri, David C. Brown, Mohammad N. Noori — 1999
… generalized trace. A generalized trace covers all the projects that followed each of the traces incorporated…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB