London July, 19th 2013 CloudSME project brings SMEs closer to cloud computing Computer simulation can significantly improve the competitive position of manufacturing and engineering companies by helping to achieve effici

Source URL: www.cloudbroker.com

• Cloud computing
• Computing
• Cloud infrastructure
• Software
• Computational science
• Scientific modeling
• Virtual reality
• Simulation software
• Software as a service
• Simulation
• Computer simulation
• Business process management

An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174,

Source URL: perso.ensta-paristech.fr

Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Source URL: publish.illinois.edu

Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse

Source URL: perso.ensta-paristech.fr

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

Simulation eines Quantencomputers Bj¨orn Butscher, Hendrik Weimer Universit¨at Stuttgart 22. M¨arz

Source URL: www.libquantum.de

Big data and AI Proxy Benchmarks for Simulation Chen Zheng http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA

Source URL: prof.ict.ac.cn

• Modeling and simulation
• Simulation
• Computer performance
• Benchmark
• Big data
• Computing
• Data
• Information

3D convolutional GAN for fast simulation GeantV meeting F. Carminati, G. Khattak, S. Vallecorsa June 2018

Source URL: indico.cern.ch

• Physics
• Particle physics
• Experimental particle physics
• Particle detectors
• Experimental physics
• Geant4
• Calorimeter
• GEANT-3
• Large Hadron Collider
• CALICE

Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE

Source URL: www.falkhowar.de

• Transport
• Land transport
• Automation
• Emerging technologies
• Road transport
• Modeling and simulation
• Advanced driver assistance systems
• Simulation
• Advanced driver-assistance systems
• Self-driving car
• Traffic
• Automated driving system

PDF Document

Source URL: www.simulation-studies.org