5009 search results - page 345 / 1002 » Value chain modelling using system dynamics |
185
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
158
click to vote
NIPS
2000
15 years 8 months ago
2000
We have developed a silicon neuron that is inspired by a mathematical model of the leech heartbeat (HN) interneuron. The temporal and ionic current behaviors of this silicon neuro...
164
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
166
click to vote
VLSID
2000
IEEE
15 years 11 months ago
2000
IEEE
The test signal method can be used to measure and model inductance parameters (self and mutual) of a very small interconnect especially in highdensity IC’s by using a test signa...
213
click to vote
HASKELL
2005
ACM
16 years 11 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...