Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.]
| Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2002 |
| Descrizione fisica | 1 online resource (396 p.) |
| Disciplina | 004/.357 |
| Altri autori (Persone) | PascoeJames (James S.) |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Transputers
occam (Computer program language) Telecommunication systems |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-60129-409-3
600-00-0365-X 9786610505586 1-280-50558-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cache-Affinity Scheduling for Fine Grain Multithreading""""A Predicate Transformer Semantics for a Concurrent Language of Refinement""; ""Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs""; ""Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems""; ""Configuration Discovery and Mapping of a Home Network""; ""Cluster Computing and JCSP Networking""; ""View-Centric Reasoning for Linda and Tuple Space Computation""; ""A Graphical Modeling Language for Specifying Concurrency based on CSP""
""The ""Honeysuckle"" Programming Language: Event and Process""""The ""Honeysuckle"" Programming Language: Object and Protocol""; ""A Communicating Threads (CT) Case Study: JIWY""; ""Prioritised Dynamic Communicating Processes - Part I""; ""Prioritised Dynamic Communicating Processes - Part II""; ""Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs""; ""Author Index"" |
| Record Nr. | UNINA-9910455569003321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.]
| Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2002 |
| Descrizione fisica | 1 online resource (396 p.) |
| Disciplina | 004/.357 |
| Altri autori (Persone) | PascoeJames (James S.) |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Transputers
occam (Computer program language) Telecommunication systems |
| ISBN |
1-60129-409-3
600-00-0365-X 9786610505586 1-280-50558-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cache-Affinity Scheduling for Fine Grain Multithreading""""A Predicate Transformer Semantics for a Concurrent Language of Refinement""; ""Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs""; ""Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems""; ""Configuration Discovery and Mapping of a Home Network""; ""Cluster Computing and JCSP Networking""; ""View-Centric Reasoning for Linda and Tuple Space Computation""; ""A Graphical Modeling Language for Specifying Concurrency based on CSP""
""The ""Honeysuckle"" Programming Language: Event and Process""""The ""Honeysuckle"" Programming Language: Object and Protocol""; ""A Communicating Threads (CT) Case Study: JIWY""; ""Prioritised Dynamic Communicating Processes - Part I""; ""Prioritised Dynamic Communicating Processes - Part II""; ""Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs""; ""Author Index"" |
| Record Nr. | UNINA-9910780247803321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.]
| Communicating process architectures 2002 [[electronic resource] ] : WoTUG-25 : proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / / edited by James Pascoe ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, DC, : IOS Press, c2002 |
| Descrizione fisica | 1 online resource (396 p.) |
| Disciplina | 004/.357 |
| Altri autori (Persone) | PascoeJames (James S.) |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Transputers
occam (Computer program language) Telecommunication systems |
| ISBN |
1-60129-409-3
600-00-0365-X 9786610505586 1-280-50558-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cache-Affinity Scheduling for Fine Grain Multithreading""""A Predicate Transformer Semantics for a Concurrent Language of Refinement""; ""Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs""; ""Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems""; ""Configuration Discovery and Mapping of a Home Network""; ""Cluster Computing and JCSP Networking""; ""View-Centric Reasoning for Linda and Tuple Space Computation""; ""A Graphical Modeling Language for Specifying Concurrency based on CSP""
""The ""Honeysuckle"" Programming Language: Event and Process""""The ""Honeysuckle"" Programming Language: Object and Protocol""; ""A Communicating Threads (CT) Case Study: JIWY""; ""Prioritised Dynamic Communicating Processes - Part I""; ""Prioritised Dynamic Communicating Processes - Part II""; ""Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs""; ""Author Index"" |
| Record Nr. | UNINA-9910814382803321 |
| Amsterdam ; ; Washington, DC, : IOS Press, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.]
| Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (416 p.) |
| Disciplina | 004.35 |
| Altri autori (Persone) | BroeninkJan F |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-50507-9
9786610505074 1-4237-9735-3 1-60750-144-9 600-00-0366-8 1-60129-124-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
| Record Nr. | UNINA-9910450999803321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.]
| Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (416 p.) |
| Disciplina | 004.35 |
| Altri autori (Persone) | BroeninkJan F |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| ISBN |
1-280-50507-9
9786610505074 1-4237-9735-3 1-60750-144-9 600-00-0366-8 1-60129-124-8 |
| Classificazione |
54.31
54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
| Record Nr. | UNINA-9910784143503321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.]
| Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
| Descrizione fisica | 1 online resource (416 p.) |
| Disciplina | 004.35 |
| Altri autori (Persone) | BroeninkJan F |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| ISBN |
1-280-50507-9
9786610505074 1-4237-9735-3 1-60750-144-9 600-00-0366-8 1-60129-124-8 |
| Classificazione |
54.31
54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
| Record Nr. | UNINA-9910829147803321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2007 [[electronic resource] ] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / / edited by Alistair A. McEwan ... [et al.]
| Communicating process architectures 2007 [[electronic resource] ] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / / edited by Alistair A. McEwan ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; Fairfax, VA, : IOS Press, 2007 |
| Descrizione fisica | 1 online resource (528 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | McEwanAlistair A |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6611029842
1-281-02984-X 9786611029845 1-60750-261-5 600-00-0368-4 1-4356-0867-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models
C++CSP2: A Many-to-Many Threading Model for Multicore ArchitecturesDesign Principles of the SystemCSP Software Framework; PyCSP - Communicating Sequential Processes for Python; A Process-Oriented Architecture for Complex System Modelling; Concurrency Control and Recovery Management for Open e-Business Transactions; trancell - An Experimental ETC to Cell BE Translator; A Versatile Hardware-Software Platform for In-Situ Monitoring Systems; High Cohesion and Low Coupling: The Office Mapping Factor; A Process Oriented Approach to USB Driver Development A Native Transterpreter for the LEGO Mindstorms RCXIntegrating and Extending JCSP; Hardware/Software Synthesis and Verification Using Esterel; Modeling and Analysis of the AMBA Bus Using CSP and B; A Step Towards Refining and Translating B Control Annotations to Handel-C; Towards the Formal Verification of a Java Processor in Event-B; Advanced System Simulation, Emulation and Test (ASSET); Development of a Family of Multi-Core Devices Using Hierarchical Abstraction; Domain Specific Transformations for Hardware Ray Tracing A Reconfigurable System-on-Chip Architecture for Pico-Satellite MissionsTransactional CSP Processes; Algebras of Actions in Concurrent Processes; Using occam-pi Primitives with the Cell Broadband Engine; Shared-Memory Multi-Processor Scheduling Algorithms for CCSP; Compiling occam to C with Tock; Author Index |
| Record Nr. | UNINA-9910451878903321 |
| Amsterdam ; Fairfax, VA, : IOS Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2007 [[electronic resource] ] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / / edited by Alistair A. McEwan ... [et al.]
| Communicating process architectures 2007 [[electronic resource] ] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / / edited by Alistair A. McEwan ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; Fairfax, VA, : IOS Press, 2007 |
| Descrizione fisica | 1 online resource (528 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | McEwanAlistair A |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| ISBN |
6611029842
1-281-02984-X 9786611029845 1-60750-261-5 600-00-0368-4 1-4356-0867-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models
C++CSP2: A Many-to-Many Threading Model for Multicore ArchitecturesDesign Principles of the SystemCSP Software Framework; PyCSP - Communicating Sequential Processes for Python; A Process-Oriented Architecture for Complex System Modelling; Concurrency Control and Recovery Management for Open e-Business Transactions; trancell - An Experimental ETC to Cell BE Translator; A Versatile Hardware-Software Platform for In-Situ Monitoring Systems; High Cohesion and Low Coupling: The Office Mapping Factor; A Process Oriented Approach to USB Driver Development A Native Transterpreter for the LEGO Mindstorms RCXIntegrating and Extending JCSP; Hardware/Software Synthesis and Verification Using Esterel; Modeling and Analysis of the AMBA Bus Using CSP and B; A Step Towards Refining and Translating B Control Annotations to Handel-C; Towards the Formal Verification of a Java Processor in Event-B; Advanced System Simulation, Emulation and Test (ASSET); Development of a Family of Multi-Core Devices Using Hierarchical Abstraction; Domain Specific Transformations for Hardware Ray Tracing A Reconfigurable System-on-Chip Architecture for Pico-Satellite MissionsTransactional CSP Processes; Algebras of Actions in Concurrent Processes; Using occam-pi Primitives with the Cell Broadband Engine; Shared-Memory Multi-Processor Scheduling Algorithms for CCSP; Compiling occam to C with Tock; Author Index |
| Record Nr. | UNINA-9910778106803321 |
| Amsterdam ; Fairfax, VA, : IOS Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2007 [[electronic resource] ] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / / edited by Alistair A. McEwan ... [et al.]
| Communicating process architectures 2007 [[electronic resource] ] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / / edited by Alistair A. McEwan ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; Fairfax, VA, : IOS Press, 2007 |
| Descrizione fisica | 1 online resource (528 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | McEwanAlistair A |
| Collana | Concurrent systems engineering series |
| Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
| ISBN |
6611029842
1-281-02984-X 9786611029845 1-60750-261-5 600-00-0368-4 1-4356-0867-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models
C++CSP2: A Many-to-Many Threading Model for Multicore ArchitecturesDesign Principles of the SystemCSP Software Framework; PyCSP - Communicating Sequential Processes for Python; A Process-Oriented Architecture for Complex System Modelling; Concurrency Control and Recovery Management for Open e-Business Transactions; trancell - An Experimental ETC to Cell BE Translator; A Versatile Hardware-Software Platform for In-Situ Monitoring Systems; High Cohesion and Low Coupling: The Office Mapping Factor; A Process Oriented Approach to USB Driver Development A Native Transterpreter for the LEGO Mindstorms RCXIntegrating and Extending JCSP; Hardware/Software Synthesis and Verification Using Esterel; Modeling and Analysis of the AMBA Bus Using CSP and B; A Step Towards Refining and Translating B Control Annotations to Handel-C; Towards the Formal Verification of a Java Processor in Event-B; Advanced System Simulation, Emulation and Test (ASSET); Development of a Family of Multi-Core Devices Using Hierarchical Abstraction; Domain Specific Transformations for Hardware Ray Tracing A Reconfigurable System-on-Chip Architecture for Pico-Satellite MissionsTransactional CSP Processes; Algebras of Actions in Concurrent Processes; Using occam-pi Primitives with the Cell Broadband Engine; Shared-Memory Multi-Processor Scheduling Algorithms for CCSP; Compiling occam to C with Tock; Author Index |
| Record Nr. | UNINA-9910813210703321 |
| Amsterdam ; Fairfax, VA, : IOS Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.]
| Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (472 p.) |
| Disciplina |
004.35
158.1 |
| Altri autori (Persone) | WelchP. H |
| Soggetto topico |
Computer architecture
occam (Computer program language) Parallel processing (Electronic computers) Transputers |
| Soggetto genere / forma | Electronic books. |
| ISBN |
661196861X
1-281-96861-7 9786611968618 1-4416-0157-0 600-00-1186-5 1-60750-368-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C
FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder - CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus - with Mobile Reindeer and Elves; Subject Index; Author Index |
| Record Nr. | UNINA-9910454118603321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
