3885 search results - page 32 / 777 » Transformations for Write-All-with-Collision Model |
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
ECEASST
2008
13 years 7 months ago
2008
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
PICS
2001
13 years 9 months ago
2001
In 1998, a Technical Committee 8-04 was formed in CIE/Division 8, "to investigate the state of adaptation of the visual system when comparing soft-copy images on selfluminous...
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
13 years 7 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
TIP
2008
13 years 7 months ago
2008
Abstract--The wavelet transform as an important multiresolution analysis tool has already been commonly applied to texture analysis and classification. Nevertheless, it ignores the...