479 search results - page 48 / 96 » On Static Properties of Specialized Programs |
107
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
162
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
198
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
158
Voted
ICALP
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...
179
click to vote
HIPEAC
2011
Springer
14 years 3 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...