2836 search results - page 322 / 568 » Model Checking for Software Architectures |
146
Voted
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
137
Voted
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
148
Voted
LCPC
1999
Springer
15 years 9 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
148
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
166
click to vote
MTV
2006
IEEE
15 years 11 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...