4110 search results - page 592 / 822 » Performance modeling using Monte Carlo simulation |
156
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
121
click to vote
ASM
2000
ASM
15 years 9 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
150
click to vote
COMCOM
2004
15 years 4 months ago
2004
The key challenge in the design of a wireless sensor network is maximizing its lifetime. This is a fundamental problem and new protocol engineering principles need to be establish...
136
click to vote
MWCN
2004
Springer
15 years 10 months ago
2004
Springer
In Mobile Ad Hoc Networks (MANETs), each node has the capacity to act as a router. The performance of the MANET relies on how well the nodes perform this function. In simulations,...
121
click to vote
ARITH
2003
IEEE
15 years 10 months ago
2003
IEEE
This work uses a partially redundant number system as an internal format for floating point arithmetic operations. The redundant number system enables carry free arithmetic opera...