Sciweavers

1953 search results - page 81 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
IPPS
2010
IEEE
13 years 7 months ago
Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
Bo Zhang, Binoy Ravindran
JKM
2007
213views more  JKM 2007»
13 years 9 months ago
A systems-based dynamic knowledge transfer capacity model
Purpose – The purpose of this paper is twofold: to understand how recent developments in systems thinking and social construction can influence understanding of knowledge trans...
Robert Parent, Mario Roy, Denis St-Jacques
ISBI
2008
IEEE
14 years 9 months ago
Inferring brain dynamics using granger causality on fMRI data
Here we present a scalable method to compute the structure of causal links over large scale dynamical systems that achieves high efficiency in discovering actual functional connec...
Guillermo A. Cecchi, Rahul Garg, A. Ravishankar Ra...
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
14 years 3 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
CSSE
2008
IEEE
14 years 3 months ago
Analysis of the Virtual Enterprise Partner Selection Based on Multi-agent System
: Today, virtual enterprise is regarded as the most competitive management model of enterprises that faces the resource of the globe. This paper proposed an instructor of remote ma...
Zunqi Yang, Hai Lin