MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The U-Interpreter." – sorted by Relevance.

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

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

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

ATOM

Resource Management for the Tagged Token Dataflow Architecture
by Ivid E. Cu!ler, David E. Culler, David E. Culler — 1985
… on the U.interpreter model of dataflow computation. It captures the essential execution mechanism of the U.interpreter…
Add To MetaCart

Stability Of A Resonant System Of Conservation Laws Modeling Polymer Flow With Gravitation
by Christian Klingenberg, Nils, NILS HENRIK RISEBRO, Abstract We Prove L — 1999 — J. Differential Equations
… u " x = 0 i a u j t \Gamma ` auf ` a; 1 u " x = 0: (1.2) If 1=u is interpreted…
Cited by 11 (5 self) – Add To MetaCart

SAHARA Semi-Automatic Help for Aerial Region Analysis. System description and final evaluation
by System Description, Final Evaluation (u, P. Druyts, W. Mees, D. Borghys, Y Ouaghli, C. Perneel, M. Acheroy, J. L. Valero
… to help the interpretation by correcting errors, stopping the research in non-promising areas, etc. (U…
Add To MetaCart

Synchronization Trees And Fairness: A Case Study
by Chrysafis Hartonas, Marta Kwiatkowska — 1995 — Theory and Formal Methods
… admits u if and only if u is the sequence of action labels of some sequence in the interpretation of P…
Cited by 4 (4 self) – Add To MetaCart

A Comparison of HPSG and LFG
by Valia Kordoni, Frank Richter — 2000
… = hG; v; S; A; F ; R;ARi, for each interpretation I = hU; S; A; Ri, b S is the total function from U…
Add To MetaCart

\Sigma\Sigma\Sigma
by Laboratories For Computer
… isomorphism# logical formula\Gamma :## computational domain\Sigma type## interpret# # ## #u#. ff…
Add To MetaCart

Dynamic Updates of Non-Monotonic Knowledge Bases
by J. J. Alferes, Evora, J. A. Leite, L.M. Pereira, A. I. Centre, A. I. Centre, T.C. Przymusinski, T. C. Przymusinski — 2000
… not just depend on the semantics of the knowledge bases DB and U; as it is the case with interpretation…
Cited by 98 (59 self) – Add To MetaCart

Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract)
by J.M.E. Hyland, C. -h. L. Ong — 1993 — Typed Lambda Calculi and Applications, LNCS 664
… the interpretation of ! , the pure simply-typed -calculus in a particular (class of) ccc PER(U), the category…
Cited by 13 (1 self) – Add To MetaCart

Dynamic Message Sequence Charts
by Martin Leucker Madhusudan, Martin Leucker, Supratik Mukhopadhyay — 2002 — In Proceedings of the 22nd Conference on Bibliography 133 Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), Kanpur, India
… in the MSC associated with the sub-term. Also, (u, U) # # i# in the interpretation of u in the sub…
Cited by 1 (0 self) – Add To MetaCart

Topo-distance: Measuring the Difference between Spatial Patterns
by Marco Aiello
…. The framework uses a multi-modal language S4u interpreted on topological spaces (rather than Kripke semantics…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB