891 search results - page 43 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
114
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
133
click to vote
PLDI
1992
ACM
15 years 10 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
161
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
181
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
181
click to vote
APCSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Dynamic optimization presents opportunities for finding run-time bottlenecks and deploying optimizations in statically compiled programs. In this paper, we discuss our current impl...