6833 search results - page 1101 / 1367 » Some two-character sets |
162
click to vote
MICRO
2006
IEEE
16 years 20 days ago
2006
IEEE
The large working sets of commercial and scientific workloads stress the L2 caches of Chip Multiprocessors (CMPs). Some CMPs use a shared L2 cache to maximize the on-chip cache c...
173
click to vote
SYNASC
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
166
click to vote
IWPSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Software evolution research has recently focused on new development paradigms, studying whether laws found in more classic development environments also apply. Previous works have...
193
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we propose a new strategy for optimizing the placement of bin boundaries to minimize the cost of query evaluation using bitmap indices with binning. For attributes ...
170
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...