1708 search results - page 306 / 342 » A methodology to design information retrieval systems (MDIRS... |
ICAIL
2009
ACM
14 years 3 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...
GROUP
2010
ACM
13 years 6 months ago
2010
ACM
Group recommendation, which makes recommendations to a group of users instead of individuals, has become increasingly important in both the workspace and people's social acti...
DAC
2010
ACM
14 years 23 days ago
2010
ACM
We present a methodology for off-chip memory bandwidth minimization through application-driven L2 cache partitioning in multicore systems. A major challenge with multi-core system...
ICS
2004
Tsinghua U.
14 years 2 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
ICCD
1995
IEEE
14 years 12 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...