822 search results - page 121 / 165 » Contention in shared memory algorithms |
111
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
125
click to vote
JUCS
2008
15 years 2 months ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
196
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
With the exponential growth of biological sequence databases, it has become critical to develop effective techniques for storing, querying, and analyzing these massive data. Suffi...
113
Voted
APCSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. Dynamic data redistribution enhances data locality and improves algorithm performance for numerous scientific problems on distributed memory multi-computers systems. Prev...
114
Voted
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...