4386 search results - page 337 / 878 » A Tamper-Resistant Programming Language System |
95
Voted
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
138
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
149
Voted
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
134
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
83
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
Discounting the future means that the value, today, of a unit payoff is 1 if the payoff occurs today, a if it occurs tomorrow, a2 if it occurs the day after tomorrow,