924 search results - page 22 / 185 » Teaching simulation using case studies |
WSC
2000
15 years 1 months ago
2000
In this paper, we describe a simulation game designed to quantify the benefits of an enterprise resource planning system coupled with the balanced scorecard framework in an extend...
106
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
120
click to vote
PERCOM
2010
ACM
14 years 9 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
ROBOCOMM
2007
IEEE
15 years 6 months ago
2007
IEEE
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
ESA
2006
Springer
15 years 3 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...