7961 search results - page 447 / 1593 » Input-Output Model Programs |
172
Voted
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
165
Voted
UM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
152
click to vote
UM
2009
Springer
16 years 29 days ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
144
click to vote
KBSE
2008
IEEE
16 years 24 days ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
146
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...