Sciweavers

153 search results - page 19 / 31
» Arena Software Tutorial
Sort
View
ICSE
2007
IEEE-ACM
14 years 7 months ago
Presentations by Programmers for Programmers
A common form of live technical presentation is that given by programmers for a programming audience during conferences, demonstrations, code reviews, and tutorials. Such presenta...
Li-Te Cheng, Michael Desmond, Margaret-Anne D. Sto...
ICSE
2001
IEEE-ACM
14 years 1 days ago
Designing Concurrent, Distributed, and Real-Time Applications with UML
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
Hassan Gomaa
WSC
1998
13 years 9 months ago
Input Modeling Tools for Complex Problems
A simulation model is composed of inputs and logic; the inputs represent the uncertainty or randomness in the system, while the logic determines how the system reacts to the uncer...
Barry L. Nelson, Michael Yamnitsky
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
14 years 1 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
WSC
2007
13 years 10 months ago
Representing and generating uncertainty effectively
Stochastic simulations involve at least some random inputs. This introductory tutorial is meant to call attention to the need to model and generate such inputs in ways that may no...
W. David Kelton