Validation and verification of the simulation model of a photolithography process in semiconductor manufacturing by Nayani, Nirupama, Mollaghasemi, Mansooreh

Get full text

Photometric registration by adaptive high dynamic range image generation for augmented reality by Yusaku Nishina, Bunyo Okumura, Kanbara, M., Yokoya, N.

Get full text

Quick response replenishment: a case study by King, Russell E., Moon, Kara

Get full text

A new simulation model for expressway weaving sections evaluation by Jian, Sun, Xiaoguang, Yang, Yunlong, Ma

Get full text

A web-based little man computer simulator by Yurcik, William, Brumbaugh, Larry

A framework for object oriented hardware specification, verification, and synthesis by Kuhn, T., Oppold, T., Winterholer, M., Rosenstiel, W., Edwards, Marc, Kashai, Yaron

PROFET: Modeling System Performance and Energy Without Simulating the CPU by Radulovic, Milan, Verdejo, Rommel Sánchez, Carpenter, Paul, Radojković, Petar, Jacob, Bruce, Ayguadé, Eduard

Compositional Training for Safe AI-Based Cyber-Physical Systems by Chatterjee, Sobhan, Shankar, Saumya, Roop, Partha

Augmenting the CAVE: An Initial Study into Close Focused, Inward Looking, Exploration in IPT Systems by Aspin, Rob, Le, Kien Hoang

Get full text

Using simulation with a logit choice model to assess the commercial feasibility of an advanced environmental technology by Kauffmann, Paul J.

Get full text

An approach for finding discrete variable design alternatives using a simulation optimization method by Lee, Young Hae, Park, Kyoung Jong, Kim, Tag Gon

Get full text

Simulation-based constraint generation with applications to optimization of logistic system design by Morito, Susumu, Koida, Jun, Iwama, Tsukasa, Sato, Masanori, Tamura, Yosiaki

Get full text

Searching for important factors: sequential bifurcation under uncertainty by Cheng, Russell C. H.

Get full text

Applying the simulation process: simulation study of HDA parts degreaser by Kittell, Robert, Dunkin, Ann

Get full text

A parallel data distribution management algorithm by Marzolla, Moreno, D'Angelo, Gabriele, Mandrioli, Marco

The modelling of tactics and procedures using a component based system by Martin, Phillip

Get full text

The impact of transients on simulation variance estimators by Ockerman, Daniel H., Goldsman, David

Get full text

Character navigation in dynamic environments based on optical flow by López, Axel, Chaumette, François, Marchand, Eric, Pettré, Julien

Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications by Hoque, Khaza Anuarul, Mohamed, O. Ait, Savaria, Yvon, Thibeault, Claude

Get full text

Rare event simulation of delay in packet switching networks using DPR-based splitting by Haraszti, Zsolt, Townsend, J. Keith

Get full text