903 search results - page 139 / 181 » Completeness Results for Memory Logics |
179
click to vote
ICMCS
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper presents a novel approach to particle filtering which minimizes the total tracking distortion by considering dynamic variance of proposal density and adaptive number o...
170
click to vote
ICPP
2006
IEEE
16 years 10 days ago
2006
IEEE
RNA pseudoknot prediction is an algorithm for RNA sequence search and alignment. An important building block towards pseudoknot prediction is RNA secondary structure prediction. T...
152
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
The HPC Challenge (HPCC) benchmark suite and the Intel MPI Benchmark (IMB) are used to compare and evaluate the combined performance of processor, memory subsystem and interconnec...
170
click to vote
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...
139
click to vote
PODC
2005
ACM
15 years 12 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...