3082 search results - page 112 / 617 » Deviation Analysis: A New Use of Model Checking |
205
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
173
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
204
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
160
click to vote
ISCAS
2006
IEEE
16 years 10 days ago
2006
IEEE
— There are many kinds of optimization techniques for designing high-performance RF circuits. In this paper, we propose a new frequency-domain Spice-oriented optimization algorit...
196
click to vote
FMICS
2007
Springer
16 years 14 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...