MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Termination is Timing." – sorted by Relevance.

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

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

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

ATOM

Termination in Timed Process Algebra
by J.C.M. Baeten, M.A. Reniers — 2000 — Formal Aspects of Computing
…Termination in Timed Process Algebra J.C.M. Baeten M.A. Reniers Department of Mathematics…
Cited by 155 (25 self) – Add To MetaCart

The Recombinant History Apparatus Presents: Terminal Time
by Steffi Domike — 2003 — In M. Mateas and P. Sengers (Eds.), Narrative Intelligence
…The Recombinant History Apparatus Presents: Terminal Time Introduction Steffi Domike Communication…
Cited by 8 (4 self) – Add To MetaCart

Reniers. Timed process algebra (with a focus on explicit termination and relative-timing
by J. C. M. Baeten, M. A. Reniers — 2004 — Proceedings of the International School on Formal Methods for the Design of Real-Time Systems (SFM-RT’04), volume 3185 of Lecture Notes in Computer Science
…Timed Process Algebra (with a Focus on Explicit Termination and Relative-Timing) J.C.M. Baeten…
Cited by 3 (1 self) – Add To MetaCart

Timing the untimed: Terminating successfully while being conservative
by J. C. M. Baeten, M. R. Mousavi, M. A. Reniers — 2005 — In Middeldorp et al
…Timing the Untimed: Terminating Successfully while Being Conservative J. C. M. Baeten, M…
Cited by 3 (0 self) – Add To MetaCart

Feasible reactivity for synchronous cooperative threads
by Roberto M. Amadio, Université De Paris, Frédéric Dabrowski — 2006 — In Proceedings EXPRESS’05, 2005. Revised version in ENTCS 154, Issue 3
… develop static analysis methods to guarantee that each instant terminates in time polynomial in the size…
Cited by 5 (0 self) – Add To MetaCart

Reasoning about real-time repetitions: Terminating and nonterminating
by Ian Hayes — 2002 — Science of Computer Programming, 43(2–3):161–192, May/June
…Reasoning about Real-Time Repetitions: Terminating and Nonterminating Abstract Ian Hayes School…
Cited by 1 (0 self) – Add To MetaCart

On the Analysis of Stochastic Divide and Conquer Algorithms.
by Uwe Rösler, Christian-albrechts-universitat Zu Kiel, Ludewig-meyn Strasse — 1999
… algorithm on a lower level. After a finite time the algorithm terminates. The termination time may depend…
Cited by 34 (1 self) – Add To MetaCart

Stochastic Partial Differential Equations With a Quasi-Periodic Boundary Condition
by Nikolai Dokuchaev June
… quasiperiodic boundary condition which connects the solution at initial time and at terminal time. For a special…
Add To MetaCart

Impact of a Failure Detection Mechanism on the Performance of Consensus
by Nicole Sergent, Xavier Defago, Andre Schiper, Nicole Sergent Ý — 2001
… detectors, and analyze the impact on its termination time of various implementations of failure detectors…
Cited by 11 (6 self) – Add To MetaCart

Dynamic programming for minimum Steiner trees
by B. Fuchs, W. Kern, D. Mölle, S. Richter, P. Rossmanith, X. Wang — 2006 — Theory Comput Syst
… the minimum Steiner tree problem on graphs with k terminals in time O ∗ (c k ) for any c > 2. This improves…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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