105 search results - page 17 / 21 » Scalable shared memory LTL model checking |
106
click to vote
TPDS
2010
14 years 10 months ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
118
Voted
CF
2010
ACM
15 years 3 months ago
2010
ACM
The Message Passing Interface (MPI) is one of the most widely used programming models for parallel computing. However, the amount of memory available to an MPI process is limited ...
107
click to vote
ICCV
2003
IEEE
15 years 4 months ago
2003
IEEE
Relevance feedback (RF) is an interactive process which refines the retrievals by utilizing user’s feedback history. Most researchers strive to develop new RF techniques and ign...
116
click to vote
HPCA
1998
IEEE
15 years 3 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
ISCA
2009
IEEE
15 years 6 months ago
2009
IEEE
While microprocessor designers turn to multicore architectures to sustain performance expectations, the dramatic increase in parallelism of such architectures will put substantial...