A Case Study in Concurrent Programming with Active Objects

2006 ◽  
pp. 403-414
Author(s):  
Ulrike Glavitsch ◽  
Thomas M. Frey
Keyword(s):  
Concurrent Programming ◽  
Active Objects

scholarly journals Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API

2011 ◽  
Vol 76 (2) ◽  
pp. 65-81 ◽  
Author(s):  
Guodong Li ◽  
Robert Palmer ◽  
Michael DeLisi ◽  
Ganesh Gopalakrishnan ◽  
Robert M. Kirby
Keyword(s):  
Formal Specification ◽  
Concurrent Programming

Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors

2010 ◽  
Vol 1 (2) ◽  
pp. 23-44 ◽  
Author(s):  
Leonidas Tsiopoulos ◽  
Kaisa Sere ◽  
Juha Plosila
Keyword(s):  
Formal Methods ◽  
Concurrent Programming ◽  
Asynchronous Communication ◽  
New Approach ◽  
Action Systems ◽  
Modeling Methodology ◽  
Distributed Framework ◽  
Systems On Chip ◽  
On Chip

Formal methods of concurrent programming can be used to develop and verify complex Multi–Processor Systems–On–Chip in order to ensure that these systems satisfy their functional and communication requirements. The authors use the Action Systems formalism and show how asynchronous communication of Multi–Processor Systems–on–Chip can be modeled using generic connectors composed out of simple channel components. The paper proposes a new approach to modeling generic and hierarchical connectors for handling the complexity of on–chip communication and data flow. The authors’ goal is to avoid overloaded bus–based architectures and give a distributed framework. A case study presents the authors’ modeling methodology.

Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors

2012 ◽  
pp. 219-240 ◽  
Author(s):  
Leonidas Tsiopoulos ◽  
Kaisa Sere ◽  
Juha Plosila
Keyword(s):  
Formal Methods ◽  
Concurrent Programming ◽  
Asynchronous Communication ◽  
New Approach ◽  
Action Systems ◽  
Modeling Methodology ◽  
Distributed Framework ◽  
Systems On Chip ◽  
On Chip

Formal methods of concurrent programming can be used to develop and verify complex Multi–Processor Systems–On–Chip in order to ensure that these systems satisfy their functional and communication requirements. The authors use the Action Systems formalism and show how asynchronous communication of Multi–Processor Systems–on–Chip can be modeled using generic connectors composed out of simple channel components. The paper proposes a new approach to modeling generic and hierarchical connectors for handling the complexity of on–chip communication and data flow. The authors’ goal is to avoid overloaded bus–based architectures and give a distributed framework. A case study presents the authors’ modeling methodology.

The Spirit in the Material: A Case Study of Animism in the American Southwest

2012 ◽  
Vol 77 (2) ◽  
pp. 243-262 ◽  
Author(s):  
Christine S. VanPool ◽  
Elizabeth Newsome
Keyword(s):  
Human Behavior ◽  
New World ◽  
American Southwest ◽  
Casas Grandes ◽  
Archaeological Data ◽  
Object Agency ◽  
Active Objects

AbstractPeople often imbue their surroundings, including tools, with a “life essence” that makes them active objects. A growing number of archaeologists are beginning to study how such “living” beings impact human behavior. These archaeologists use the term “object agency,” but employ many different ontologicai approaches. We explore this variation, and present a framework comparing different ontologicai models archaeologists use. We adopt an animistic perspective, and evaluate its applicability to the Southwest using ethnographic and archaeological data. We further propose that it is applicable throughout the New World. Puebloan potters consider pots living beings with a spiritual essence that is affected by and that impacts humans. Pottery manufacture is a mutual negotiation between the potter and the clay to create a “Made Being” with its own spiritual and material aspects. We conclude that a similar ontology is reflected in effigy pots and globular jars from the Casas Grandes region. Ultimately we conclude that this perspective provides useful insights into the placement, decoration, and discard of many vessels that have puzzled Southwestern archaeologists for decades.

scholarly journals Implementing SOS with Active Objects: A Case Study of a Multicore Memory System

2019 ◽  
pp. 332-350 ◽  
Author(s):  
Nikolaos Bezirgiannis ◽  
Frank de Boer ◽  
Einar Broch Johnsen ◽  
Ka I Pun ◽  
S. Lizeth Tapia Tarifa
Keyword(s):  
Memory System ◽  
Active Objects

The Genesis and Internal Dynamics of El Salvador's People's Revolutionary Army, 1970–1976

2014 ◽  
Vol 38 (01) ◽  
pp. 102-129
Author(s):  
ALBERTO MARTÍN ÁLVAREZ ◽  
EUDALD CORTINA ORERO
Keyword(s):  
Latin America ◽  
El Salvador ◽  
Early Years ◽  
Left Wing ◽  
Internal Dynamics ◽  
Internal Coherence ◽  
The 1960S

AbstractUsing interviews with former militants and previously unpublished documents, this article traces the genesis and internal dynamics of the Ejército Revolucionario del Pueblo (People's Revolutionary Army, ERP) in El Salvador during the early years of its existence (1970–6). This period was marked by the inability of the ERP to maintain internal coherence or any consensus on revolutionary strategy, which led to a series of splits and internal fights over control of the organisation. The evidence marshalled in this case study sheds new light on the origins of the armed Salvadorean Left and thus contributes to a wider understanding of the processes of formation and internal dynamics of armed left-wing groups that emerged from the 1960s onwards in Latin America.

Culture and the plasticity of perception

2020 ◽  
Vol 43 ◽  
Author(s):  
Michael Lifshitz ◽  
T. M. Luhrmann
Keyword(s):  
Cultural Context ◽  
Sensory Experience ◽  
Cultural Learning ◽  
The World

Abstract Culture shapes our basic sensory experience of the world. This is particularly striking in the study of religion and psychosis, where we and others have shown that cultural context determines both the structure and content of hallucination-like events. The cultural shaping of hallucinations may provide a rich case-study for linking cultural learning with emerging prediction-based models of perception.

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Sociocultural memory development research drives new directions in gadgetry science

2019 ◽  
Vol 42 ◽  
Author(s):  
Penny Van Bergen ◽  
John Sutton
Keyword(s):  
Episodic Memory ◽  
Autobiographical Memory ◽  
Developmental Psychology ◽  
Cross Cultural ◽  
Memory Development ◽  
Development Research ◽  
Cultural Research ◽  
New Directions ◽  
Cross Cultural Research

Abstract Sociocultural developmental psychology can drive new directions in gadgetry science. We use autobiographical memory, a compound capacity incorporating episodic memory, as a case study. Autobiographical memory emerges late in development, supported by interactions with parents. Intervention research highlights the causal influence of these interactions, whereas cross-cultural research demonstrates culturally determined diversity. Different patterns of inheritance are discussed.

Sign in / Sign up

Export Citation Format

Share Document