Melissa: large scale in transit sensitivity analysis avoiding intermediate files by Terraz, Théophile, Ribes, Alejandro, Fournier, Yvan, Iooss, Bertrand, Raffin, Bruno

Simulation environments for the design and test of an intelligent controller for autonomous underwater vehicles by Roeckel, Michael W., Rivoir, Robert H., Gibson, Ronald E., Linder, Stephen P.

Get full text

HPNS: a hybrid process net simulation environment executing online dynamic models of industrial manufacturing systems by Bohlmann, Sebastian, Klinger, Volkhard, Szczerbicka, Helena

Get full text

Assume-Guarantee Verification of Source Code with Design-Level Assumptions by Giannakopoulou, Dimitra, Pasareanu, Corina S., Cobleigh, Jamieson M.

Memory access optimizations in instruction-set simulators by Reshadi, Mehrdad, Mishra, Prabhat

Get full text

Simulation of a large-scale brewery distribution system by Weigl, K. Heinz

Get full text

Model generation issues in a simulation support environment by Balci, Osman, Nance, Richard E., Derrick, E. Joseph, Page, Ernest H., Bishop, John L.

Get full text

Bilateral Bargaining with One-Sided Two-Type Uncertainty by An, Bo, Gatti, Nicola, Lesser, Victor

Get full text

Implementation of Federation Management Services over Federation Community Networks by CAI, Wentong, LI, Guangya, TURNER, Stephen J., LEE, Bu-Sung, LIU, Li

Get full text

Evaluation of a Large-Scale Ubiquitous System Model through Peer-to-Peer Protocol Simulation by Barbosa, Jorge, Hahn, Rodrigo, Bonatto, Daniel, Cecin, Fabio, Geyer, Claudio

Get full text

Data caching tradeoffs in client-server DBMS architectures by Carey, Michael J, Franklin, Michael J, Livny, Miron, Shekita, Eugene J

Analysis of Computational Models to Describe Individual Decision-Making Process by Santos, Eugene, Nguyen, Hien, Kim, Keum Joo, Russell, Jacob, Veenhuis, Luke, De Guelle, Luke

Get full text

Simulation interoperability using Micro Saint simulation software by Bloechle, Wendy K., Laughery, K. Ronald

Get full text

Functional design of a generalized vehicle flight simulation program by Henderson, Vilas D.

Java-based simulation of construction processes using Silk by Sawhney, Anil, Manickam, Jayachandran, Mund, André, Marble, Jennifer

Get full text

Animating suspended particle explosions by Feldman, Bryan E, O'Brien, James F, Arikan, Okan

Vesp'R: design and evaluation of a handheld AR device by Veas, Eduardo, Kruijff, Ernst

Get full text

Emotion Classification Using Web Blog Corpora by Yang, Changhua, Lin, Kevin Hsin-Yih, Chen, Hsin-Hsi

Get full text

An Algorithm Selection Approach for Simulation Systems by Ewald, Roland, Himmelspach, Jan, Uhrmacher, Adelinde M.

Quaternion Julia Set Shape Optimization by Kim, Theodore