multithreaded java
Security monitor inlining for multithreaded java FREE-DOWNLOAD M Dam, B Jacobs, A Lundblad… – ECOOP 2009–Object- … Abstract. Program monitoring is a well-established and efficient ap- proach to security policy enforcement. An implementation of program monitoring that is particularly appealing for application-level policy en- forcement is monitor inlining: the application is rewritten to
java library
MULAN: a java library for multi-label learning FREE-DOWNLOAD G Tsoumakas, J Vilcek, E Spyromitros… – Journal of Machine …, 2010 A multi-label data set consists of training examples that are associated with a subset of a finite set of labels. Nowadays, multi-label data are becoming ubiquitous. They arise in an increasing number and diversity of applications, […]
Verifying a compiler for Java threads
FREE-DOWNLOADA Lochbihler – Programming Languages and Systems, 2010 Abstract. A verified compiler is an integral part of every security infra- structure. Previous work has come up with formal semantics for sequen- tial and concurrent variants of Java and has proven the correctness of compilers for the sequential part. This paper presents a rigorous