Using Abstraction in the Verification of Simulation Coercion by Liu, Xinyu, Reynolds, Paul F., Brogan, David C.

Power modeling of graphical user interfaces on OLED displays by Dong, Mian, Choi, Yung-Seok Kevin, Zhong, Lin

A Management and Control Infrastructure for Integrated Real-Time Simulation Environment by Xiao Xu, Ge Li

Evaluating JACK Sim for Agent-Based Modelling of Pedestrians by Ronald, Nicole, Sterling, Leon, Kirley, Michael

Get full text

Simulation-directed invariant mining for software verification by Cheng, Xueqi, Hsiao, Michael S.

Get full text

Ensuring building performance through simulation by Smith, Dana K.

Get full text

An ns-based Bluetooth Topology Construction Simulation Environment by Hsu, Chia-Jui, Joung, Yuh-Jzer

Get full text

Magrathea: Building and Analyzing Ubiquitous and Social Systems by Perkio, Jukka, Myllymaki, Petri

Get full text

Simulation as support for production planning in small and medium enterprise: a case study by Mosca, Roberto, Cassettari, Lucia, Revetria, Roberto, Magro, Gianluca

Get full text

A new computational paradigm in multiscale simulations: application to brain blood flow by Grinberg, Leopold, Insley, Joseph A., Morozov, Vitali, Papka, Michael E., Karniadakis, George Em, Fedosov, Dmitry, Kumaran, Kalyan

Simulating payoff distribution in networks of economic agents by Barina, Gabriel, Udrescu, Mihai, Topirceanu, Alexandru, Vladutiu, Mircea

Get full text

A Generic Symbiotic Simulation Framework by Huang, Shell Ying, Cai, Wentong, Turner, Stephen John, Hsu, Wen Jing, Zhou, Suiping, Low, Malcolm Yoke Hean, Fujimoto, Richard, Ayani, Rassul

Synchronization for hybrid MPSoC full-system simulation by Murillo, Luis Gabriel, Eusse, Juan, Jovic, Jovana, Yakoushkin, Sergey, Leupers, Rainer, Ascheid, Gerd

Recovering model invariants from simulation traces with Petri net analysis techniques by Kemper, Peter

Get full text

Swendsen-Wang multi-cluster algorithm for the 2D/3D Ising model on Xeon Phi and GPU by Wende, Florian, Steinke, Thomas

Experiences with the alternate reality kit: an example of the tension between literalism and magic by Smith, Randall B

Simulation-optimization integrated approach to planning ready mixed concrete production and delivery: validation and applications by Lu, Ming, Lam, Hoi-Ching

Get full text

CuMAPz: a tool to analyze memory access patterns in CUDA by Kim, Yooseong, Shrivastava, Aviral

Modeling an Ambient Agent to Support Depression Relapse Prevention by Aziz, Azizi A., Klein, Michel C. A., Treur, Jan

Get full text

Appearance Modelling of Living Human Tissues by Nunes, Augusto L.P., Maciel, Anderson, Meyer, Gary W., John, Nigel W., Baranoski, Gladimir V.G., Walter, Marcelo