Optimistic Protocol Analysis in a Performance Analyzer and Prediction Tool by Teo, Peihan, Turner, Stephen John, Juhasz, Zoltan

Implementation of a Molecular Simulator Based on a MultiAgent System by Avellaneda, Fabio, Bustacara, Cesar, Garzon, Juan Pablo, Gonzalez, Enrique

Get full text

A procedural approach to authoring solid models by Cutler, Barbara, Dorsey, Julie, McMillan, Leonard, Muller, Matthias, Jagnow, Robert

QoS provisioning in clusters: an investigation of Router and NIC design by Yum, Ki Hwan, Kim, Eun Jung, Das, Chita R.

Functional Validation of System Level Static Scheduling by Abdi, Samar, Gajski, Daniel

Solid simulation with oriented particles by Muller, Matthias, Chentanez, Nuttapong

Information modelling of EDIF by Lau, Rachel Y. W., Kahn, Hilary J.

Massively parallel phase-field simulations for ternary eutectic directional solidification by Bauer, Martin, Hötzer, Johannes, Jainta, Marcus, Steinmetz, Philipp, Berghoff, Marco, Schornbaum, Florian, Godenschwager, Christian, Köstler, Harald, Nestler, Britta, Rüde, Ulrich

A Rule-based Approach to Syntactic and Semantic Composition of BOMs by Moradi, Farshad, Ayani, Rassul, Tan, Gary

Get full text

Eliminating invariants in UML/OCL models by Soeken, Mathias, Wille, Robert, Drechsler, Rolf

Get full text

Traffic modeling software for IVHS applications by Santiago, Alberto J., Chen, Hobih

Get full text

Optimizing the Data Movement in Quantum Transport Simulations via Data-Centric Parallel Programming by Ziogas, Alexandros Nikolaos, Ben-Nun, Tal, Fernandez, Guillermo Indalecio, Schneider, Timo, Luisier, Mathieu, Hoefler, Torsten

A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration by Sorensen, Tyler, Manocha, Aninda, Tureci, Esin, Orenes-Vera, Marcelo, Aragon, Juan L., Martonosi, Margaret

The modeling of perfect sequencing flexibilty in a scheduling environment by Schriber, Thomas J.

Get full text

MODSIM III-a tutorial with advances in database access and HLA support by Goble, John, Wood, Brian

Get full text

A Tool for Writing and Debugging Algebraic Specifications by Henkel, Johannes, Diwan, Amer

Introduction to AweSim by O'Reilly, Jean J., Lilegdon, William R.

Get full text

Reversible Parallel Discrete-Event Execution of Large-Scale Epidemic Outbreak Models by Perumalla, Kalyan S., Seal, Sudip K.

A multi-purpose toll collection plaza model by Junga, Andrew J.

Get full text

A picture-based object-oriented visual simulation environment by Balci, Osman, Bertelrud, Anders I., Esterbrook, Charles M., Nance, Richard E.

Get full text