3872 search results - page 80 / 775 » The Java memory model |
141
click to vote
TGC
2010
Springer
14 years 9 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
104
click to vote
CGO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
HICSS
1995
IEEE
15 years 3 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
WSC
1997
15 years 1 months ago
1997
An investigation is underway regarding technologies to support the design, development and use of distributed, web-based simulations. As part of this investigation the Simjava sim...