Design for Verification of SystemC Transaction Level Models by Habibi, Ali, Tahar, Sofiene

Improving Time Parallel Simulation for Monotone Systems by Fourneau, Jean-Michel, Kadi, Imene, Pekergin, Nihal

Collocated AAR: Augmenting After Action Review with Mixed Reality by Quarles, John, Lampotang, Samsun, Fischler, Ira, Fishwick, Paul, Lok, Benjamin

Get full text

Leveraging the Compute Power of two HPC Systems for Higher-Dimensional Grid-Based Simulations with the Widely-Distributed Sparse Grid Combination Technique by Pollinger, Theresa, Van Craen, Alexander, Niethammer, Christoph, Breyer, Marcel, Pfluger, Dirk

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

Performance modeling in industry: a case study on storage virtualization by Huber, Nikolaus, Becker, Steffen, Rathfelder, Christoph, Schweflinghaus, Jochen, Reussner, Ralf H.

Modelling Robot Architectures with AADL by Bardaro, Gianluca, Matteucci, Matteo

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

A methodology for full-system power modeling in heterogeneous data centers by Canuto, Mauro, Bosch, Raimon, Macias, Mario, Guitart, Jordi

Get full text

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

Improving Scalability of Network Emulation through Parallelism and Abstraction by Kiddle, Cameron, Simmonds, Rob, Unger, Brian

Massively parallel models of the human circulatory system by Randles, Amanda, Draeger, Erik W., Oppelstrup, Tomas, Krauss, Liam, Gunnels, John A.

Slipstream processors:improving both performance and fault tolerance by Sundaramoorthy, Karthik, Purser, Zach, Rotenburg, Eric

Run-time efficient probabilistic model checking by Filieri, Antonio, Ghezzi, Carlo, Tamburrelli, Giordano

ReVision: a tool for history-based model repair recommendations by Ohrndorf, Manuel, Pietsch, Christopher, Kelter, Udo, Kehrer, Timo

Emerald: Graphics Modeling for SoC Systems by Gubran, Ayub A., Aamodt, Tor M.

Dynamic Load Balancing Using Grid Services for HLA-Based Simulations on Large-Scale Distributed Systems by Boukerche, Azzedine, Grande, Robson Eduardo De

Image-based procedural modeling of facades by Muller, Pascal, Zeng, Gang, Wonka, Peter, Van Gool, Luc

A probabilistic analysis method for functional qualification under mutation analysis by Lin, Hsiu-Yi, Wang, Chun-Yao, Chang, Shih-Chieh, Chen, Yung-Chih, Chou, Hsuan-Ming, Huang, Ching-Yi, Yang, Yen-Chi, Shen, Chun-Chien

Get full text

Dead-block prediction & dead-block correlating prefetchers by Lai, An-Chow, Fide, Cem, Falsafi, Babak