280 search results - page 15 / 56 » Security of Multithreaded Programs by Compilation |
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Instruction-grain lifeguards monitor the events of a running application at the level of individual instructions in order to identify and help mitigate application bugs and securi...
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
89
Voted
ERSA
2006
15 years 1 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
84
Voted
FCCM
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
114
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...