3792 search results - page 666 / 759 » Techniques for Trusted Software Engineering |
163
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
The memory subsystem of a complex multiprocessor systemson-chip (MPSoC) is an important contributor to the chip power consumption. The selection of memory architecture, as well as...
126
click to vote
LCTRTS
2005
Springer
15 years 10 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
158
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
137
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
159
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...