212 search results - page 7 / 43 » The KBMS Project and Beyond |
DATE
2003
IEEE
14 years 20 days ago
2003
IEEE
There are already a huge number of problems for silicon designers and it is likely to just get worse. Many of these problems are technical associated with shrinking geometries and...
GLVLSI
2000
IEEE
13 years 11 months ago
2000
IEEE
† The limits on CMOS energy dissipation imposed by subthreshold leakage currents and by wiring capacitance are investigated for CMOS generations beyond 50nm at NTRS projected loc...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
This paper shares our experience with a strategic design project for defining the key user experience scenarios for utilizing location information available on mobile devices. Whi...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: We report on a project that demonstrates how fieldtrips can be structured and delivered in novel ways, and how they can extend the range of curricula that can be addressed – in...
LPAR
2005
Springer
14 years 26 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...