Sciweavers

9521 search results - page 250 / 1905
» Compiling with continuations, continued
Sort
View
78
Voted
IJBC
2008
61views more  IJBC 2008»
15 years 3 months ago
Continuation of Connecting orbits in 3D-ODES (I): Point-to-Cycle Connections
Eusebius J. Doedel, B. W. Kooi, G. A. K. van Voorn...
ENTCS
2006
119views more  ENTCS 2006»
15 years 3 months ago
Trace Machines for Observing Continuous-Time Markov Chains
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...
EOR
2006
48views more  EOR 2006»
15 years 3 months ago
Maintenance of continuously monitored degrading systems
Haitao Liao, Elsayed A. Elsayed, Ling-Yau Chan