1833 search results - page 52 / 367 » Mechanized Verification with Sharing |
197
Voted
IJSEKE
2011
14 years 9 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
181
click to vote
ESTIMEDIA
2007
Springer
16 years 7 days ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
167
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
192
Voted
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
196
Voted
WISE
2006
Springer
16 years 2 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...