نتایج جستجو برای: passing

تعداد نتایج: 31980  

Journal: :The Journal of neuroscience : the official journal of the Society for Neuroscience 1999
Shepherd

As the new Editor-in-Chief of the Journal, I am pleased to recognize my predecessor, David van Essen, for the tremendous job he has done in leading the Journal through one of its greatest periods of growth and for seeing the Rapid Communications project through from start to finish. It is also a pleasure to recognize Michael Gazzaniga, who brought forward the idea for all electronic publication...

Journal: :Higher-Order and Symbolic Computation 2002
Josh Berdine Peter W. O'Hearn Uday S. Reddy Hayo Thielecke

Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto statements), process switching (coroutines), and backtracking. However, continuations are often manipulated in a highly stylised way, and we show that all of these, bar backtracking, in fact use their continuations linearly ; ...

1987
James A. Hendler

The cognitive modeling community is presently divided between two different approaches to the spread of activation through networks. One school holds that symbolic information must be progagated, the other that numeric weights are used and activation spreads in a more analog manner. In this paper we describe a mechanism which allows the two processes to be merged via the introduction into the s...

2011
Viviana Bono Chiara Messa Luca Padovani

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scen...

Journal: :IEEE Trans. Information Theory 2011
Velimir M. Ilic Miomir S. Stankovic Branimir Todorovic

The paper proposes a new message passing algorithm for cycle-free factor graphs. The proposed ”entropy message passing” (EMP) algorithm may be viewed as sumproduct message passing over the entropy semiring, which has previously appeared in automata theory. The primary use of EMP is to compute the entropy of a model. However, EMP can also be used to compute expressions that appear in expectation...

2009
Edward A. Lee

This paper addresses the question of whether message passing provides an adequate programming model to address current needs in programming multicore processors. It studies the pitfalls of message passing as a concurrency model, and argues that programmers need more structure than what is provided by today’s popular message passing libraries. Collective operations and design patterns can help a...

Journal: :CoRR 2015
Yuxi Fu Han Zhu

Name-passing calculi are foundational models for mobile computing. Research into these models has produced a wealth of results ranging from relative expressiveness to programming pragmatics. The diversity of these results call for clarification and reorganization. This paper applies a model independent approach to the study of the namepassing calculi, leading to a uniform treatment and simplifi...

2003
Chung Owyang Mark Czaja Mark Brenner

As of July 2003, a new editorial team is leading the American Journal of Physiology (AJP)-Gastrointestinal and Liver Physiology. We heartily thank Marty Kagnoff and the rest of the previous editorial team (Paul Kubes, Chung Owyang, Mark Czaja, Mark Brenner, and Helen Raybould) for strong service to the journal and the GI and Liver Physiology section of the American Physiological Society. Six ye...

Journal: :Sepakbola 2022

Tujuan dari penelitian ini adalah untuk mengetahui ketepatan akurasi passing setelah diberikan treatment latihan bervariasi. Dalam yang sudahdilakukan diperoleh hasil menggambarkan bahwa kemampuan anak-anak SSB Persisac Usia 10-12 tahun ada peningkatan signifikan bervariasi.Penelitian menggunakan pendekatan kuantitatif atau angka karena dilakukan jenis eksperimen sehingga analisisnya berdasarka...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید