14336 search results - page 2769 / 2868 » Analytical simulation modeling |
109
click to vote
JFP
2000
15 years 17 days ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
121
Voted
TCS
2002
15 years 13 days ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
115
click to vote
MCS
2007
Springer
15 years 9 days ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
98
Voted
COMCOM
2010
14 years 11 months ago
2010
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in und...
101
Voted
IANDC
2010
14 years 11 months ago
2010
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit de...