Communicating Process Architectures 2011: WoTUG-33
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
2011
|
| Schriftenreihe: | Concurrent systems engineering series
v.68 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes author index Print version record |
| Beschreibung: | 1 online resource (396 pages) |
| ISBN: | 1283289857 1607507749 9781283289856 9781607507741 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043039961 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151120s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 1283289857 |9 1-283-28985-7 | ||
| 020 | |a 1607507749 |c electronic bk. |9 1-60750-774-9 | ||
| 020 | |a 9781283289856 |9 978-1-283-28985-6 | ||
| 020 | |a 9781607507741 |c electronic bk. |9 978-1-60750-774-1 | ||
| 035 | |a (OCoLC)756484720 | ||
| 035 | |a (DE-599)BVBBV043039961 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 004.35 | |
| 082 | 0 | |a 004 | |
| 110 | 2 | |a WoTUG Technical Meeting < 2011, Limerick, Ireland> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Communicating Process Architectures 2011 |b WoTUG-33 |c edited by Peter H. Welch [and others] |
| 264 | 1 | |a Amsterdam |b IOS Press |c 2011 | |
| 300 | |a 1 online resource (396 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Concurrent systems engineering series |v v.68 | |
| 500 | |a Includes author index | ||
| 500 | |a Print version record | ||
| 505 | 8 | |a Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt -- A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP. | |
| 505 | 8 | |a Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model | |
| 505 | 8 | |a SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index | |
| 505 | 8 | |a This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu | |
| 650 | 4 | |a Computer architecture / Congresses | |
| 650 | 4 | |a occam (Computer program language) / Congresses | |
| 650 | 4 | |a Parallel processing (Electronic computers) / Congresses | |
| 650 | 4 | |a Transputers / Congresses | |
| 650 | 4 | |a Computer science | |
| 650 | 7 | |a COMPUTERS / Systems Architecture / Distributed Systems & Computing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Literacy |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Science |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Data Processing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / General |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Information Technology |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Machine Theory |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Reference |2 bisacsh | |
| 650 | 7 | |a Computer architecture |2 fast | |
| 650 | 7 | |a occam (Computer program language) |2 fast | |
| 650 | 7 | |a Parallel processing (Electronic computers) |2 fast | |
| 650 | 7 | |a Transputers |2 fast | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 650 | 4 | |a occam (Computer program language) |v Congresses | |
| 650 | 4 | |a Transputers |v Congresses | |
| 650 | 4 | |a Computer architecture |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Welch, Peter H. |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Barnes, F |t R.M.. Communicating Process Architectures 2011 : Wotug-33 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028464608 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175403161485312 |
|---|---|
| any_adam_object | |
| author_corporate | WoTUG Technical Meeting < 2011, Limerick, Ireland> |
| author_corporate_role | aut |
| author_facet | WoTUG Technical Meeting < 2011, Limerick, Ireland> |
| author_sort | WoTUG Technical Meeting < 2011, Limerick, Ireland> |
| building | Verbundindex |
| bvnumber | BV043039961 |
| collection | ZDB-4-EBA |
| contents | Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt -- A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP. Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu |
| ctrlnum | (OCoLC)756484720 (DE-599)BVBBV043039961 |
| dewey-full | 004.35 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.35 004 |
| dewey-search | 004.35 004 |
| dewey-sort | 14.35 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05437nmm a2200745zcb4500</leader><controlfield tag="001">BV043039961</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151120s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1283289857</subfield><subfield code="9">1-283-28985-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607507749</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-60750-774-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781283289856</subfield><subfield code="9">978-1-283-28985-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607507741</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-60750-774-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756484720</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043039961</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">WoTUG Technical Meeting < 2011, Limerick, Ireland></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating Process Architectures 2011</subfield><subfield code="b">WoTUG-33</subfield><subfield code="c">edited by Peter H. Welch [and others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (396 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Concurrent systems engineering series</subfield><subfield code="v">v.68</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes author index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt -- A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">occam (Computer program language) / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers) / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transputers / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Systems Architecture / Distributed Systems & Computing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Literacy</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Data Processing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Information Technology</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Machine Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">occam (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Transputers</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">occam (Computer program language)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transputers</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Welch, Peter H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Barnes, F</subfield><subfield code="t">R.M.. Communicating Process Architectures 2011 : Wotug-33</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028464608</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043039961 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:15:44Z |
| institution | BVB |
| isbn | 1283289857 1607507749 9781283289856 9781607507741 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028464608 |
| oclc_num | 756484720 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 online resource (396 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Concurrent systems engineering series |
| spelling | WoTUG Technical Meeting < 2011, Limerick, Ireland> Verfasser aut Communicating Process Architectures 2011 WoTUG-33 edited by Peter H. Welch [and others] Amsterdam IOS Press 2011 1 online resource (396 pages) txt rdacontent c rdamedia cr rdacarrier Concurrent systems engineering series v.68 Includes author index Print version record Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt -- A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP. Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu Computer architecture / Congresses occam (Computer program language) / Congresses Parallel processing (Electronic computers) / Congresses Transputers / Congresses Computer science COMPUTERS / Systems Architecture / Distributed Systems & Computing bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses (DE-588)1071861417 Konferenzschrift gnd-content Welch, Peter H. Sonstige oth Erscheint auch als Druck-Ausgabe Barnes, F R.M.. Communicating Process Architectures 2011 : Wotug-33 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255 Aggregator Volltext |
| spellingShingle | Communicating Process Architectures 2011 WoTUG-33 Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt -- A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP. Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu Computer architecture / Congresses occam (Computer program language) / Congresses Parallel processing (Electronic computers) / Congresses Transputers / Congresses Computer science COMPUTERS / Systems Architecture / Distributed Systems & Computing bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Communicating Process Architectures 2011 WoTUG-33 |
| title_auth | Communicating Process Architectures 2011 WoTUG-33 |
| title_exact_search | Communicating Process Architectures 2011 WoTUG-33 |
| title_full | Communicating Process Architectures 2011 WoTUG-33 edited by Peter H. Welch [and others] |
| title_fullStr | Communicating Process Architectures 2011 WoTUG-33 edited by Peter H. Welch [and others] |
| title_full_unstemmed | Communicating Process Architectures 2011 WoTUG-33 edited by Peter H. Welch [and others] |
| title_short | Communicating Process Architectures 2011 |
| title_sort | communicating process architectures 2011 wotug 33 |
| title_sub | WoTUG-33 |
| topic | Computer architecture / Congresses occam (Computer program language) / Congresses Parallel processing (Electronic computers) / Congresses Transputers / Congresses Computer science COMPUTERS / Systems Architecture / Distributed Systems & Computing bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Hardware / General bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Reference bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses |
| topic_facet | Computer architecture / Congresses occam (Computer program language) / Congresses Parallel processing (Electronic computers) / Congresses Transputers / Congresses Computer science COMPUTERS / Systems Architecture / Distributed Systems & Computing COMPUTERS / Computer Literacy COMPUTERS / Computer Science COMPUTERS / Data Processing COMPUTERS / Hardware / General COMPUTERS / Information Technology COMPUTERS / Machine Theory COMPUTERS / Reference Computer architecture occam (Computer program language) Parallel processing (Electronic computers) Transputers Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=395255 |
| work_keys_str_mv | AT wotugtechnicalmeeting2011limerickireland communicatingprocessarchitectures2011wotug33 AT welchpeterh communicatingprocessarchitectures2011wotug33 |