1724 search results - page 113 / 345 » Abstract Interpreters for Free |
188
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
130
click to vote
ENTCS
2007
15 years 6 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
181
click to vote
CIDR
2009
15 years 7 months ago
2009
Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to ge...
163
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: As numerous diseases involve errors in signal transduction, modern therapeutics often target proteins involved in cellular signaling. Interpretation of the activity of...
157
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...