-
3
-
-
84858980138
-
Battle experiments of naval air defense with discrete event system-based mission-level modeling and simulations
-
Kim J.H. Choi C.B. Kim T.G. Battle experiments of naval air defense with discrete event system-based mission-level modeling and simulations. J Defens Model Simulat 2011; 8: 173-187.
-
(2011)
J Defens Model Simulat
, vol.8
, pp. 173-187
-
-
Kim, J.H.1
Choi, C.B.2
Kim, T.G.3
-
4
-
-
84861831905
-
New insight into doctrine via simulation interoperation of heterogeneous levels of models in battle experimentation
-
Kim J.H. Moon I.C. Kim T.G. New insight into doctrine via simulation interoperation of heterogeneous levels of models in battle experimentation. Simulation 2012; 88: 649-667.
-
(2012)
Simulation
, vol.88
, pp. 649-667
-
-
Kim, J.H.1
Moon, I.C.2
Kim, T.G.3
-
5
-
-
84858952257
-
Measurement of effectiveness for an anti-torpedo combat system using a discrete event systems specification-based underwater warfare simulator
-
Seo K.M. et al. Measurement of effectiveness for an anti-torpedo combat system using a discrete event systems specification-based underwater warfare simulator. J Defens Model Simulat 2011; 8: 157-171.
-
(2011)
J Defens Model Simulat
, vol.8
, pp. 157-171
-
-
Seo, K.M.1
-
7
-
-
11844277628
-
Grand challenges in modeling and simulation of complex manufacturing systems
-
Fowler J.W. Rose O. Grand challenges in modeling and simulation of complex manufacturing systems. Simulation 2004; 80: 469-476.
-
(2004)
Simulation
, vol.80
, pp. 469-476
-
-
Fowler, J.W.1
Rose, O.2
-
8
-
-
33846676632
-
Efficient generation of cycle time-throughput curves through simulation based and metamodeling
-
Yang F. Ankenman B. Lelson B.L. Efficient generation of cycle time-throughput curves through simulation based and metamodeling. Nav Res Logist 2007; 54: 78-93.
-
(2007)
Nav Res Logist
, vol.54
, pp. 78-93
-
-
Yang, F.1
Ankenman, B.2
Lelson, B.L.3
-
9
-
-
0026872189
-
Analyzing algorithms by simulation: variance reduction techniques and simulation speedups
-
McGeoch C. Analyzing algorithms by simulation: variance reduction techniques and simulation speedups. ACM Comput Surv 1992; 24: 195-212.
-
(1992)
ACM Comput Surv
, vol.24
, pp. 195-212
-
-
McGeoch, C.1
-
10
-
-
49949088023
-
Multi-core processors: new way to achieve high system performance
-
proceedings of the PAR ELEC 2006, international symposium
-
Gepner P. Kowalik M.F. Multi-core processors: new way to achieve high system performance. In: proceedings of the PAR ELEC 2006, international symposium, 2006.
-
(2006)
-
-
Gepner, P.1
Kowalik, M.F.2
-
11
-
-
74349129727
-
Experiments with single core, multi-core, and GPU based computation of cellular automata
-
proceedings of the advances in system simulation
-
Rybacki S. Himmelspach J. Uhrmacher A.M. Experiments with single core, multi-core, and GPU based computation of cellular automata. In: proceedings of the advances in system simulation, 2009.
-
(2009)
-
-
Rybacki, S.1
Himmelspach, J.2
Uhrmacher, A.M.3
-
12
-
-
84863518922
-
Multicore acceleration of discrete event system specification systems
-
Liu Q. Wainer G. Multicore acceleration of discrete event system specification systems. Simulation 2012; 88: 801-831.
-
(2012)
Simulation
, vol.88
, pp. 801-831
-
-
Liu, Q.1
Wainer, G.2
-
13
-
-
0040621775
-
Experimental investigation of iterative simulation-based scheduling in a dynamic and stochastic job shop
-
Kutanoglu E. Sabuncuoglu I. Experimental investigation of iterative simulation-based scheduling in a dynamic and stochastic job shop. J Manuf Syst 2001; 20: 264-279.
-
(2001)
J Manuf Syst
, vol.20
, pp. 264-279
-
-
Kutanoglu, E.1
Sabuncuoglu, I.2
-
14
-
-
60749085029
-
A flexible and scalable experimentation layer
-
proceedings of the 40th conference on winter simulation
-
Himmelspach J. Ewald R. Uhrmacher A.M. A flexible and scalable experimentation layer. In: proceedings of the 40th conference on winter simulation, 2008.
-
(2008)
-
-
Himmelspach, J.1
Ewald, R.2
Uhrmacher, A.M.3
-
15
-
-
77952563226
-
Graphite: a distributed parallel simulator for multicores
-
proceedings of the 2010 IEEE 16th international symposium on high performance computer architecture (HPCA)
-
Miller J.E. et al. Graphite: a distributed parallel simulator for multicores. In: proceedings of the 2010 IEEE 16th international symposium on high performance computer architecture (HPCA), 2010.
-
(2010)
-
-
Miller, J.E.1
-
16
-
-
36349025314
-
Flexible state update mechanism for large-scale distributed wargame simulations
-
Zhou S.P. et al. Flexible state update mechanism for large-scale distributed wargame simulations. Simulation 2007; 83: 707-719.
-
(2007)
Simulation
, vol.83
, pp. 707-719
-
-
Zhou, S.P.1
-
17
-
-
84858046393
-
Distributed computing and modeling and simulation: speeding up simulations and creating large models
-
proceedings of the winter simulation conference
-
Taylor S.J.E. et al. Distributed computing and modeling and simulation: speeding up simulations and creating large models. In: proceedings of the winter simulation conference, 2011, pp.161-175.
-
(2011)
, pp. 161-175
-
-
Taylor, S.J.E.1
-
18
-
-
84866627447
-
mJADES: Concurrent simulation in the cloud
-
the proceedings of sixth international conference on complex, intelligent and software intensive systems (CISIS)
-
Rak M. Cuomo A. Villano U. mJADES: Concurrent simulation in the cloud. In: the proceedings of sixth international conference on complex, intelligent and software intensive systems (CISIS), 2012.
-
(2012)
-
-
Rak, M.1
Cuomo, A.2
Villano, U.3
-
20
-
-
0003858611
-
IEEE standard for distributed interactive simulation-application protocols (set)
-
IEEE 1278.1 and 1278.1A:1995. IEEE standard for distributed interactive simulation-application protocols (set).
-
-
-
-
21
-
-
70350538540
-
IEEE standard for modeling and simulation (M&S) high level architecture (HLA) – framework and rules
-
IEEE 1516:2000. IEEE standard for modeling and simulation (M&S) high level architecture (HLA) – framework and rules.
-
-
-
-
24
-
-
84993749781
-
Statistical analysis of parallel simulations
-
proceedings of winter simulation conference
-
Heidelberger P. Statistical analysis of parallel simulations. In: proceedings of winter simulation conference, 1983, pp.290-295.
-
(1983)
, pp. 290-295
-
-
Heidelberger, P.1
-
25
-
-
0034427989
-
A Java-based simulation manager for web-based simulation
-
proceedings of the 32nd winter simulation conference
-
Marr C. et al. A Java-based simulation manager for web-based simulation. In: proceedings of the 32nd winter simulation conference, 2000, pp.1815-1822.
-
(2000)
, pp. 1815-1822
-
-
Marr, C.1
-
26
-
-
84993745587
-
GRAM – Globus
-
(accessed August 2013)
-
Globus alliance. GRAM – Globus, http://dev.globus.org/wiki/GRAM (accessed August 2013).
-
-
-
-
27
-
-
84899120273
-
HTCondor Home
-
(accessed August 2013)
-
HT Condor. HTCondor Home, http://research.cs.wisc.edu/htcondor/ (accessed August 2013).
-
-
-
HT, C.1
-
28
-
-
84871393271
-
Oracle Grid Engine
-
(accessed August 2013)
-
Oracle. Oracle Grid Engine, http://www.oracle.com/us/products/tools/oracle-grid-engine-075549.html (accessed August 2013).
-
-
-
-
29
-
-
84993720744
-
Boinc
-
(accessed August 2013)
-
Berkeley. Boinc, http://boinc.berkeley.edu/ (accessed August 2013).
-
-
-
-
30
-
-
84899053617
-
Grid computing for Windows: distributed computing: cluster computing: grid computing for NET
-
(accessed August 2013)
-
Digipede. Grid computing for Windows: distributed computing: cluster computing: grid computing for NET, http://www.digipede.net (accessed August 2013).
-
-
-
-
31
-
-
0035694510
-
A framework for distributed simulation optimization
-
proceedings of the winter simulation conference
-
Gehlsen B. Page B. A framework for distributed simulation optimization. In: proceedings of the winter simulation conference, 2001, pp.508-514.
-
(2001)
, pp. 508-514
-
-
Gehlsen, B.1
Page, B.2
-
32
-
-
84863696525
-
Goal-directed grid-enabled computing for legacy simulations
-
proceedings of the cluster, cloud and grid computing, ACM/IEEE international symposium
-
Page E. et al. Goal-directed grid-enabled computing for legacy simulations. In: proceedings of the cluster, cloud and grid computing, ACM/IEEE international symposium, 2012, pp.873-879.
-
(2012)
, pp. 873-879
-
-
Page, E.1
-
33
-
-
84899124791
-
Gridway home
-
(accessed August 2013)
-
Globus Alliance. Gridway home, http://dev.globus.org/wiki/GridWay (accessed August 2013).
-
-
-
-
34
-
-
26844512915
-
Concurrent replication of parallel and distributed simulations
-
proceedings of the workshop on principles of advanced and distributed simulation
-
Bononi L. et al. Concurrent replication of parallel and distributed simulations. In: proceedings of the workshop on principles of advanced and distributed simulation, 2005, pp.234-243.
-
(2005)
, pp. 234-243
-
-
Bononi, L.1
-
35
-
-
26844504293
-
ARTIS: a parallel and distributed simulation middleware for performance evaluation
-
proceedings of the 19th international symposium on computer and information sciences (ISCIS 2004)
-
Bononi L. et al. ARTIS: a parallel and distributed simulation middleware for performance evaluation. In: proceedings of the 19th international symposium on computer and information sciences (ISCIS 2004), 2004, pp.627-637.
-
(2004)
, pp. 627-637
-
-
Bononi, L.1
-
36
-
-
84858019181
-
SakerGrid: simulation experimentation using grid enabled simulation software
-
proceedings of the winter simulation conference
-
Kite S. Taylor S.J.E. SakerGrid: simulation experimentation using grid enabled simulation software. In: proceedings of the winter simulation conference, 2011, pp.2278-2288.
-
(2011)
, pp. 2278-2288
-
-
Kite, S.1
Taylor, S.J.E.2
-
37
-
-
84867713244
-
Process-oriented discrete-event simulation in Java with continuations: quantitative performance evaluation
-
proceedings of international conference on simulation and modeling methodologies, technologies and applications (SIMULTECH), Rome
-
Cuomo A. Rak M. Villano U. Process-oriented discrete-event simulation in Java with continuations: quantitative performance evaluation. In: proceedings of international conference on simulation and modeling methodologies, technologies and applications (SIMULTECH), Rome, 2012, pp.87-96.
-
(2012)
, pp. 87-96
-
-
Cuomo, A.1
Rak, M.2
Villano, U.3
-
38
-
-
80052605663
-
Towards a cross platform cloud API - components for cloud federation
-
proceedings of the international conference on cloud computing and services science
-
Petcu D. Craciun C. Rak M. Towards a cross platform cloud API - components for cloud federation. In: proceedings of the international conference on cloud computing and services science, 2011.
-
(2011)
-
-
Petcu, D.1
Craciun, C.2
Rak, M.3
-
39
-
-
35348861182
-
DRAMsim: a memory system simulator
-
Wang D. et al. DRAMsim: a memory system simulator. Comput Architect News 2005; 33: 100-107.
-
(2005)
Comput Architect News
, vol.33
, pp. 100-107
-
-
Wang, D.1
-
40
-
-
2542530342
-
Performance analysis of a stand-alone high-sensitivity receiver
-
MacGougan G. et al. Performance analysis of a stand-alone high-sensitivity receiver. GPS Solutions 2002; 6: 179-195.
-
(2002)
GPS Solutions
, vol.6
, pp. 179-195
-
-
MacGougan, G.1
-
41
-
-
84993684258
-
-
Modeling, simulation and analysis of complex networked systems: a program plan. Lawrence Livermore National Laboratory, LLNL-TR-4112733, 2009.
-
Brase J.M. Brown D.L. Modeling, simulation and analysis of complex networked systems: a program plan. Lawrence Livermore National Laboratory, LLNL-TR-4112733, 2009. http://science.energy.gov/~/media/ascr/pdf/program-documents/docs/Complex_networked_systems_program_final.pdf.
-
-
-
Brase, J.M.1
Brown, D.L.2
-
42
-
-
0033313670
-
A Matlab-based modeling and simulation package for electric and hybrid electric vehicle design
-
Butler K.L. Ehsani M. Kamath P. A Matlab-based modeling and simulation package for electric and hybrid electric vehicle design. IEEE Trans Veh Tech 1999; 48: 1770-1778.
-
(1999)
IEEE Trans Veh Tech
, vol.48
, pp. 1770-1778
-
-
Butler, K.L.1
Ehsani, M.2
Kamath, P.3
-
43
-
-
49349127651
-
Survey of protocol definition and verification techniques
-
Sunshine C.A. Survey of protocol definition and verification techniques. Comput Network (1976) 1978; 2: 346-350.
-
(1978)
Comput Network
, vol.2
, pp. 346-350
-
-
Sunshine, C.A.1
-
45
-
-
0023843812
-
Survey of protocol verification techniques based on finite state machine models
-
proceedings of the computer networking symposium
-
Yuang M.C. Survey of protocol verification techniques based on finite state machine models. In: proceedings of the computer networking symposium, 1988.
-
(1988)
-
-
Yuang, M.C.1
-
47
-
-
82955180814
-
DEVSim++ toolset for defense modeling and simulation and interoperation
-
Kim T.G. et al. DEVSim++ toolset for defense modeling and simulation and interoperation. J Defens Model Simulat 2011; 8: 129-142.
-
(2011)
J Defens Model Simulat
, vol.8
, pp. 129-142
-
-
Kim, T.G.1
-
48
-
-
84993731736
-
-
(accessed December 2012)
-
Department of the Army, Korea Combat Training Center, http://www.kctc.mil.kr/main.html (accessed December 2012).
-
-
-
-
49
-
-
84993792485
-
Modeling synthetic opponents in MOUT training simulations using the ACT-R cognitive architecture
-
proceedings of the 11th conference on computer generated forces and behavior representation
-
Best B.J. Lebiere C. Scarpinatto K.C. Modeling synthetic opponents in MOUT training simulations using the ACT-R cognitive architecture. In: proceedings of the 11th conference on computer generated forces and behavior representation, 2002.
-
(2002)
-
-
Best, B.J.1
Lebiere, C.2
Scarpinatto, K.C.3
|