1116 search results - page 204 / 224 » Applying Predicate Abstraction to Abstract State Machines |
163
click to vote
ECOOP
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
ICCSA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this work, we develop novel file system, FRASH, for byteaddressable NVRAM (FRAM[1]) and NAND Flash device. Byte addressable NVRAM and NAND Flash is typified by the DRA...
121
click to vote
ASE
2011
14 years 2 months ago
2011
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
106
click to vote
UPP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This is just a glimpse to the fruitful and constant preoccupation of computer science to try to get inspired by biology, at various levels. Besides briefly discussing th...
SOFTWARE
2002
14 years 10 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...