898 search results - page 19 / 180 » A Linear Tabling Mechanism |
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—Bus-based system-on-chip (SoC) design becomes the major integration methods for shorting design cycle and time-tomarket, thus how to verify IP functionality on bus protocol is a...
SIGMOD
2005
ACM
14 years 1 months ago
2005
ACM
Appropriately selected materialized views (also called indexed views) can speed up query execution by orders of magnitude. Most database systems limit support for materialized vie...
ENTCS
2010
13 years 7 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
DAC
2011
ACM
12 years 7 months ago
2011
ACM
In this work, we propose an efficient and accurate full-chip thermomechanical stress and reliability analysis tool and design optimization methodology to alleviate mechanical rel...
NORDICHI
2006
ACM
14 years 1 months ago
2006
ACM
While various models of undo have been proposed over the years, no empirical study has yet been done to discover which model of undo most closely aligns with what users expect an ...