Sciweavers

7504 search results - page 895 / 1501
» Computing with Action Potentials
Sort
View
172
Voted
DAC
2009
ACM
16 years 8 months ago
Timing-driven optimization using lookahead logic circuits
This paper describes a function-based timing-driven optimization technique for the synthesis of multi-level logic circuits. Motivated by the principles of parallel prefix computat...
Mihir R. Choudhury, Kartik Mohanram
222
Voted
DAC
2006
ACM
16 years 8 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
167
Voted
CHI
2009
ACM
16 years 7 months ago
Design of haptic interfaces for therapy
Touch is fundamental to our emotional well-being. Medical science is starting to understand and develop touch-based therapies for autism spectrum, mood, anxiety and borderline dis...
Cati Vaucelle, Leonardo Bonanni, Hiroshi Ishii
207
Voted
COORDINATION
2009
Springer
16 years 7 months ago
Exceptionally Safe Futures
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
Armand Navabi, Suresh Jagannathan
CHI
2008
ACM
16 years 7 months ago
Design, adoption, and assessment of a socio-technical environment supporting independence for persons with cognitive disabilitie
A significant fraction of persons with cognitive disabilities are potentially able to live more independently with the use of powerful tools embedded in their social environment. ...
Stefan Carmien, Gerhard Fischer