2875 search results - page 27 / 575 » Model checking agentspeak |
342
click to vote
DAC
2012
ACM
13 years 4 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
120
click to vote
OTM
2010
Springer
15 years 22 days ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
137
Voted
BCS
2008
15 years 3 months ago
2008
Parity games underlie the model checking problem for the modal
110
click to vote
JCS
2002
15 years 2 months ago
2002
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
117
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...