Cargando…
Communicating Process Architectures 2011 : WoTUG-33 /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2011.
|
| Colección: | Concurrent systems engineering series ;
v. 68. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn756484720 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 111010s2011 ne o 101 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d IOSPR |d N$T |d YDXCP |d IDEBK |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d DEBSZ |d OCLCO |d AU@ |d S4S |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d AGLDB |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d UUM |d VTS |d ICG |d OCLCQ |d STF |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 778615316 |a 808087585 |a 816866113 |a 842283614 | ||
| 020 | |a 9781607507741 |q (electronic bk.) | ||
| 020 | |a 1607507749 |q (electronic bk.) | ||
| 020 | |a 1283289857 | ||
| 020 | |a 9781283289856 | ||
| 029 | 1 | |a AU@ |b 000050054085 | |
| 029 | 1 | |a AU@ |b 000050896951 | |
| 029 | 1 | |a AU@ |b 000051576043 | |
| 029 | 1 | |a DEBBG |b BV043039961 | |
| 029 | 1 | |a DEBBG |b BV044158405 | |
| 029 | 1 | |a DEBSZ |b 421525398 | |
| 029 | 1 | |a DEBSZ |b 43104788X | |
| 035 | |a (OCoLC)756484720 |z (OCoLC)778615316 |z (OCoLC)808087585 |z (OCoLC)816866113 |z (OCoLC)842283614 | ||
| 050 | 4 | |a QA76.58 |b .W68 2011eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 048000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004 |a 004.35 |
| 049 | |a UAMI | ||
| 111 | 2 | |a WoTUG Technical Meeting |n (33rd : |d 2011 : |c Limerick, Ireland) | |
| 245 | 1 | 0 | |a Communicating Process Architectures 2011 : |b WoTUG-33 / |c edited by Peter H. Welch [and others]. |
| 260 | |a Amsterdam : |b IOS Press, |c 2011. | ||
| 300 | |a 1 online resource (396 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Concurrent Systems Engineering Series ; |v v. 68 | |
| 505 | 0 | |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. | |
| 520 | |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. | ||
| 500 | |a Includes author index. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Parallel processing (Electronic computers) |v Congresses. | |
| 650 | 0 | |a occam (Computer program language) |v Congresses. | |
| 650 | 0 | |a Transputers |v Congresses. | |
| 650 | 0 | |a Computer architecture |v Congresses. | |
| 650 | 6 | |a Parallélisme (Informatique) |v Congrès. | |
| 650 | 6 | |a Occam (Langage de programmation) |v Congrès. | |
| 650 | 6 | |a Transputers |v Congrès. | |
| 650 | 6 | |a Ordinateurs |x Architecture |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Systems Architecture |x Distributed Systems & Computing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x 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 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Welch, Peter H. | |
| 776 | 0 | 8 | |i Print version: |a Barnes, F.R.M. |t Communicating Process Architectures 2011 : Wotug-33. |d Amsterdam : IOS Press, ©2011 |z 9781607507734 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 68. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=784585 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL784585 | ||
| 938 | |a EBSCOhost |b EBSC |n 395255 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 328985 | ||
| 938 | |a YBP Library Services |b YANK |n 7154249 | ||
| 994 | |a 92 |b IZTAP | ||