Sciweavers

3561 search results - page 72 / 713
» Design: One, but in different forms
Sort
View
GLVLSI
2008
IEEE
140views VLSI» more  GLVLSI 2008»
16 years 18 days ago
A table-based method for single-pass cache optimization
Due to the large contribution of the memory subsystem to total system power, the memory subsystem is highly amenable to customization for reduced power/energy and/or improved perf...
Pablo Viana, Ann Gordon-Ross, Edna Barros, Frank V...
ICRA
2008
IEEE
131views Robotics» more  ICRA 2008»
16 years 17 days ago
Person tracking on a mobile robot with heterogeneous inter-characteristic feedback
— For a mobile robot that interacts with humans such as a home assistant or a tour guide robot, tracking a particular person among multiple persons is a fundamental, yet challeng...
Juhyun Lee, Peter Stone
PG
2007
IEEE
16 years 12 days ago
Extending Catmull-Clark Subdivision and PCCM with Polar Structures
We complete and bring together two pairs of surface constructions that use polynomial pieces of degree (3,3) to associate a smooth surface with a mesh. The two pairs complement ea...
Ashish Myles, Kestutis Karciauskas, Jörg Pete...
GLOBECOM
2006
IEEE
16 years 6 days ago
On the Performance of Access Strategies for MIMO Ad Hoc Networks
— In this paper, we address the impact of different access strategies in ad hoc networks with multiple antennas and MIMO communications. We employ a cross–layer designed MAC pr...
Marco Levorato, Paolo Casari, Michele Zorzi
SEW
2006
IEEE
16 years 4 days ago
Retrenching the Purse: Finite Exception Logs, and Validating the Small
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
Richard Banach, Michael Poppleton, Susan Stepney