120 search results - page 7 / 24 » Realistic Compilation by Partial Evaluation |
126
Voted
EPEW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
110
Voted
RV
2010
Springer
15 years 6 days ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
128
Voted
DAGSTUHL
1996
15 years 3 months ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
126
Voted
CCR
2006
15 years 1 months ago
2006
In order to perform realistic network simulations, one needs a traffic generator that is capable of generating realistic synthetic traffic in a closed-loop fashion that "look...
105
click to vote
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...