default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 273 matches
- 2024
- Rishov Sarkar, Rachel Paul, Cong Hao:
LightningSimV2: Faster and Scalable Simulation for High-Level Synthesis via Graph Compilation and Optimization. FCCM 2024: 104-114 - Rishov Sarkar, Rachel Paul, Cong Hao:
LightningSimV2: Faster and Scalable Simulation for High-Level Synthesis via Graph Compilation and Optimization. CoRR abs/2404.09471 (2024) - 2023
- Daniel A. Sepulveda Estay:
A system dynamics, epidemiological approach for high-level cyber-resilience to zero-day vulnerabilities. J. Simulation 17(1): 1-16 (2023) - Haocheng Ma, Max Panoff, Jiaji He, Yiqiang Zhao, Yier Jin:
EMSim: A Fast Layout Level Electromagnetic Emanation Simulation Framework for High Accuracy Pre-Silicon Verification. IEEE Trans. Inf. Forensics Secur. 18: 1365-1379 (2023) - Johannes Göpfert, Bernd-Christian Renner:
High-level Simulation of the Timely Behavior of Intermittent Systems. ENSsys@SenSys 2023: 1-7 - Rishov Sarkar, Cong Hao:
LightningSim: Fast and Accurate Trace-Based Simulation for High-Level Synthesis. FCCM 2023: 1-11 - Jun Zhang, Wenxuan Ao, Depeng Jin, Li Liu, Yong Li:
A City-level High-performance Spatio-temporal Mobility Simulation System. SuMob@SIGSPATIAL 2023: 23-32 - Rishov Sarkar, Cong Hao:
LightningSim: Fast and Accurate Trace-Based Simulation for High-Level Synthesis. CoRR abs/2304.11219 (2023) - Michel Takken, Robert Wille:
Accelerating CFD Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction. CoRR abs/2310.05557 (2023) - 2022
- Long Cu Ngo, Quang-Ngoc Dinh, Hyoung Gwon Choi:
High-order level set reinitialization for multiphase flow simulations based on unstructured grids. Comput. Math. Appl. 120: 60-77 (2022) - Mahadevan Ganesh, B. Reyes:
An efficient multi-level high-order algorithm for simulation of a class of Allen-Cahn stochastic systems. J. Comput. Appl. Math. 401: 113765 (2022) - Mohammed Abderehman, Jayprakash Patidar, Jay H. Oza, Yom Nigam, T. M. Abdul Khader, Chandan Karfa:
FastSim: A Fast Simulation Framework for High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(5): 1371-1385 (2022) - Yue Xing, Aarti Gupta, Sharad Malik:
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models. ASP-DAC 2022: 154-159 - Ryota Higa, Shinji Nakadai:
High-level Reward Deep Reinforcement Learning Approach for a Novel Physical-Logical Hybrid Factory Line Robot Vehicle Simulation. CASE 2022: 1399-1404 - Mahsa Pourbafrani, Wil M. P. van der Aalst:
Hybrid Business Process Simulation: Updating Detailed Process Simulation Models Using High-Level Simulations. RCIS 2022: 177-194 - Aditya Thimmaiah, Vishnuvardhan V. Iyer, Andreas Gerstlauer, Michael Orshansky:
High-Level Simulation of Embedded Software Vulnerabilities to EM Side-Channel Attacks. SAMOS 2022: 155-170 - Xiaojun Liu:
Design of Communication Simulation System Based on High-Level Architecture. WAC 2022: 272-276 - 2021
- Breytner Fernández-Mesa:
Exploration of Direct Synchronization Approaches for a High-Level and Unified Simulation of Discrete-Event/Continuous-Time Systems. (Exploration des approches de synchronisation directes pour la simulation unifiée et de haut niveau des systèmes continus/discrets). Grenoble Alpes University, France, 2021 - Clément Pit-Claudel, Thomas Bourgeat, Stella Lau, Arvind, Adam Chlipala:
Effective simulation and debugging for a high-level hardware language using software compilers. ASPLOS 2021: 789-803 - Thomas Eleftherios Dimitrios Kizas, Lorenzo Crespi, Piero Malcovati, Andrea Baschirotto:
A Library of High-Level Models for the Simulation of DC-DC Converters. LASCAS 2021: 1-4 - Koei Watanabe, Kohei Kikuchi, Taisuke Boku, Takuto Sato, Hiroyuki Kusaka:
High Resolution of City-Level Climate Simulation by GPU with Multi-physical Phenomena. NPC 2021: 3-15 - Jie Zhou, Jing Li, Shanlin Qin, Rongliang Chen:
High Resolution Patient-Specific Blood Flow Simulation in a Full-Size Aneurysmal Aorta Based on a Parallel Two-Level Method. PDCAT 2021: 336-348 - 2020
- Wei Lu, Lee D. Han, Cheng Liu, Budhendra L. Bhaduri:
Correction to: Impacts of High Resolution Data on Traveler Compliance Levels in Emergency Evacuation Simulations. Int. J. Intell. Transp. Syst. Res. 18(3): 461 (2020) - Bukhtawar Elahi, Asad Waqar Malik, Anis Ur Rahman, Muazzam Ali Khan:
Toward scalable cloud data center simulation using high-level architecture. Softw. Pract. Exp. 50(6): 827-843 (2020) - Changdao Du, Iman Firmansyah, Yoshiki Yamaguchi:
FPGA-Based Computational Fluid Dynamics Simulation Architecture via High-Level Synthesis Design Method. ARC 2020: 232-246 - Jiajian Xiao, Görkem Kilinç, Philipp Andelfinger, David Eckhoff, Wentong Cai, Alois C. Knoll:
Pedal to the Bare Metal: Road Traffic Simulation on FPGAs Using High-Level Synthesis. SIGSIM-PADS 2020: 117-121 - Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös:
Simulation-based Safety Assessment of High-level Reliability Models. MARS@ETAPS 2020: 240-260 - 2019
- Xianqiong Zhao, Olaf Malasse, Grégory Buchheit:
Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation. Reliab. Eng. Syst. Saf. 184: 258-265 (2019) - Javier Alejandro Martínez Nieto, Nicolás J. Medrano-Marqués, María Teresa Sanz-Pascual, Belén Calvo López:
High-Level Modeling and Simulation Tool for Sensor Conditioning Circuit Based on Artificial Neural Networks. Sensors 19(8): 1814 (2019) - Alberto Falcone, Alfredo Garro:
Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface. Simul. Model. Pract. Theory 97 (2019)
skipping 243 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-24 04:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint