3765 search results - page 601 / 753 » Formal Methods for Systems Engineering Behavior Models |
152
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
161
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
161
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
177
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The asymptotic behavior of stochastic gradient algorithms is studied. Relying on some results of differential geometry (Lojasiewicz gradient inequality), the almost sure pointconve...
127
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...