126 citations
- Synopsys (Switzerland)CH5 papers
- University of VirginiaUS4 papers
- Tsinghua UniversityCN3 papers
- Xihua UniversityCN3 papers
- Beijing National Research Center for Information Science and TechnologyCN2 papers
- Portland State UniversityUS2 papers
- Singapore Management UniversitySG2 papers
- Singapore University of Technology and DesignSG2 papers
- Teesside UniversityGB2 papers
- University of Illinois Urbana-ChampaignUS2 papers
- Ames Research CenterUS1 paper
- Ansys (United Kingdom)GB1 paper
Showing 2019Show all
3 papers · 1 filter
cs.PL2019
Concolic Testing Heap-Manipulating Programs
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +1
Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on…
cs.OH2019★ 1 cited
New-Generation Design-Technology Co-Optimization (DTCO): Machine-Learning Assisted Modeling Framework
Zhe Zhang, Runsheng Wang, Cheng Chen +6
In this paper, we propose a machine-learning assisted modeling framework in design-technology co-optimization (DTCO) flow. Neural network (NN) based surrogate model is used as an a…
cond-mat.mes-hall2019★ 7 cited
Computational search for ultrasmall and fast skyrmions in the Inverse Heusler family
Yunkun Xie, Jianhua Ma, Hamed Vakilitaleghani +2
Skyrmions are magnetic excitations that are potentially ultrasmall and topologically protected, making them interesting for high-density all-electronic ultrafast storage applicatio…