Sciweavers

3071 search results - page 228 / 615
» Explanatory Design Theory
Sort
View
268
Voted
ICCD
2011
IEEE
296views Hardware» more  ICCD 2011»
14 years 6 months ago
DPPC: Dynamic power partitioning and capping in chip multiprocessors
—A key challenge in chip multiprocessor (CMP) design is to optimize the performance within a power budget limited by the CMP’s cooling, packaging, and power supply capacities. ...
Kai Ma, Xiaorui Wang, Yefu Wang

Lab
782views
17 years 6 months ago
Neural Systems Engineering Lab (NSEL)
Neural Systems Engineering Lab (NSEL) at Michigan State University focuses on advancing neuroinformatics science by engineering new theoretical, computational and experimental tool...
158
Voted
ICIP
2000
IEEE
16 years 8 months ago
Complexity-Regularized Denoising of Poisson-Corrupted Data
In this paper, we apply the complexity?regularization principle to Poisson imaging. We formulate a natural distortion measure in image space, and present a connection between comp...
Juan Liu, Pierre Moulin
147
Voted
CHI
2006
ACM
16 years 7 months ago
The sensual evaluation instrument: developing an affective evaluation tool
In this paper we describe the development and initial testing of a tool for self-assessment of affect while interacting with computer systems: the Sensual Evaluation Instrument. W...
Jarmo Laaksolahti, Katherine Isbister, Kristina H&...
177
Voted
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta