721 search results - page 48 / 145 » Stability for Effective Algebras |
183
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
FCT
2003
Springer
15 years 5 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
103
click to vote
CVPR
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
108
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
SIAMSC
2010
14 years 10 months ago
2010
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...