146 search results - page 14 / 30 » C Templates as Partial Evaluation |
132
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
107
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
125
click to vote
WOSP
2005
ACM
15 years 5 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
CHI
2008
ACM
16 years 2 days ago
2008
ACM
We present a pair of experiments that explore the effects of tactile-feedback and direct vs. indirect pen input on pointing and crossing selection tasks. While previous work has d...
104
click to vote
PEPM
1994
ACM
15 years 3 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...