3872 search results - page 109 / 775 » The Java memory model |
111
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
111
click to vote
SPDP
1991
IEEE
15 years 5 months ago
1991
IEEE
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
154
click to vote
STTT
2010
15 years 21 days ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
110
click to vote
SIGOPSE
1998
ACM
15 years 6 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
110
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...