66 search results - page 3 / 14 » A New Type System for JVM Lock Primitives |
JTRES
2009
ACM
13 years 11 months ago
2009
ACM
Real-time Java is becoming a viable platform for real-time applications, bringing new challenges to a garbage collector. A real-time collector has to be incremental as not to caus...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
ICRA
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, a finishing system with a mounted abrasive tool is proposed for finishing of metallic molds. The shape of the mounted abrasive tool is a ball-end type. When a metal...
ICITS
2009
13 years 3 months ago
2009
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
CICLING
2003
Springer
13 years 10 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...