359 search results - page 25 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
102
Voted
SC
2004
ACM
15 years 8 months ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
153
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
96
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
113
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
111
Voted
ASM
2004
ASM
15 years 8 months ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...