Verisim:Formal analysis of network simulations by Bhargavan, Karthikeyan, Gunter, Carl A, Kim, Moonjoo, Lee, Insup, Obradovic, Davor, Sokolsky, Oleg, Viswanathan, Mahesh

Scaling, hierarchical modeling, and reuse in an object-oriented modeling and simulation system by Daum, Thorsten, Sargent, Robert G.

Get full text

Simultaneous multithreading: maximizing on-chip parallelism by Tullsen, Dean M., Eggers, Susan J., Levy, Henry M.

Modeling and Validation of Biased Human Trust by Hoogendoorn, M., Jaffry, S. W., van Maanen, P.-P, Treur, J.

Get full text

Generating Tests from Counterexamples by Beyer, Dirk, Chlipala, Adam J., Henzinger, Thomas A., Jhala, Ranjit, Majumdar, Rupak

Distributed supply chain simulation in a DEVS/CORBA execution environment by Zeigler, Bernard P., Kim, Doohwan, Buckley, Stephen J.

Get full text

Disk Drive Roadmap from the Thermal Perspective: A Case for Dynamic Thermal Management by Gurumurthi, Sudhanva, Sivasubramaniam, Anand, Natarajan, Vivek K.

An Implementation of the SSF Scalable Simulation Framework on the Cray MTA by Henry, Robert R., Kahan, Simon H., Liu, Jason, Nicol, David M.

Get full text

JavaBean-based simulation with a decision making bean by Fukunari, Miki, Chi, Yu-liang, Wolfe, Philip M.

Get full text

On weather affecting to Brown plant hopper invasion using an Agent-based model by Nguyen Nhi Gia, Vinh, Thanh Vo, Tung, Xuan Huynh, Hiep, Drogoul, Alexis

Ad Hoc Distributed Simulations by Fujimoto, Richard, Hunter, Michael, Sirichoke, Jason, Palekar, Mahesh, Kim, Hoe, Suh, Wonho

Enhancing simulation models for emergency rooms using VBA by Alvarez, Adriana M., Centeno, Martha A.

Get full text

ABCD-L: approximating continuous linear systems using boolean models by Karthik, Aadithya V., Roychowdhury, Jaijeet

Simulation to support operational testing: a practical application by Canova, Bradford S., Christensen, Peter H., Lee, Michael D., Tripp, Bruce R., Pack, Michael H., Pack, David L.

Get full text

Mapping to irregular torus topologies and other techniques for petascale biomolecular simulation by Phillips, James C., Sun, Yanhua, Jain, Nikhil, Bohm, Eric J., Kalé, Laxmikant V.

Process measurement through process modeling and simulation by Huff, K. E.

Get full text

Applications of discrete and combined modeling to global simulation by Clymer, A. Ben

Get full text

CCR: A Model for Sharing Reputation Knowledge Across Virtual Communities by Grinshpoun, Tal, Gal-Oz, Nurit, Meisels, Amnon, Gudes, Ehud

Get full text

A generalized multiple response surface methodology for complex computer simulation applications by Schamburg, Jeffrey B., Brown, Donald E.

Get full text

Introduction to ARENA by Hammann, John E., Markovitch, Nancy A.

Get full text