1932 search results - page 201 / 387 » Molecule-oriented programming in Java |
124
click to vote
SPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
ECLIPSE
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
100
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
80
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
97
Voted
CONCURRENCY
2004
15 years 20 days ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...