9110 search results - page 120 / 1822 » Formally-Based Design Evaluation |
FPGA
2005
ACM
15 years 3 months ago
2005
ACM
Vdd-programmable FPGAs have been proposed recently to reduce FPGA power, where Vdd levels can be customized for different circuit elements and unused circuit elements can be powe...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
AVI
2006
14 years 11 months ago
2006
Tabletop displays provide exciting opportunities to support individual and collaborative activities such as planning, organizing, and storyboarding. It has been previously suggest...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Gesture-based mobile interfaces require users to change the way they use technology in public settings. Since mobile phones are part of our public appearance, designers must integ...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...