Sciweavers

3872 search results - page 40 / 775
» The Java memory model
Sort
View
JAVA
1999
Springer
15 years 4 months ago
Interfacing Java to the Virtual Interface Architecture
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
Chi-Chao Chang, Thorsten von Eicken
ICLP
2003
Springer
15 years 5 months ago
Flow Java: Declarative Concurrency for Java
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
Frej Drejhammar, Christian Schulte, Per Brand, Sei...
STTT
2010
132views more  STTT 2010»
14 years 10 months ago
Evaluation of Kermeta for solving graph-based problems
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Bar...
DAGSTUHL
2001
15 years 1 months ago
Constructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
Thomas Studer
ISCIS
2005
Springer
15 years 5 months ago
Fame as an Effect of the Memory Size
This paper investigates the effect of the memory size to fame. A population of individuals of the same memory size is considered. A simple recommendation model is defined based on ...
Haluk Bingol