Results 11 to 20 of about 1,063 (62)
Classification and transformation of dynamic dataflow programs [PDF]
, 2010 International audienceDataflow programming has been used to describe signal processing applications for many years, traditionally with cyclostatic dataflow (CSDF) or synchronous dataflow (SDF) models that restrict expressive power in favor of compile ...
Raulet, Mickael, Wipliez, Matthieu
core +3 more sources
Semantic correctness for a parallel object-oriented language [PDF]
, 1988 Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-continuous functions on data streams together ...
Rutten, J.J.M.M. (Jan)
core +4 more sources
Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics
Systems Engineering, EarlyView.ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin +3 more
wiley +1 more source
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
, 2015 We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems.
Cassar, Ian, Francalanza, Adrian
core +2 more sources
Classification of Dataflow Actors with Satisfiability and Abstract Interpretation [PDF]
, 2012 International audienceDataflow programming has been used to describe signal processing applications for many years, traditionally with cyclo-static dataflow (CSDF) or synchronous dataflow (SDF) models that restrict expressive power in favor of compile ...
Raulet, Mickaël, Wipliez, Matthieu
core +2 more sources
Polysemy and roots: Deep versus shallow fetching
Mind &Language, EarlyView.The paper argues for a model of polysemy based on the blueprint offered by Paul Pietroski whereby the meaning of a lexical item is an instruction to fetch a concept from an address. We show that the bare idea of fetching admits of a deep construal, where a concept is fetched, and a shallow construal, where the instruction merely links a lexical item to
John Collins, Tamara Dobler
wiley +1 more source
Displacement and quantification without representation
Mind &Language, EarlyView.Perry and Recanati have argued that thought and speech can concern entities that they do not represent. This is possible because speakers and thinkers are pragmatically situated within their environs. I argue that thought and speech can go much farther than that.
Mihnea Capraru
wiley +1 more source
Uniquely human temporal thoughts
Mind &Language, EarlyView.Life on Earth will eventually come to an end. The thought expressed in the previous sentence is about a point in time that is not known to the individual entertaining the thought. This paper is concerned with the nature of such temporal thoughts. We propose that the capacity to mentally represent thoughts about non‐specific temporal intervals is a ...
İsa Kerem Bayırlı
wiley +1 more source
In defense of value incomparability: A reply to Dorr, Nebel, and Zuehl
Noûs, EarlyView.Abstract Cian Dorr, Jacob Nebel, and Jake Zuehl have argued that no objects are incomparable in value. One set of arguments they offer depart from a principle they call ‘Strong Monotonicity’, which states that if x is good and y is not good, then x is better than y.
Erik Carlson, Olle Risberg
wiley +1 more source
Philosophical Perspectives, EarlyView.ABSTRACT This paper gives a new account of the actuality entailments of ability claims. We observe that, in the environments which give rise to the actuality entailment, ability claims carry a presupposition of trying. We show that, given this presupposition, the actuality entailment is straightforwardly predicted by a conditional theory of ability. We
David Boylan, Ginger Schultheis
wiley +1 more source