3872 search results - page 19 / 775 » The Java memory model |
FASE
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
This article shows how it is possible to place a great part of a Java system in read-only memory in order to fit with the requirements of tiny devices. Java systems for such devic...
149
Voted
Publication
This is the solution of a problem I faced when I was analyzing data from a gigantic binary file. This white paper explains how to manage the memory heap for Matlab.
115
click to vote
PPPJ
2009
ACM
15 years 6 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...