Wyniki wyszukiwania:

This publication contains papers from the Occam User Group (OUG). The main aim of the OUG is to act as an independent forum for the exchange of ideas, results and information in research and development of projects in the area of parallel systems design and programming using various communicating processes oriented approaches for transputer based machines. The papers collected in this volume cover topics such as: methodology of Occam programming, parallel asynchronous algorithms, control of real parallelisms in highly parallel machines of transputers, applications in scientific programming,...

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.

This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http: //www-sop.inria.fr/everest/events/cassis04/ The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique), Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science....