1008 search results - page 109 / 202 » Canonicity! |
107
Voted
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
133
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
136
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Executing parallel applications across distributed networks introduces the problem of fault tolerance. A viable solution for fault tolerance must keep overhead manageable and not c...
141
Voted
RTA
2000
Springer
15 years 7 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
121
Voted
ISSAC
1995
Springer
15 years 7 months ago
1995
Springer
An improved method for expressing the greatest common divisor of n numbers as an integer linear combination of the numbers is presented and analyzed, both theoretically and practi...