5109 search results - page 894 / 1022 » On Learning Limiting Programs |
121
click to vote
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
148
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
123
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
144
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
Bank locality can be defined as localizing the number of load/store accesses to a small set of memory banks at a given time. An optimizing compiler can modify a given input code t...
135
click to vote
CCGRID
2002
IEEE
15 years 8 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...