5085 search results - page 469 / 1017 » Multidimensional Design by Examples |
158
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
An algorithm for technology mapping of combinational and sequential logic networks is proposed and applied to mapping into K-input lookup-tables (K-LUTs). The new algorithm avoids...
209
click to vote
STACS
2010
Springer
16 years 2 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
194
click to vote
DCC
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper focuses on optimal analog mappings for zero-delay, distributed source-channel coding. The objective is to obtain the optimal vector transformations that map between m-d...
200
click to vote
IEEEARES
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract—Despite a long standing need to incorporate human factors into security risk analysis, taking a balanced approach to analysing security and usability concerns remains a ...
197
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
In this paper we argue that “persuasive technologies,” developed to motivate behaviour change in users, have so far failed to exploit the established body of empirical researc...