71 search results - page 11 / 15 » Symbolic Execution of Virtual Devices |
SBMF
2009
Springer
15 years 5 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...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
120
click to vote
ACMACE
2011
ACM
13 years 10 months ago
2011
ACM
Alternate Reality Games (ARGs) are interactive narrative experiences that engage the player by layering a fictional world over the real world. Mobile ARG stories are often geo-sp...
108
click to vote
W2GIS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A review is provided of some database and representation issues involved in the implementation of geographic information systems (GIS). The increasing popularity of web-b...
105
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: This paper describes techniques for accelerating the performance of the string set matching problem with particular emphasis on applications in computational proteomic...