11215 search results - page 427 / 2243 » Skeleton - Easy Simulation System |
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
205
click to vote
TPDS
1998
15 years 6 months ago
1998
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...
180
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...
172
click to vote
WSC
2007
15 years 9 months ago
2007
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
174
click to vote
WSC
2007
15 years 9 months ago
2007
The problem of finding the binomial population with the highest success probability is considered when the number of binomial populations is large. A new rigorous indifference zo...