3071 search results - page 203 / 615 » Explanatory Design Theory |
66
Voted
PLDI
2009
ACM
15 years 5 months 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...
AUTOMOTIVEUI
2009
ACM
15 years 5 months 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...
GROUP
2009
ACM
15 years 5 months ago
2009
ACM
Recent technologies supporting continuous connectivity enable sustained awareness within social networks, which eventually boosts interaction and therefore the need of individuals...
GLVLSI
2007
IEEE
15 years 5 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...
98
Voted
GLVLSI
2005
IEEE
15 years 4 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...