9832 search results - page 1918 / 1967 » An Object Model for Multiprogramming |
148
Voted
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
130
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
132
Voted
SACMAT
2005
ACM
15 years 8 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
140
click to vote
SIGMETRICS
2005
ACM
15 years 8 months ago
2005
ACM
I/O consolidation is a growing trend in production environments due to the increasing complexity in tuning and managing storage systems. A consequence of this trend is the need to...
150
click to vote
SIGMOD
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we propose new graph-based data structure and indexing to organize and retrieve video data. Several researches have shown that a graph can be a better candidate for...