Cargando…
Communicating process architectures 2005 : WoTUG-28 /
Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); a...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
©2005.
|
| Colección: | Concurrent systems engineering series ;
v. 63. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn488381730 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 091213s2005 ne a ob 100 u eng d | ||
| 040 | |a DKDLA |b eng |e pn |c DKDLA |d OCLCQ |d NMC |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d MERUC |d YDXCP |d IDEBK |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d EBLCP |d OCLCQ |d ZCU |d OCLCQ |d ICG |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 171569101 |a 437171012 |a 814456761 | ||
| 020 | |a 1586035614 | ||
| 020 | |a 9781586035617 | ||
| 020 | |a 9781601291240 |q (electronic bk.) | ||
| 020 | |a 1601291248 |q (electronic bk.) | ||
| 020 | |a 1280505079 | ||
| 020 | |a 9781280505072 | ||
| 029 | 1 | |a AU@ |b 000048781319 | |
| 029 | 1 | |a DEBBG |b BV044083681 | |
| 035 | |a (OCoLC)488381730 |z (OCoLC)171569101 |z (OCoLC)437171012 |z (OCoLC)814456761 | ||
| 050 | 4 | |a QA76.9.A73 |b W68 2005eb | |
| 072 | 7 | |a K |2 bicssc | |
| 082 | 0 | 4 | |a 004.35 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Communicating process architectures 2005 : |b WoTUG-28 / |c ed. by Jan F. Broenink [and others]. |
| 260 | |a Amsterdam : |b IOS Press, |c ©2005. | ||
| 300 | |a 1 online resource (x, 405 pages) : |b illustrations | ||
| 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. 63 | |
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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 oc. | |
| 520 | |a Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications. | ||
| 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 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 Broenink, Jan F. | |
| 711 | 2 | |a WoTUG Technical Meeting |n (28th : |d 2005 : |c Technische Universiteit Eindhoven) | |
| 776 | 1 | |z 9781586035617 | |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 63. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=265963 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL265963 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 50507 | ||
| 938 | |a YBP Library Services |b YANK |n 2628201 | ||
| 994 | |a 92 |b IZTAP | ||