56 search results - page 4 / 12 » Completely verifying memory consistency of test program exec... |
127
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
145
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
124
Voted
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
148
Voted
RV
2010
Springer
15 years 2 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
136
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Based in part on observations about the incremental nature of most state changes in biological systems, we introduce the idea of Memory with Memory in Genetic Programming (GP), wh...