6740 search results - page 773 / 1348 » Using Classification as a Programming Language |
205
Voted
PLDI
2003
ACM
16 years 21 days ago
2003
ACM
Clustered architectures are a solution to the bottleneck of centralized register files in superscalar and VLIW processors. The main challenge associated with clustered architectu...
193
click to vote
ECOOP
1997
Springer
15 years 11 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
202
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
204
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
204
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...