Sciweavers

1801 search results - page 194 / 361
» Pointing without a pointer
Sort
View
ICCS
2009
Springer
15 years 4 months ago
Modular, Fine-Grained Adaptation of Parallel Programs
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
Pilsung Kang 0002, Naresh K. C. Selvarasu, Naren R...
PSIVT
2009
Springer
152views Multimedia» more  PSIVT 2009»
15 years 4 months ago
Multiple View Geometry of Projector-Camera Systems from Virtual Mutual Projection
Recently, projector camera systems have been used actively for image synthesis and for 3D reconstruction. For using the projector camera systems in these applications, it is very ...
Shuhei Kobayashi, Fumihiko Sakaue, Jun Sato
98
Voted
SAT
2009
Springer
153views Hardware» more  SAT 2009»
15 years 4 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
ASPDAC
2009
ACM
127views Hardware» more  ASPDAC 2009»
15 years 4 months ago
Timing driven power gating in high-level synthesis
- The power gating technique is useful in reducing standby leakage current, but it increases the gate delay. For a functional unit, its maximum allowable delay (for a target clock ...
Shih-Hsu Huang, Chun-Hua Cheng
ASPDAC
2009
ACM
161views Hardware» more  ASPDAC 2009»
15 years 4 months ago
Risk aversion min-period retiming under process variations
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
Jia Wang, Hai Zhou