365 search results - page 14 / 73 » Types for Safe Locking |
ENASE
2011
12 years 8 months ago
2011
DATESO
2008
13 years 10 months ago
2008
In this paper we deal with a particular type of database systems
PPPJ
2004
ACM
14 years 2 months ago
2004
ACM
This paper presents the “Safe-Instantiation Principle,” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen ...
SIGMETRICS
2003
ACM
14 years 2 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
AOSD
2008
ACM
13 years 10 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...