891 search results - page 43 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
IFIP
1992
Springer
15 years 7 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...
110
Voted
PLDI
1992
ACM
15 years 7 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...
135
Voted
POPL
2000
ACM
15 years 8 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...
157
Voted
TLDI
2010
ACM
16 years 20 days 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...
154
Voted
APCSAC
2004
IEEE
15 years 7 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...