Search results for "ATS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
142	Min Gyu Cho, Kang G. Shin	On Soft Real-Time Guarantees on Ethernet.	RTCSA	2003	DBLP DOI BibTeX RDF
110	Jack L. Stone, Alexander P. Grant	ADP training systems: organization-wide training for increased productivity.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
97	Rui Shi	Implementing reliable Linux device drivers in ATS.	PLPV	2007	DBLP DOI BibTeX RDF	applied type system, device driver programming, ATS
95	Dengping Zhu, Hongwei Xi	Safe Programming with Pointers Through Stateful Views.	PADL	2005	DBLP DOI BibTeX RDF
95	Grace Nordin, James C. Hoe	Synchronous extensions to operation centric hardware description languages.	MEMOCODE	2004	DBLP DOI BibTeX RDF
87	Jang-Woon Baek, Young Jin Nam, Dae-Wha Seo	ATS-DA: Adaptive Timeout Scheduling for Data Aggregation in Wireless Sensor Networks.	ICOIN	2007	DBLP DOI BibTeX RDF	In-network data aggregation, wireless sensor network, timeout
74	Kevin Donnelly, Hongwei Xi	Combining higher-order abstract syntax with first-order abstract syntax in ATS.	MERLIN	2005	DBLP DOI BibTeX RDF	ATS/LF, theorem proving, dependent types, higher-order abstract syntax, ATS
64	Jin-Fu Li 0001, Jing-Jia Liou	Foreword: ATS 2022.	ATS	2022	DBLP DOI BibTeX RDF
63	Romain Rouvoy, Patricia Serrano-Alvarado, Philippe Merle	A Component-Based Approach to Compose Transaction Standards.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
63	Micah Martin	The Art of Acceptance Testing.	XP/Agile Universe	2004	DBLP DOI BibTeX RDF
63	Jeng-Wei Lin, Ray-I Chang, Jan-Ming Ho, Feipei Lai	Aggressive Traffic Smoothing for Delivery of Online Multimedia.	PCM (1)	2004	DBLP DOI BibTeX RDF
57	Chiyan Chen, Hongwei Xi	Combining programming with theorem proving.	ICFP	2005	DBLP DOI BibTeX RDF	applied type system, proof erasure, theorem proving, dependent types, ATS
55	Gwanghoon Kim, Soyeon Hwang, Deokgyu Lee	Tracking Illegal System Access in a Ubiquitous Environment - Proposal for ATS, a Traceback System Using STOP.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
55	Sa Cui, Kevin Donnelly, Hongwei Xi	ATS: A Language That Combines Programming with Theorem Proving.	FroCoS	2005	DBLP DOI BibTeX RDF
55	Juan Carlos Diaz, Pierre Plaza, Jesus Crespo	ATM Traffic Shaper: ATS.	DATE	1998	DBLP DOI BibTeX RDF	ATM, Traffic Shaping, FPGA Prototyping
55	Jay M. Hyman, Aurel A. Lazar, Giovanni Pacifici	Joint Scheduling and Admission Control for ATS-Based Switching Nodes.	SIGCOMM	1992	DBLP DOI BibTeX RDF
51	Muhammad Ibrahim Ats-Tsauri, Lien Herliani Kusumah, Humiras Hardi Purba	Mapping of Digital Transformation Readiness, Benefits, and Barriers in Indonesian Steel Manufacturing.	ICONETSI	2022	DBLP DOI BibTeX RDF
47	Xiao Xun, Wang Jiangqing	An Application of Vertex Partition for Parallel Test Tasks Scheduling in Automatic Test System.	CSSE (2)	2008	DBLP DOI BibTeX RDF
47	Sami Bhiri, Olivier Perrin 0001, Claude Godart	Ensuring required failure atomicity of composite Web services.	WWW	2005	DBLP DOI BibTeX RDF	failure atomicity, reliable Web services compositions, transactional models
47	Ma Sasa, Zhao Shouwei, Xiao Xiaofeng	General automatic test system for PCB of military equipment.	ICARCV	2004	DBLP DOI BibTeX RDF
47	Michael Gerndt, Bernd Mohr, Jesper Larsson Träff	Evaluating OpenMP Performance Analysis Tools with the APART Test Suite.	Euro-Par	2004	DBLP DOI BibTeX RDF
47	Thanatchai Kulworawanichpong, Kongpol Areerak, Kongpan Areerak, Sarawut Sujitjorn	Harmonic Identification for Active Power Filters Via Adaptive Tabu Search Method.	KES	2004	DBLP DOI BibTeX RDF
47	Kedar S. Namjoshi	Abstraction for Branching Time Properties.	CAV	2003	DBLP DOI BibTeX RDF
47	Maria Francesca Costabile, Maristella Matera	Guidelines for Hypermedia Usability Inspection.	IEEE Multim.	2001	DBLP DOI BibTeX RDF
47		ATS Steering Committee.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
41		32nd IEEE Asian Test Symposium, ATS 2023, Beijing, China, October 14-17, 2023	ATS	2023	DBLP DOI BibTeX RDF
41	Nicolò Bellarmino, Riccardo Cantoro, Martin Huch, Tobias Kilian, Ulf Schlichtmann, Giovanni Squillero	Enabling Inter-Product Transfer Learning on MCU Performance Screening.	ATS	2023	DBLP DOI BibTeX RDF
41	Xin Chen, Liangzhou Huo, Yudong Xie, Zhihao Shen, Zhiqiang Xiang, Changhao Gao, Ying Zhang	FPGA-Based Cross-Hardware MBU Emulation Platform for Layout-Level Digital VLSI.	ATS	2023	DBLP DOI BibTeX RDF
41	Tamaki Kozuma, Qilin Wang, Hideyuki Ichihara, Tomoo Inoue	Reliability Analysis of Approximate Multipliers with Recovery Schemes.	ATS	2023	DBLP DOI BibTeX RDF
41	Huawei Li 0001, Jing Ye 0001, Wei Hu, Jiliang Zhang 0002	Message from the Chairs.	ATS	2023	DBLP DOI BibTeX RDF
41	Shuo Cai, Jiangbiao Ouyang, Yan Wen, Weizheng Wang, Fei Yu 0009	A Low-Delay Quadruple-Node-Upset Self-Recoverable Latch Design.	ATS	2023	DBLP DOI BibTeX RDF
41	Jinhua Cui 0002, Yiyun Yin, Zhiping Cai, Jiliang Zhang 0002	A Comparison Study of the Compatibility Approaches for SGX Enclaves.	ATS	2023	DBLP DOI BibTeX RDF
41	Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Pengyu Tian, Huawei Li 0001	Intelligent Automatic Test Pattern Generation for Digital Circuits Based on Reinforcement Learning.	ATS	2023	DBLP DOI BibTeX RDF
41	Ying Shang, Kun Chang, Ruilian Zhao, Zhigang Yin	Template-Based and Coverage-Guided Verification Instruction Set Automatic Generation Method for DSP Chip.	ATS	2023	DBLP DOI BibTeX RDF
41	Fan Yang, Tedder Meng, Zhifang Zhang, Yu Huang	Industry Session I: On Automotive Testing.	ATS	2023	DBLP DOI BibTeX RDF
41	Yue Cheng, Hongji Zou, Jiayu He, Chen Chen, Tun Li, Han Long	MMFuzz: Towards Enhancing RTL Fuzz Testing Using Metric Feedbacks Based on Markov Chain.	ATS	2023	DBLP DOI BibTeX RDF
41	Lirong Zhou, Junjun Wang, Zhao Huang, Lu Fan, Quan Wang 0006, Jinhui Liu, Bo Wan	A Logic Encryption-Enhanced PUF Architecture to Deceive Machine Learning-Based Modeling Attacks.	ATS	2023	DBLP DOI BibTeX RDF
41	She Tang, Jian Wang 0024, Zhe Chen, Shize Guo	A Covert Attack Method Against FPGA Clouds.	ATS	2023	DBLP DOI BibTeX RDF
41	Jiaxing Gao, Baohua Wang, Yin Zhang, Yu Huang, Xiaotian Ding, Weiming Zhang	Improve Volume Physical-Aware Diagnosis via Active Pattern Sampling.	ATS	2023	DBLP DOI BibTeX RDF
41	Gaurav Kumar, Anjum Riaz, Yamuna Prasad, Satyadev Ahlawat	On Enhancing the Security of Streaming Scan Network Architecture.	ATS	2023	DBLP DOI BibTeX RDF
41	Weiwei Wang, Yongchao Zhang, Feng You, Zhigang Yin, Ruilian Zhao	Fault Diagnosis of Analog Circuits Based on Multi-Scale 1D Convolutional Neural Network.	ATS	2023	DBLP DOI BibTeX RDF
41	Anshul Jain, Binod Kumar 0001	A Case Study on Formally Verifying an Open-source Deep Learning Accelerator Design.	ATS	2023	DBLP DOI BibTeX RDF
41	Somayeh Sadeghi Kohan, Jan Dennis Reimer, Sybille Hellebrand, Hans-Joachim Wunderlich	Optimizing the Streaming of Sensor Data with Approximate Communication.	ATS	2023	DBLP DOI BibTeX RDF
41	Ahmed Aouichi, Sicong Yuan, Moritz Fieback, Siddharth Rao, Woojin Kim, Erik Jan Marinissen, Sebastien Couet, Mottaqiallah Taouil, Said Hamdioui	Device Aware Diagnosis for Unique Defects in STT-MRAMs.	ATS	2023	DBLP DOI BibTeX RDF
41	Nikolaos Ioannis Deligiannis, Tobias Faller, Iacopo Guglielminetti, Riccardo Cantoro, Bernd Becker 0001, Matteo Sonza Reorda	Automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors.	ATS	2023	DBLP DOI BibTeX RDF
41	Shuting Kang, Heng Guo, Peng Su, Lijun Zhang, Guangzhen Liu, Yunzhi Xue, Yanjun Wu	ECSAS: Exploring Critical Scenarios from Action Sequence in Autonomous Driving.	ATS	2023	DBLP DOI BibTeX RDF
41	Aibin Yan, Xuehua Li, Zhongyu Gao, Zhengfeng Huang, Tianming Ni, Xiaoqing Wen	Advanced DICE Based Triple-Node-Upset Recovery Latch with Optimized Overhead for Space Applications.	ATS	2023	DBLP DOI BibTeX RDF
41	Hequan Zhang, Song Jin	On Detecting and Defending AdvDrop Adversarial Attacks by Image Blurring and Adaptive Noising.	ATS	2023	DBLP DOI BibTeX RDF
41	Aibin Yan, Yu Chen, Zhengfeng Huang, Jie Cui 0004, Xiaoqing Wen	A High-Performance and P-Type FeFET-Based Non-Volatile Latch.	ATS	2023	DBLP DOI BibTeX RDF
41	Yilin Li, Shan Li, Haihua Shen	HTrans: Transformer-Based Method for Hardware Trojan Detection and Localization.	ATS	2023	DBLP DOI BibTeX RDF
41	Yipei Yang, Junying Huang, Zongyue Wang, Jing Ye 0001, Zihao Sun, Junfeng Fan, Shuai Chen, Huawei Li 0001, Xiaowei Li 0001, Yuan Cao 0003	A Template Attack on Reduction Without Reference Device on Kyber.	ATS	2023	DBLP DOI BibTeX RDF
41	Li-Wei Chen, Xianyue Zhao, Ziang Chen, Nan Du, Ilia Polian	Side-channel Attacks on Memristive Circuits Under External Disturbances.	ATS	2023	DBLP DOI BibTeX RDF
41	Han Zhang, Yinhao Zhou, Ying Li	A Portable Hardware Trojan Detection Using Graph Attention Networks.	ATS	2023	DBLP DOI BibTeX RDF
41	Wen Li, Ying Wang 0001, Kaiwei Zou, Huawei Li 0001, Xiaowei Li 0001	Adversarial Testing: A Novel On-Line Testing Method for Deep Learning Processors.	ATS	2023	DBLP DOI BibTeX RDF
41	Mu Nie, Wen Jiang, Wankou Yang, Senling Wang, Xiaoqing Wen, Tianming Ni	Enhancing Defect Diagnosis and Localization in Wafer Map Testing Through Weakly Supervised Learning.	ATS	2023	DBLP DOI BibTeX RDF
41	Junna Zhong, Iris Ma, Hailong Li, Yu Huang	Industry Session II: DFT on AI Chips.	ATS	2023	DBLP DOI BibTeX RDF
41	Gowthami Konganapalle, Sonali Shukla, Virendra Singh	SMASh: A State Encoding Methodology Against Attacks on Finite State Machines.	ATS	2023	DBLP DOI BibTeX RDF
41	Zhiteng Chao, Senlin Wang, Pengyu Tian, Shuwen Yuan, Huawei Li 0001, Jing Ye 0001, Xiaowei Li 0001	A Distributed ATPG System Combining Test Compaction Based on Pure MaxSAT.	ATS	2023	DBLP DOI BibTeX RDF
41	Weiyang He, Zizhen Liu, Chip-Hong Chang	An Empirical Study of the Inherent Resistance of Knowledge Distillation Based Federated Learning to Targeted Poisoning Attacks.	ATS	2023	DBLP DOI BibTeX RDF
41	Yongquan Tan, Yukuan Yang, Hongping Ren, Zhuokun Yang, Qian Dong, Yunzhi Xue	Survey on Traffic Flow-Based Autonomous Driving Simulation Tests.	ATS	2023	DBLP DOI BibTeX RDF
41	Hanzhi Xun, Moritz Fieback, Sicong Yuan, Hassen Aziza, Mathijs Heidekamp, Thiago Copetti, Letícia Maria Veiras Bolzani Poehls, Mottaqiallah Taouil, Said Hamdioui	Characterization and Test of Intermittent Over RESET in RRAMs.	ATS	2023	DBLP DOI BibTeX RDF
41	Jianan Mu, Huajie Tan, Shuai Chen, Min Cai, Jing Ye 0001, Huawei Li 0001, Xiaowei Li 0001	Configurable and High-Level Pipelined Lattice-Based Post Quantum Cryptography Hardware Accelerator Design.	ATS	2023	DBLP DOI BibTeX RDF
41	Chun-Yeh Wang, Chien-Hsing Liang, Jing-Jia Liou, Harry H. Chen	Signal Reduction of Signature Blocks for Transient Fault Debugging.	ATS	2023	DBLP DOI BibTeX RDF
41	Chengzhen Yang, Song Jin, Jianhuang Shen, Zhuo Wang	On Tolerating Variations and Faults in Memristor Crossbar Based Neural Network Accelerators by Network Expansion and Weight Zeroing.	ATS	2023	DBLP DOI BibTeX RDF
41	Shibo Tang, Jiacheng Zhu, Yifei Gao, Jing Zhou, Dejun Mu, Wei Hu 0008	Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.	ATS	2023	DBLP DOI BibTeX RDF
41	Leon Li, Alex Orailoglu	ClearLock: Deterring Hardware Reverse Engineering Attacks in a White-Box.	ATS	2023	DBLP DOI BibTeX RDF
41	Zhaojun Lu, Qi Zhao, Qidong Chen, Jiliang Zhang 0002	A Survey on Fault-Tolerance Methods for SRAM-Based FPGAs in Radiation Environments.	ATS	2023	DBLP DOI BibTeX RDF
41	Shi-Jie Ye, Yun-Ju Liu, Liuzheng Wang, Hui-Ling Zhen, Wei-Ming Zhang, Yu Huang	Fault Simulation Acceleration Based on ARM Multi-core CPU Architecture.	ATS	2023	DBLP DOI BibTeX RDF
41	Lingjuan Wu, Yifei Gao, Jiacheng Zhu, Yu Tai, Wei Hu 0008	Security Verification of RISC-V System Based on ISA Level Information Flow Tracking.	ATS	2023	DBLP DOI BibTeX RDF
41	Lei Yue, Jingwen Li, Liwei Zheng, Li Li, Zhanqi Cui	Software Fault Localization Based on Combining Information Retrieval and Mutation Analysis.	ATS	2023	DBLP DOI BibTeX RDF
41		IEEE 31st Asian Test Symposium, ATS 2022, Taichung City, Taiwan, November 21-24, 2022	ATS	2022	DBLP DOI BibTeX RDF
41	Sying-Jyan Wang, Katherine Shu-Min Li, Chen-Yeh Lin, Song-Kong Chong	Intrusion Detection and Obfuscation Mechanism for PUF-Based Authentication.	ATS	2022	DBLP DOI BibTeX RDF
41	Hari Addepalli, Irith Pomeranz, M. Enamul Amyeen, Suriyaprakash Natarajan, Arani Sinha, Srikanth Venkataraman	Using Fault Detection Tests to Produce Diagnostic Tests Targeting Large Sets of Candidate Faults.	ATS	2022	DBLP DOI BibTeX RDF
41	Hao Huang, Haihua Shen, Shan Li, Huawei Li 0001	A Hardware Trojan Trigger Localization Method in RTL based on Control Flow Features.	ATS	2022	DBLP DOI BibTeX RDF
41	Irith Pomeranz	Two-Dimensional Test Generation Objective.	ATS	2022	DBLP DOI BibTeX RDF
41	Zih-Ming Huang, Dun-An Yang, Jing-Jia Liou, Harry H. Chen	FPGA-Based Emulation for Accelerating Transient Fault Reduction Analysis.	ATS	2022	DBLP DOI BibTeX RDF
41	Weidong Zhu, Jianhui Jiang, Zhanhui Shi	Locating Critical-Reliability Gates for Sequential Circuits based on the Time Window Graph Model.	ATS	2022	DBLP DOI BibTeX RDF
41	Troya Çagil Köylü, Moritz Fieback, Said Hamdioui, Mottaqiallah Taouil	Using Hopfield Networks to Correct Instruction Faults.	ATS	2022	DBLP DOI BibTeX RDF
41	Aditi, Michael S. Hsiao	Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications.	ATS	2022	DBLP DOI BibTeX RDF
41	Masao Ohmatsu, Yuto Ohtera, Yuki Ikiri, Hiroyuki Yotsuyanagi, Shyue-Kung Lu, Masaki Hashizume	Enhanced Interconnect Test Method for Resistive Open Defects in Final Tests with Relaxation Oscillators.	ATS	2022	DBLP DOI BibTeX RDF
41	Irith Pomeranz	Usable Circuits with Imperfect Scan Logic.	ATS	2022	DBLP DOI BibTeX RDF
41	Yu-You Chou, Cheng-Wen Wu, Ming-Der Shieh, Chao-Hsun Chen	Battery Pack Reliability and Endurance Enhancement for Electric Vehicles by Dynamic Reconfiguration.	ATS	2022	DBLP DOI BibTeX RDF
41	Huixian Huang, Xiaole Cui, Shuming Zhang, Ge Li, Xiaoxin Cui	An obfuscation scheme of scan chain to protect the cryptographic chips.	ATS	2022	DBLP DOI BibTeX RDF
41	Tong-Yu Hsieh, Pao-Wei Tsui, Jun-Tsung Wu	On No-Reference Error Detection of an Image Stitching System Based on Error-Tolerance.	ATS	2022	DBLP DOI BibTeX RDF
41	Ankush Mamgain, Salvador Mir, Jai Narayan Tripathi, Manuel J. Barragán	On-chip calibration for high-speed harmonic cancellation-based sinusoidal signal generators.	ATS	2022	DBLP DOI BibTeX RDF
41	Xiaofan Nie, Liwei Chen, Gang Shi	PointerChecker: Tag-Based and Hardware-Assisted Memory Safety against Memory Corruption.	ATS	2022	DBLP DOI BibTeX RDF
41	Keno Sato, Takayuki Nakatani, Shogo Katayama, Daisuke Iimori, Gaku Ogihara, Takashi Ishida 0003, Toshiyuki Okamoto, Tamotsu Ichikawa, Yujie Zhao, Kentaroh Katoh, Anna Kuwana, Kazumi Hatayama, Haruo Kobayashi 0001	High Precision Voltage Measurement System Utilizing Low-End ATE Resource and BOST.	ATS	2022	DBLP DOI BibTeX RDF
41	Wan Ju Huang, Hsiao-Wen Fu, Tsung-Chu Huang	AN-HRNS: AN-Coded Hierarchical Residue Number System for Reliable Neural Network Accelerators.	ATS	2022	DBLP DOI BibTeX RDF
41	Gaurav Kumar, Anjum Riaz, Yamuna Prasad, Satyadev Ahlawat	A New Access Protocol for Elevating the Security of IJTAG Network.	ATS	2022	DBLP DOI BibTeX RDF
41	Aibin Yan, Liang Ding, Zhen Zhou, Zhengfeng Huang, Jie Cui 0004, Patrick Girard 0001, Xiaoqing Wen	A Radiation-Hardened Non-Volatile Magnetic Latch with High Reliability and Persistent Storage.	ATS	2022	DBLP DOI BibTeX RDF
41	Kuan-Hsun Duh, Cheng-Wen Wu, Ming-Der Shieh, Chao-Hsun Chen, Ming-Yan Fan	Aging Impact of Power MOSFETs in Charger with Different Operation Frequency.	ATS	2022	DBLP DOI BibTeX RDF
41	Irith Pomeranz	Selecting Path Delay Faults Through the Largest Subcircuits of Uncovered Lines.	ATS	2022	DBLP DOI BibTeX RDF
41	Shih-Chun Yeh, Kuen-Jong Lee, Dong-Yi Chen	An Authentication-Based Secure IJTAG Network.	ATS	2022	DBLP DOI BibTeX RDF
41	Natalia Lylina, Chih-Hao Wang, Hans-Joachim Wunderlich	Online Periodic Test of Reconfigurable Scan Networks.	ATS	2022	DBLP DOI BibTeX RDF
41	Nikolaos Ioannis Deligiannis, Tobias Faller, Josie E. Rodriguez Condia, Riccardo Cantoro, Bernd Becker 0001, Matteo Sonza Reorda	Using Formal Methods to Support the Development of STLs for GPUs.	ATS	2022	DBLP DOI BibTeX RDF
41	Shyue-Kung Lu, Zhi-Jia Liu, Masaki Hashizume	Fault Securing Techniques for Yield and Reliability Enhancement of RRAM.	ATS	2022	DBLP DOI BibTeX RDF
41	Utsav Jana, Sourav Banerjee, Binod Kumar 0001, Madhu B, Shankar Umapathi, Masahiro Fujita	Deep Learning-assisted Scan Chain Diagnosis with Different Fault Models during Manufacturing Test.	ATS	2022	DBLP DOI BibTeX RDF
41	Takaaki Kato, Yousuke Miyake, Seiji Kajihara	On Correction of A Delay Value Using Ring-Oscillators for Aging Detection and Prediction.	ATS	2022	DBLP DOI BibTeX RDF
41		30th IEEE Asian Test Symposium, ATS 2021, Matsuyama, Ehime, Japan, November 22-25, 2021	ATS	2021	DBLP DOI BibTeX RDF
41	Keno Sato, Takayuki Nakatani, Takashi Ishida 0003, Toshiyuki Okamoto, Tamotsu Ichikawa, Shogo Katayama, Gaku Ogihara, Daisuke Iimori, Yujie Zhao, Jianglin Wei, Anna Kuwana, Kazumi Hatayama, Haruo Kobayashi 0001	High Precision Measurement of Sub-Nano Ampere Current in ATE Environment.	ATS	2021	DBLP DOI BibTeX RDF