105 search results - page 12 / 21 » Scalable shared memory LTL model checking |
112
click to vote
HPCA
1997
IEEE
15 years 3 months ago
1997
IEEE
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...
88
Voted
ICDCS
1996
IEEE
15 years 3 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
HOTI
2008
IEEE
15 years 6 months ago
2008
IEEE
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
90
Voted
HPCC
2009
Springer
15 years 3 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
111
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...