890 Hits in 3.0 sec

The manticore project

Matthew Fluet
2013 Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '13  
Synchronization and communication abstraction are supported by the mechanism of first-class synchronous operations (called events).  ...  Synchronization and communication abstraction are supported by the mechanism of first-class synchronous operations (called events).  ... 
doi:10.1145/2502323.2508150 dblp:conf/icfp/Fluet13 fatcat:dzucof4jynflpksppu56qhxdg4

Bridging CSP and C++ with selective formalism and executable specifications

W.B. Gardner
2003 First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.  
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interprocess synchronization and  ...  communication semantics.  ...  Some CSP named events (a2, a3, and c1) are used solely for interprocess synchronization and communication within the control layer.  ... 
doi:10.1109/memcod.2003.1210108 dblp:conf/memocode/Gardner03 fatcat:vdoqljk22neo5pughay3mue5qy

Hardware/software co-design of digital telecommunication systems

I. Bolsens, H.J. De Man, B. Lin, K. Van Rompaey, S. Vercauteren, D. Verkest
1997 Proceedings of the IEEE  
CoWare is based on the principle of encapsulation of existing hardware and software compilers and special attention is paid to the interactive synthesis of hardware/software and hardware/hardware interfaces  ...  We argue that these systems require, by nature, a heterogeneous specification and an implementation with heterogeneous architectural styles.  ...  4) Implementation of RPC Interprocess Communications: In the case of an RPC communication channel we classify the partner that controls an outmaster, outslave, or master port as the sender partner, and  ... 
doi:10.1109/5.558713 fatcat:tn23s7ya45ddxomyni5q76mb5a

UniGPS: A Unified Programming Framework for Distributed Graph Processing [article]

Zhaokang Wang, Junhong Li, Yifan Qi, Guanghui Zhu, Chunfeng Yuan, Yihua Huang
2021 arXiv   pre-print
We propose an interprocess-communication-based execution environment isolation mechanism to enable Java/C++-based systems to call user-defined methods written in Python.  ...  VCProg hides details of distributed computing from users. It is compatible with the popular graph programming models Pregel, GAS, and Push-Pull.  ...  It hides the details of distributed processing from users and supports cross-platform execution of user programs. 2) Interprocess Communication Optimization: The performance of the execution isolation  ... 
arXiv:2108.01922v1 fatcat:zmjgak5ejrfbflrxod46krk5ui

Cache coherence requirements for interprocess rendezvous

Russell M. Clapp, Trevor N. Mudge, Donald C. Winsor
1990 International journal of parallel programming  
A language construct that is found in a number of parallel programming languages to support synchronization and communication in the interprocess rendezvous.  ...  Multiprocessors in which a shared bus is used by the processors to communicate with common memory are an emerging class of machines where there is a need to support parallel programming languages.  ...  Key components in any parallel procedural language are mechanisms for synchronization and communication. The interprocess rendezvous is a language construct that supports both of these mechanisms.  ... 
doi:10.1007/bf01407863 fatcat:y4haqyuxjjh35ekizislt3eu24

Matisse: a concurrent and object-oriented system specification language [chapter]

Julio Leao Silva, Chantal Ykman-Couvreur, Gjalt Jong
1997 VLSI: Integrated Systems on Silicon  
In contrast to the system specification languages currently used in industry, Matisse is implementation-independent and permits the exploration of different embedded hardware/software realizations.  ...  An industrial application used in ATM networks is introduced. From this case study, we derive the requirements that must be supported by Matisse.  ...  Acknowledgments This work is part of a joint collaboration between IMEC and Alcatel, partially supported by IWT under project "HASTEC". We also would like to thank B. Lin, K. Croes and E.  ... 
doi:10.1007/978-0-387-35311-1_24 fatcat:i4p7wyjtobdixowd7q6znbc7iu

Observations on building distributed languages and systems [chapter]

Richard D. Schlichting, Gregory R. Andrews, Norman C. Hutchinson, Ronald A. Olsson, Larry L. Peterson
1988 Lecture Notes in Computer Science  
the Psync interprocess communication mechanism.  ...  This paper surveys projects in distributed languages and systems at the University of Arizona, and offers observations based on the experience gained during their design, implementation, and use.  ...  In Saguaro, this advantage is made available to the user through channels, an interprocess communication and synchronization facility that generalizes UNIX pipes.  ... 
doi:10.1007/3-540-19333-2_12 fatcat:xnckdtzppne5rbe7usyinhio2i

SimSoC: A SystemC TLM integrated ISS for full system simulation

Claude Helmstetter, Vania Joloboff
2008 APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems  
simulation architecture with an integrated approach relying only upon SystemC hardware modeling and transaction-level modeling abstractions (TLM) for communications.  ...  The development of embedded systems requires the development of increasingly complex software and hardware platforms.  ...  Then some type of synchronization and communication between the two must be designed and maintained using some interprocess communication. Gerin et. al.  ... 
doi:10.1109/apccas.2008.4746381 dblp:conf/apccas/HelmstetterJ08 fatcat:56qgu24ka5fjdhpzwvypoqcxda

Perils and pitfalls of parallel discrete-event simulation

Rajive L. Bagrodia
1996 Proceedings of the 28th conference on Winter simulation - WSC '96  
This tutorial attempts to unravel some of the mysteries. It describes the process of generating an efficient parallel implementation of a discrete-event simulation (DES) model.  ...  Common pitfalls in the parallel execution of the models are described together with suggestions on their avoidance.  ...  object) definition, creation and interprocess (or inter-object) communication and synchronization.  ... 
doi:10.1145/256562.256592 fatcat:v7dcu2tczzhgdgzhjodp6lv4ku

The ToolBus coordination architecture [chapter]

P. Klint, P. Olivier
1996 Lecture Notes in Computer Science  
We give an overview of these case studies and briefly sketch the evolution of the TooLBUS design that incorporates the lessons we have learned from them.  ...  We describe the coordination of tools in process-oriented "T scripts" featuring, amongst others, (1) sequential composition, choice and iteration of processes; (2) handshaking (synchronous) communication  ...  Acknowledgements We like to thank Doeco Bosscher, Thomas Bullens, Steven Klusener, Wilco Koorn, and Pieter Olivier for providing us with valuable feedback on our first TOOLBUS design.  ... 
doi:10.1007/bfb0014345 fatcat:unp5sf33urbqjfsf4zahxshbzm

Occam-pi as a High-Level Language for Coarse-Grained Reconfigurable Architectures

Zain-ul-Abdin, Bertil Svensson
2011 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum  
The constructs of occam-pi combine ideas from CSP and pi-calculus to facilitate expressing parallelism, communication, and reconfigurability.  ...  In this paper, we demonstrate the applicability of occam-pi for programing an array of functional units, eXtreme Processing Platform (XPP).  ...  This research is part of the CERES research program funded by the Knowledge Foundation and the ELLIIT strategic research initiative funded by the Swedish government.  ... 
doi:10.1109/ipdps.2011.147 dblp:conf/ipps/Zain-ul-AbdinS11 fatcat:dq6luivjlfekbdzeuerwvlq424

Hardware compilation for FPGA-based configurable computing machines

Xiaohan Zhu, Bill Lin
1999 Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99  
In particular, the focus of this paper is on the hardware compilation part of the problem starting from a software-like algorithmic process-based specification.  ...  structural optimization benefits as ASICs.  ...  This section presents a brief overview of our programming model by means of an example. Our programs are hierarchically composed of processes that com-municate through synchronizing channels.  ... 
doi:10.1145/309847.310030 dblp:conf/dac/ZhuL99 fatcat:f4nqzjmoyrgk7k5gjrpzxqw62a

SimPar - A Programmer Oriented Software Environment for the Pyramidal Vision Machine SPHINX

Edwige E. Pissaloux, Samir Bouaziz, Alain Mérigot, Francis Devos
1990 IAPR International Workshop on Machine Vision Applications  
The presented results can be easily applied to design of any parallel system with Multi-SIMD or MIMD control.  ...  It ddsdribes thk parallz process management at software levels, and introduces the programming style for parallel software design, named coprogramming.  ...  We will continue by giving an overview of the SimPar and will finish by showing an example implementation of a basic image processing operation. .  ... 
dblp:conf/mva/PissalouxBMD90 fatcat:44o3extr2fb6lfat3lhjmtonhq

CUDASA: Compute Unified Device and Systems Architecture [article]

Magnus Strengert, Christoph Müller, Carsten Dachsbacher, Thomas Ertl
2008 Eurographics Symposium on Parallel Graphics and Visualization  
The newly introduced layers provide the key features specific to the architecture and programmability of current graphics hardware while the underlying communica- tion and scheduling mechanisms are completely  ...  We present an extension to the CUDA programming language which extends parallelism to multi-GPU systems and GPU-cluster environments.  ...  copy operation per job, which in turn also includes interprocess communication.  ... 
doi:10.2312/egpgv/egpgv08/049-056 fatcat:pr5ayuuh4nabfaseo6vtnocczm

Metropolis: an integrated electronic system design environment

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli
2003 Computer  
A solid design flow must capture designs at well-defined levels of abstraction and proceed toward an efficient implementation.  ...  DESIGN OVERVIEW We designed Metropolis to provide an infrastructure based on a model with precise semantics that remain general enough to support existing computation models 1 and accommodate new ones.  ...  The synchronization mechanism roughly corresponds to an intersection of the execution sets for the functional and architectural models.  ... 
doi:10.1109/mc.2003.1193228 fatcat:q345jhhcmvbx3nwnqcxys6sm3e
« Previous Showing results 1 — 15 out of 890 results