8874 search results - page 1596 / 1775 » A New Implementation of Automath |
128
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
We present a new popup widget, called CoR2Ds (Context-Rooted Rotatable Draggables), designed for multi-user direct-touch tabletop environments. CoR2Ds are interactive callout popu...
135
click to vote
VLSID
2006
IEEE
16 years 5 months ago
2006
IEEE
SoC design methodologies are under constant revision due to adoption of fast shrinking process technologies at nanometer levels. Nanometer process geometries exhibit new complex d...
186
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper presents a novel approach for the synthesis of dynamic CMOS circuits using Domino and Nora styles. As these logic styles can implement only non-inverting logic, convent...
159
click to vote
HPCA
2008
IEEE
16 years 5 months ago
2008
IEEE
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
148
click to vote
HPCA
2006
IEEE
16 years 5 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...