Using On-line Simulation for Adaptive Path Planning of UAVs by Kamrani, Farzad, Ayani, Rassul

Get full text

Hybrid source-level simulation of data caches using abstract cache models by Stattelmann, Stefan, Gebhard, Gernot, Cullmann, Christoph, Bringmann, Oliver, Rosenstiel, Wolfgang

Get full text

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

Effect of Proactive Braking on Traffic Flow and Road Throughput by Riener, Andreas, Ferscha, Alois

A hardware/software co-design flow and IP library based on simulink by Reyneri, L. M., Cucinotta, F., Serra, A., Lavagno, L.

Out-of-order parallel simulation for ESL design by Chen, Weiwei, Han, Xu, Dömer, Rainer

Get full text

42 TFlops hierarchical N-body simulations on GPUs with applications in both astrophysics and turbulence by Hamada, Tsuyoshi, Narumi, Tetsu, Yokota, Rio, Yasuoka, Kenji, Nitadori, Keigo, Taiji, Makoto

Timing driven placement using physical net constraints by Halpin, Bill, Chen, C. Y. Roger, Sehgal, Naresh

Using symbolic algebra in algorithmic level DSP synthesis by Peymandoust, Armita, De Micheli, Giovanni

Animation VR Motion Simulation Evaluation Based on Somatosensory Simulation Control Algorithm by Yang, Zirui

Verifying jitter in an analog and mixed signal design using dynamic time warping by Narayanan, Rajeev, Daghar, Alaeddine, Zaki, Mohamed H., Tahar, Sofiène

Get full text

Expression-Level Parallelism for Distributed Spice Circuit Simulation by Pfeifer, D., Gerstlauer, A.

A Mininet-based Virtual Testbed for Distributed SDN Development by Lantz, Bob, O'Connor, Brian

Focusing processor policies via critical-path prediction by Fields, Brian, Rubin, Shai, Bodík, Rastislav

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

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.

Model driven resource usage simulation for critical embedded systems by Lafaye, Michaël, Pautet, Laurent, Borde, Etienne, Gatti, Marc, Faura, David

Get full text

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

Efficient Load Balancing Schemes for Large-Scale Real-Time HLA/RTI Based Distributed Simulations by Boukerche, Azzedine, Shadid, Ahmad, Zhang, Ming

Get full text

A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation by Cucuzzo, Diego, D'Alessio, Stefano, Quaglia, Francesco, Romano, Paolo

Get full text