4386 search results - page 126 / 878 » A Tamper-Resistant Programming Language System |
232
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
131
click to vote
CODES
2010
IEEE
14 years 11 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
MICS
2008
15 years 1 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
104
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...