1833 search results - page 163 / 367 » Mechanized Verification with Sharing |
129
click to vote
FAST
2004
15 years 7 months ago
2004
This paper presents a distributed mobile storage system designed for storage elements connected by a network of non-uniform quality. Flexible data placement is crucial, and it lea...
178
click to vote
CIIA
2009
15 years 7 months ago
2009
This paper describes our experience in processor/threads synchronization using the POSIX API standard for MPSoC virtual applications prototyping. Spin-Lock (Binary Semaphore) imple...
151
click to vote
JSYML
2002
15 years 6 months ago
2002
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
160
click to vote
TPDS
1998
15 years 6 months ago
1998
—This paper presents a cohesive, practical load balancing framework that improves upon existing strategies. These techniques are portable to a broad range of prevalent architectu...
219
click to vote
NOMS
2010
IEEE
15 years 4 months ago
2010
IEEE
—Cooperation between intrusion detection systems (IDSs) allows collective information and experience from a network of IDSs to be shared to improve the accuracy of detection. A c...