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

Using improved resource interfaces to formally describe adaptability in embedded systems by Persson, Magnus, Törngren, Martin

Transparent State Management for Optimistic Synchronization in the High Level Architecture by Santoro, Andrea, Quaglia, Francesco

A transaction-based unified simulation/emulation architecture for functional verification by Kudlugi, Murali, Hassoun, Soha, Selvidge, Charles, Pryor, Duaine

A Multiagent Tool to Simulate Hybrid Real/Virtual Embedded Agent Societies by Jamont, Jean-Paul, Occello, Michel

Get full text

Increasing Coverage of Information Diffusion Processes by Reducing the Number of Initial Seeds by Jankowski, Jarosław, Michalski, Radosław, Bródka, Piotr, Karczmarczyk, Artur

Speculation techniques for high level synthesis of control intensive designs by Gupta, Sumit, Savoiu, Nick, Kim, Sunwoo, Dutt, Nikil, Gupta, Rajesh, Nicolau, Alex

Multiprocessor performance estimation using hybrid simulation by Gao, Lei, Karuri, Kingshuk, Kraemer, Stefan, Leupers, Rainer, Ascheid, Gerd, Meyr, Heinrich

Flexible Hardware Acceleration for Instruction-Grain Program Monitoring by Chen, Shimin, Kozuch, Michael, Strigkos, Theodoros, Falsafi, Babak, Gibbons, Phillip B., Mowry, Todd C., Ramachandran, Vijaya, Ruwase, Olatunji, Ryan, Michael, Vlachos, Evangelos

Analysis of non-uniform temperature-dependent interconnect performance in high performance ICs by Ajami, Amir H., Banerjee, Kaustav, Pedram, Massoud, van Ginneken, Lukas P. P. P.

µsik " A Micro-Kernel for Parallel/Distributed Simulation Systems by Perumalla, Kalyan S.

Get full text

Scalable Time Warp on Blue Gene Supercomputers by Bauer Jr, David W., Carothers, Christopher D., Holder, Akintayo

DEVS/SOA: Towards DEVS Interoperability in Distributed M&S by Moreno, Alejandro, Risco-Martín, José L., Besada, Eva, Mittal, Saurabh, Aranda, Joaquín

Towards Domain-Specific Modelling Environments Based on Augmented Reality by Brunschwig, Lea, Campos-Lopez, Ruben, Guerra, Esther, de Lara, Juan

Get full text

Color compatibility from large datasets by O'Donovan, Peter, Agarwala, Aseem, Hertzmann, Aaron

Intelligent Management of Data Driven Simulations to Support Model Building by Kennedy, Catriona, Theodoropoulos, Georgios

Simulation using GPSS/H by Crain, Robert C., Henriksen, James O.

Get full text

Modelling systems by Anantharam, Parasuram

Including variability of physical models into the design automation of cyber-physical systems by Buini, Hamid Mirzaei, Peter, Steffen, Givargis, Tony

Software for simulation by Banks, Jerry

Get full text