678 search results - page 60 / 136 » The Theory of Weak Stabilization |
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
80
Voted
CAV
1999
Springer
15 years 4 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
110
click to vote
CLOR
2006
15 years 4 months ago
2006
Many approaches to object recognition are founded on probability theory, and can be broadly characterized as either generative or discriminative according to whether or not the dis...
99
Voted
CONCUR
1995
Springer
15 years 4 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
82
Voted
AMAI
2006
Springer
15 years 18 days ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...