Sciweavers

850 search results - page 69 / 170
» Modeling synchronous systems in BIP
Sort
View
WCE
2007
15 years 7 months ago
Dynamic Behaviour and Significance of Neuron Networks with Varying Degrees of Random Coupling
—Networks of coupled dynamical systems exhibit many interesting behaviours such as spatio-temporal chaos, pattern formation and synchronization. Such networks can be used to mode...
Bijilash Babu, Marissa Condon
NN
2007
Springer
15 years 5 months ago
Awaking and sleeping of a complex network
A network with a logistic-like local dynamics is considered. We implement a mean-field multiplicative coupling among first-neighbor nodes. When the coupling parameter is small, ...
R. López-Ruiz, Y. Moreno, A. F. Pacheco, S....
ECOWS
2006
Springer
15 years 10 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
TCAD
2002
146views more  TCAD 2002»
15 years 5 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
HYBRID
2007
Springer
16 years 13 days ago
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
Pau Martí, Manel Velasco