2646 search results - page 44 / 530 » Local Type Inference |
93
Voted
JCT
2006
15 years 14 days ago
2006
Consider two locally finite rooted trees as equivalent if each of them is a topological minor of the other, with an embedding preserving the tree-order. Answering a question of va...
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
—This paper shows how to reduce evaluation time for context inference. Probabilistic Context Inference has proven to be a good representation of the physical reality with uncerta...
139
click to vote
ICS
1995
Tsinghua U.
15 years 4 months ago
1995
Tsinghua U.
Current data cache organizations fail to deliver high performance in scalar processors for many vector applications. There are two main reasons for this loss of performance: the u...
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
87
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...