Design of a Transputer Core and its Implementation in an FPGA (Englisch)
- Neue Suche nach: Tanaka, M.
- Neue Suche nach: Fukuchi, N.
- Neue Suche nach: Ooki, Y.
- Neue Suche nach: Fukunaga, C.
- Neue Suche nach: Tanaka, M.
- Neue Suche nach: Fukuchi, N.
- Neue Suche nach: Ooki, Y.
- Neue Suche nach: Fukunaga, C.
- Neue Suche nach: East, I.
In:
World Occam and Trunsputer User Group; Communicating process architectures 2004: WoTUG-27
;
361-372
;
2004
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Design of a Transputer Core and its Implementation in an FPGA
-
Beteiligte:Tanaka, M. ( Autor:in ) / Fukuchi, N. ( Autor:in ) / Ooki, Y. ( Autor:in ) / Fukunaga, C. ( Autor:in ) / East, I.
-
Kongress:27th:; Technical Meeting, World Occam and Trunsputer User Group; Communicating process architectures 2004: WoTUG-27 ; 2004 ; Oxford
-
Erschienen in:CONCURRENT SYSTEMS ENGINEERING SERIES ; 62 ; 361-372
-
Verlag:
- Neue Suche nach: IOS Press,
-
Erscheinungsort:Amsterdam , Oxford:
-
Erscheinungsdatum:01.01.2004
-
Format / Umfang:12 pages
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Finitary Refinement Checks for Infinitary SpecificationsRoscoe, A. W. et al. | 2004
- 19
-
An Automatic Translation of CSP to Handel-CPhillips, J. D. / Stiles, G. S. et al. | 2004
- 39
-
On Linear Time and Congruence in Channel-Passing CalculiPeschanski, F. et al. | 2004
- 55
-
Prioritised Service ArchitectureEast, I. R. et al. | 2004
- 71
-
Debugging and Verification of Parallel Systems - The picoChip Way!Towner, D. / Panesar, G. / Duller, A. / Gray, A. / Robbins, W. et al. | 2004
- 85
-
Active Serial Port: A Component for JCSP.net Embedded SystemsClayton, S. / Kerridge, J. et al. | 2004
- 99
-
The Transterpreter: A Transputer InterpreterJacobsen, C. L. / Jadud, M. C. et al. | 2004
- 107
-
Adding Mobility to Networked Channel-TypesSchweigler, M. et al. | 2004
- 127
-
A Comparison of Three MPI ImplementationsVinter, B. et al. | 2004
- 137
-
An Evaluation of Inter-Switch ConnectionsVinter, B. / Happe, H. H. et al. | 2004
- 147
-
Observing ProcessesLawrence, A. E. et al. | 2004
- 157
-
TriplesLawrence, A. E. et al. | 2004
- 185
-
C++CSP NetworkedBrown, N. et al. | 2004
- 201
-
Communicating Mobile ProcessesBarnes, F. R. M. / Welch, P. H. et al. | 2004
- 219
-
Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the GridMartin, J. M. R. / Tiskin, A. V. et al. | 2004
- 227
-
CSP: The Best Concurrent-System Description Language in the World - Probably!Goldsmith, M. et al. | 2004
- 233
-
gCSP: A Graphical Tool for Designing CSP SystemsJovanovic, D. S. / Orlic, B. / Liet, G. K. / Broenink, J. F. et al. | 2004
- 253
-
Towards a Semantics for Prioritised AlternationEast, I. R. et al. | 2004
- 265
-
A Calculated Implementation of a Control SystemMcEwan, A. A. et al. | 2004
- 281
-
Refining Industrial Scale Systems in CircusOliveira, M. / Cavalcanti, A. / Woodcock, J. et al. | 2004
- 311
-
K-CSP: Component Based Development of Kernel ExtensionsSputh, B. / Allen, A. R. et al. | 2004
- 325
-
Chaining Communications Algorithms with Process NetworksFaust, O. / Sputh, B. / Endler, D. / Allen, A. R. et al. | 2004
- 339
-
Using CSP to Verify Aspects of an occam-to-FPGA CompilerPeel, R. M. A. / Wong, H. F. et al. | 2004
- 353
-
Focussing on Traces to Link VCR and CSPSmith, M. L. et al. | 2004
- 361
-
Design of a Transputer Core and its Implementation in an FPGATanaka, M. / Fukuchi, N. / Ooki, Y. / Fukunaga, C. et al. | 2004
- 373
-
Derivation of Scalable Message-Passing Algorithms Using Parallel Combinatorial List Generator FunctionsAbdallah, A. E. / Hawkins, J. et al. | 2004
- 387
-
Reconfigurable Hardware Synthesis of the IDEA Cryptographic AlgorithmAbdallah, A. E. / Damaj, I. W. et al. | 2004