1222 search results - page 148 / 245 » Verifying a File System Implementation |
123
Voted
ICADL
2003
Springer
15 years 7 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
152
Voted
LISA
2008
15 years 4 months ago
2008
Application problem diagnosis in complex enterprise environments is a challenging problem, and contributes significantly to the growth in IT management costs. While application pr...
120
click to vote
USENIX
2001
15 years 4 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
118
Voted
WDAG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
126
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Group communications are commonly used in parallel and distributed environment. However, existing migration mechanisms do not support group communications. This weakness prevents ...