641 search results - page 90 / 129 » Modernizing Plan-Composition Studies |
108
click to vote
SBMF
2009
Springer
15 years 8 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...
207
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
In many modern data management settings, data is queried from a central node or nodes, but is stored at remote sources. In such a setting it is common to perform "pushstyle&qu...
109
click to vote
ISPASS
2009
IEEE
15 years 8 months ago
2009
IEEE
Many workload characterization studies depend on accurate measurements of the cost of executing a piece of code. Often these measurements are conducted using infrastructures to ac...
114
click to vote
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
Translation Lookaside Buffers (TLBs) are a staple in modern computer systems and have a significant impact on overall system performance. Numerous prior studies have addressed TL...
111
click to vote
EMISA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: Modern enterprises face the challenge to survive in an ever changing environment. One commonly accepted means to address this challenge and further enhance survivability ...