On functional equivalences in a model for parallel computation
نویسندگان
چکیده
منابع مشابه
Parallel computation framework for optimizing trailer routes in bulk transportation
We consider a rich tanker trailer routing problem with stochastic transit times for chemicals and liquid bulk orders. A typical route of the tanker trailer comprises of sourcing a cleaned and prepped trailer from a pre-wash location, pickup and delivery of chemical orders, cleaning the tanker trailer at a post-wash location after order delivery and prepping for the next order. Unlike traditiona...
متن کاملParallel Functional Computation on STAR:DUST
STAR:DUST (‘St. Andrews RISC: Dataflow Using Sequential Threads’) is a processor design optimized for efficient execution of sequential threads while supporting plug-and-play construction of large multiprocessor systems. Besides satisfying the major RISC criteria (small instruction set, simple instruction format, load/store principle, pipelining), STAR:DUST employs a dataflow approach to commun...
متن کاملUndecidable Equivalences for Basic Parallel Processes
Article history: Received 10 December 2007 Revised 18 November 2008 Available online 31 January 2009 The trace equivalence of BPP was shown to be undecidable by Hirshfeld. We show that all the preorders and equivalences except bisimulation in Glabbeek’s linear time-branching time spectrum are undecidable for BPP. The results are obtained by extending Hirshfeld’s encoding ofMinskymachines into B...
متن کاملA fuzzy reliability model for series-parallel systems
Fuzzy set based methods have been proved to be effective in handling many types of uncertainties in different fields, including reliability engineering. This paper presents a new approach on fuzzy reliability, based on the use of beta type distribution as membership function. Considering experts' ideas and by asking operators linguistic variables, a rule base is designed to determine the level ...
متن کاملA Parallel Complexity Model for Functional Languages
A complexity model based on the λ-calculus with an appropriate operational semantics in presented and related to various parallel machine models, including the PRAM and hypercube models. The model is used to study parallel algorithms in the context of “sequential” functional languages, and to relate these results to algorithms designed directly for parallel machine models. For example, the pape...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1979
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(79)90592-8