860 search results - page 41 / 172 » A Process Algebra Based Verification of a Production System |
CHARME
2001
Springer
13 years 11 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
PROFES
2005
Springer
14 years 1 months ago
2005
Springer
Organizations often encounter problems in the Product Integration process. The difficulties include finding errors at integration related to mismatch between the different componen...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
As the interest of the public for new forms of media grows, museums and theme parks select real time Virtual Reality productions as their presentation medium. Based on threedimens...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
- An adaptive watermarking method based on the human visual system model and the fuzzy inference system in wavelet domain is proposed. Fuzzy logic is used for data fusion and build...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...