3872 search results - page 290 / 775 » The Java memory model |
141
Voted
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
161
Voted
CL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
132
Voted
TSE
2008
15 years 3 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
136
Voted
ISLPED
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
133
Voted
MMSP
2008
IEEE
15 years 10 months ago
2008
IEEE
—The use of multiple entropy models for Huffman or arithmetic coding is widely used to improve the compression efficiency of many algorithms when the source probability distribu...