3071 search results - page 203 / 615 » Explanatory Design Theory |
113
click to vote
PLDI
2009
ACM
16 years 11 days ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
141
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 3 days ago
2009
ACM
Intuitive use is met when prior knowledge is transferred to new task environments. The empirical fact that transfer relies on schemas led us to diagnose intuitiveness based on sch...
134
Voted
GROUP
2009
ACM
16 years 3 days ago
2009
ACM
Recent technologies supporting continuous connectivity enable sustained awareness within social networks, which eventually boosts interaction and therefore the need of individuals...
149
click to vote
GLVLSI
2007
IEEE
15 years 12 months ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...
161
click to vote
GLVLSI
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...