29046 search results - page 177 / 5810 » Computable Models |
CVPR
2003
IEEE
16 years 5 months ago
2003
IEEE
122
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
119
click to vote
ISW
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
130
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
119
Voted
TARK
2009
Springer
15 years 10 months ago
2009
Springer
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...