153 search results - page 1 / 31 » Partial Evaluation of Interaction Nets |
SAS
1992
Springer
14 years 2 months ago
1992
Springer
RTA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
JUCS
2008
13 years 10 months ago
2008
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
HUC
2004
Springer
14 years 4 months ago
2004
Springer
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
We present a technique to improve the efficiency of hardware-software cosimulation, using design information known at simulator compile-time. The generic term for such optimizatio...