6555 search results - page 1200 / 1311 » Secure attribute-based systems |
103
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
101
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
142
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
112
Voted
SGAI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe the concept of Meta ARM in the context of its objectives and challenges and go on to describe and analyse a number of potential solutions. Meta ARM is de...