Sciweavers

773 search results - page 100 / 155
» Approaches for Modeling Individuals Within Organizational Si...
Sort
View
GLVLSI
2007
IEEE
141views VLSI» more  GLVLSI 2007»
15 years 1 months ago
A synchronization algorithm for local temporal refinements in perfectly synchronous models with nested feedback loops
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
JMLR
2010
105views more  JMLR 2010»
14 years 4 months ago
Evaluation of Signaling Cascades Based on the Weights from Microarray and ChIP-seq Data
In this study, we combined the ChIP-seq and the transcriptome data and integrated these data into signaling cascades. Integration was realized through a framework based on data- a...
Zerrin Isik, Volkan Atalay, Rengül Çet...
EMSOFT
2006
Springer
15 years 1 months ago
A timing model for synchronous language implementations in simulink
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
Timothy Bourke, Arcot Sowmya
BCEC
1997
14 years 11 months ago
Attractor Network Models of Cortical Associative Memory
Attractor network models of cortical associative memory functions have developed considerably over the past few years. Here we show that we can improve them further, in terms of c...
Anders Lansner, Erik Fransén
ECRTS
2008
IEEE
15 years 4 months ago
A Gravitational Task Model for Target Sensitive Real-Time Applications
The commonly used task models for real-time systems focus on execution windows expressing earliest start times and deadlines of tasks for feasibility. Within these windows, execut...
Raphael Guerra, Gerhard Fohler