1833 search results - page 86 / 367 » Mechanized Verification with Sharing |
96
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
Organisations increasingly use the Internet to offer their own services and to utilise the services of others. This naturally leads to information sharing across organisational bo...
116
Voted
HPCA
1996
IEEE
15 years 5 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
127
Voted
INFORMATICASI
2010
14 years 10 months ago
2010
Research in privacy-preserving data publishing has revealed the necessity of accounting for an adversary's background knowledge when reasoning about the protection afforded b...
93
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
— Heterogeneous Chip Multiprocessors (HMPs), such as the Cell Broadband Engine, offer a new design optimization opportunity by allowing designers to provide accelerators for appl...
96
Voted
DDECS
2007
IEEE
15 years 7 months ago
2007
IEEE
1-The increasing cost for System-on-Chip (SOC) testing is mainly due to the huge test data volumes that lead to long test application time and require large automatic test equipmen...