Sciweavers

8345 search results - page 1286 / 1669
» Design of Neuromorphic Hardwares
Sort
View
ISLPED
2005
ACM
84views Hardware» more  ISLPED 2005»
16 years 13 days ago
Hierarchical power management with application to scheduling
This paper presented a hierarchical power management architecture which aims to facilitate power-awareness in an Energy-Managed Computer (EMC) system with multiple components. The...
Peng Rong, Massoud Pedram
ISLPED
2005
ACM
150views Hardware» more  ISLPED 2005»
16 years 13 days ago
Instruction packing: reducing power and delay of the dynamic scheduling logic
The instruction scheduling logic used in modern superscalar microprocessors often relies on associative searching of the issue queue entries to dynamically wakeup instructions for...
Joseph J. Sharkey, Dmitry V. Ponomarev, Kanad Ghos...
203
Voted
OZCHI
2005
ACM
16 years 13 days ago
Dawn explorer: a framework for multimodal accessibility to computer systems
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
Frank Loewenich, Frédéric Maire
174
Voted
UIST
2005
ACM
16 years 13 days ago
Sensing and visualizing spatial relations of mobile devices
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
Gerd Kortuem, Christian Kray, Hans-Werner Gellerse...
ATVA
2005
Springer
112views Hardware» more  ATVA 2005»
16 years 12 days ago
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
Stéphane Demri, David Nowak
« Prev « First page 1286 / 1669 Last » Next »