Computing Media and Languages for Space-Oriented Computation, ser, Dagsthul Seminar Proceedings, no. 06361. Dagsthul, pp.3-8, 2006. ,
From amorphous to spatial computing -workshop. paris, 2008. ,
Spatial computing workshop, 2008. ,
Spatial computing: a recipe for self-organization in distributed computing scenarios, 2008. ,
Smart dust - hardware limits to wireless sensor networks, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings., 1920. ,
DOI : 10.1109/ICDCS.2003.1203445
Some Computer Organizations and Their Effectiveness, IEEE Transactions on Computers, vol.21, issue.9, pp.948-960, 1972. ,
DOI : 10.1109/TC.1972.5009071
Design and implementation of 812: A declarative data-parallel language, special issue on Parallel Logic Programming. [Online]. Available, pp.165-179, 1996. ,
DOI : 10.1016/S0096-0551(96)00012-4
Collection-oriented languages, Proceedings of the IEEE, vol.79, issue.4, pp.504-523, 1991. ,
DOI : 10.1109/5.92044
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.152
Data Structure as Topological Spaces, Proceedings of the 3nd International Conference on Unconventional Models of Computation UMC02, pp.137-150, 2002. ,
DOI : 10.1007/3-540-45833-6_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.9083
Software-Intensive Systems and New Computing Paradigms, ser Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems, LNCS, vol.5380, pp.235-254, 2008. ,
Programming with sets: and introduction to SETL, 1986. ,
DOI : 10.1007/978-1-4613-9575-1
A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, vol.4, issue.2, pp.133-144, 1988. ,
DOI : 10.1016/0167-739X(88)90012-X
NESL: A nested data-parallel language (version 2.6), School of Computer Science, 1993. ,
A synchronous data-flow language for massively parallel computer, Proc. of Int. Conf. on Parallel Computing (ParCo'91), pp.3-6, 1991. ,
An algebra of multidimensional arrays, 1991. ,
Invited talk: Topological collections, transformations and their application to the modeling and the simulation of dynamical systems, Rewriting Technics and Applications (RTA'03), ser. LNCS, pp.208-233, 2003. ,
Computations in Space and Space in Computations, Unconventional Programming Paradigms (UPP'04), ser, pp.137-152, 2005. ,
DOI : 10.1007/11527800_11
Elements of Algebraic Topology, 1984. ,
Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, pp.10-19, 2006. ,
DOI : 10.1109/MIS.2006.29
Continuous Space-Time Semantics Allow Adaptive Program Execution, First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 2007. ,
DOI : 10.1109/SASO.2007.14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.7593
Scans as primitive parallel operations, IEEE Transactions on Computers, vol.38, issue.11, pp.1526-1538, 1989. ,
DOI : 10.1109/12.42122
Data fields as parallel programs, Proceedings of the Second International Workshop on Array Structure, 1992. ,
On the relation between functional and data-parallel programming languages, Proc. of the 6th. Int. Conf. on Functional Languages and Computer Architectures, 1993. ,
Extent analysis of data fields, Royal Institute of Technology, Sweden, Tech. Rep. TRITA-IT R, vol.94, p.3, 1994. ,
DOI : 10.1007/3-540-58485-4_42
Data parallelism and functional programming, Proc. ParaDigme Spring School on Data Parallelism, 1996. ,
DOI : 10.1007/3-540-61736-1_50
Architecture-independent parallel computation, Computer, vol.23, issue.12, pp.38-49, 1990. ,
DOI : 10.1109/2.62092
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, vol.21, issue.8, pp.613-641, 1978. ,
DOI : 10.1145/359576.359579
The data parallel programming model: A semantic perspective, Lecture Notes in Computer Science, vol.1132, pp.4-26, 1996. ,
DOI : 10.1007/3-540-61736-1_40
Typing geometries of homogeneous collection, 2nd Int. workshop on array manipulation Montral, 1992. ,
Report on the programming language HASKELL a non-strict, purely functional language, version 1.3, 1996. ,
LUSTRE: A declarative language for programming synchronous systems, Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pp.178-188, 1987. ,
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
Lucid -A formal system for writing and proving programs, SIAM Journal on Computing, vol.3, pp.336-354, 1976. ,
Streams and managers, Proceedings of the 14th IBM Computer Science Symposium, 1983. ,
A framework for the recursive definition of data structures, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '00, pp.45-55, 2000. ,
DOI : 10.1145/351268.351275
A data parallel java client-server architecture for data field computations over ???n, Eu- roPar'98 Parallel Processing, ser. Lecture Notes in Computer Science, 1998. ,
DOI : 10.1007/BFb0057925
Group based fields, " in Parallel Symbolic Languages and Systems (International Workshop PSLS'95), ser, Lecture Notes in Computer Science, vol.1068 ,
Declarative definition of group indexed data structures and approximation of their domains, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '01, 2001. ,
DOI : 10.1145/773184.773201
Introducing dynamicity in the data-parallel language 81, EuroPar'96 Parallel Processing, ser. Lecture Notes in Computer Science, pp.678-686, 1996. ,
A two-dimensional growth process, Proceedings of Fourth Berkeley Symposium on Mathematics, Statistics, and Probability, pp.223-239, 1961. ,
Semantics and compilation of recursive sequential streams in 81 Implementations, Logics, and Programs (PLILP'97), ser, Ninth International Symposium on Programming Languages, pp.207-223, 1997. ,
Data-parallelism and Data-flow: automatic mapping and scheduling for implicit parallelism, Franco- British meeting on Data-parallel Languages and Compilers for portable parallel computing, p.20, 1994. ,
Effective SIMD code generation for the high-level declarative data-parallel language 81, EuroMicro'96, pp.114-119, 1996. ,
Blob computing, Proceedings of the 1st conference on Computing frontiers, pp.125-139, 2004. ,
Foundations of Parallel Programming, 1994. ,
DOI : 10.1017/CBO9780511526626
Amalgams: Names and name capture in a declarative framework LaMI ? Universit d'vry Val d'Essonne, Tech. Rep, 1998. ,