1240 search results - page 35 / 248 » Computational Structure of coordinate transformations: A gen... |
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Detection of appearance/disappearance of objects from satellite images is generally very difficult since background pixels also change their intensity values owing to various fac...
EUROPAR
2007
Springer
15 years 1 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...