774 search results - page 86 / 155 » Markov incremental constructions |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
DEXAW
1999
IEEE
14 years 1 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
CAV
1998
Springer
14 years 1 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
WETICE
1996
IEEE
14 years 1 months ago
1996
IEEE
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
VLDB
1990
ACM
14 years 1 months ago
1990
ACM
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...