3823 search results - page 144 / 765 » Stability of Hybrid Systems |
111
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
87
Voted
ICICIC
2006
IEEE
15 years 6 months ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
91
Voted
SWAT
1994
Springer
15 years 4 months ago
1994
Springer
Protocols which can tolerate any number of processors failing by ceasing operation for an unbounded number of steps and resuming operation (with or) without knowing that they were...
128
Voted
EMNLP
2004
15 years 2 months ago
2004
We present a new approach to intrinsic summary evaluation, based on initial experiments in van Halteren and Teufel (2003), which combines two novel aspects: comparison of informat...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In this paper, we present the first snap-stabilizing message forwarding protocol that uses a number of buffers per node being independent of any global parameter, that is 4 buffers...