11112 search results - page 376 / 2223 » Computing Stuttering Simulations |
154
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
191
click to vote
VLSID
1996
IEEE
15 years 11 months ago
1996
IEEE
Simulated annealing based standard cell placement for VLSI designs has long been acknowledged as a compute-intensive process, and as a result several research efforts have been un...
150
click to vote
WSC
2008
15 years 9 months ago
2008
As the competition becomes more and more intense, many retail small store chain operators are eager to know how to evaluate new store locations quantitatively to support a scienti...
179
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
182
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
In this paper we present DeSiNe, a modular flow-level network simulator. DeSiNe is aimed at performance analysis and benchmarking of Quality of Service routing algorithms and traf...