5525 search results - page 211 / 1105 » Verification of Model Transformations |
138
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
110
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...
124
Voted
IWANN
2001
Springer
15 years 8 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
125
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
137
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...