1116 search results - page 204 / 224 » Applying Predicate Abstraction to Abstract State Machines |
183
Voted
ECOOP
2011
Springer
14 years 14 days 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...
100
Voted
ICCSA
2007
Springer
15 years 6 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...
137
click to vote
ASE
2011
14 years 4 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...
124
Voted
UPP
2004
Springer
15 years 6 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
15 years 10 days 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...