1796 search results - page 209 / 360 » An Approach to Compositional Model Checking |
199
click to vote
ECCB
2008
IEEE
15 years 22 days ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
100
click to vote
IPL
2008
15 years 18 days ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
94
Voted
ACL
2010
14 years 10 months ago
2010
Lexicalized reordering models play a crucial role in phrase-based translation systems. They are usually learned from the word-aligned bilingual corpus by examining the reordering ...
108
click to vote
ICECCS
2005
IEEE
15 years 6 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
124
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...