Search results for "DATE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Henry F. Fliegel, Thomas C. van Flandern	Letters to the editor: a machine algorithm for processing calendar dates.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Fortran statement function, Gregorian calendar, Gregorian date, Julian calendar, Julian date, arithmetic statement function, calendar date, continuous day count, function, calendars, time interval
57	E. L. Lohse	Standards: Proposed USA Standard: Data code for calendar date for machine-to-machine data interchange.	Commun. ACM	1968	DBLP DOI BibTeX RDF	USA standard, calendar date, data code, data group identifier, machine-to-machine data interchange, recording calendar date
57	Serafettin Alpay, Nihat Yüzügüllü	A Study of Factors Affecting Due Date Predictibility for On-Time Delivery in a Dynamic Job Shop.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Dynamic Job Shop Scheduling, On-time Delivery, Simulation, Dispatching, Due Date Assignment
52	Dvir Shabtay, George Steiner	The single-machine earliness-tardiness scheduling problem with due date assignment and resource-dependent processing times.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Earliness-tardiness scheduling, Resource allocation, Single-machine scheduling, Due date assignment, Controllable processing times
52	Dvir Shabtay, George Steiner	Optimal due date assignment in multi-machine scheduling environments.	J. Sched.	2008	DBLP DOI BibTeX RDF	Multi-machine scheduling, Complexity, Approximation, Due date assignment
47	Cheng Wang, Lili Wang, Ping Dong, Xiaojun Qiao	Research of Decision Support System (DSS) for Greenhouse Based on Data Mining.	CCTA	2007	DBLP DOI BibTeX RDF	Date mining, Decision support system (DSS), Data warehouse, OLAP
45	Makoto Sugihara, Hiroto Yasuura, Hiroshi Date	Analysis and Minimization of Test Time in a Combined BIST and External Test Approach.	DATE	2000	DBLP DOI BibTeX RDF
43	Philip M. Kaminsky, Zu-Hsu Lee	Effective on-line algorithms for reliable due date quotation and large-scale scheduling.	J. Sched.	2008	DBLP DOI BibTeX RDF	Due date quotation, Scheduling, Probabilistic analysis, On-line algorithms, Asymptotic analysis
43	Shih-Wei Lin, Shuo-Yan Chou, Shih-Chieh Chen	Meta-heuristic approaches for minimizing total earliness and tardiness penalties of single-machine schedulingwith a common due date.	J. Heuristics	2007	DBLP DOI BibTeX RDF	Greedy local search, Common due date, Earliness and tardiness penalties, Scheduling, Meta-heuristics
43	Valery S. Gordon, Alexander Tarasevich	On a Single Machine Due Date Assignment and Scheduling Problem with the Rate-Modifying Activity.	OR	2005	DBLP DOI BibTeX RDF	common due date assignment, earliness, rate-modifying activity, machine scheduling, tardiness
42	Yu Xia 0004, Bintong Chen, Jinfeng Yue	Sequence Jobs and Assign Due Dates with Uncertain Processing Times and Quadratic Penalty Functions.	AAIM	2005	DBLP DOI BibTeX RDF	scheduling, heuristics, sequencing, due date assignment
38	C. Stewart Gillmor	Stanford, the IBM 650, and the First Trials of Computer Date Matching.	IEEE Ann. Hist. Comput.	2007	DBLP DOI BibTeX RDF	Stanford, IBM 650, computer date matching, student life, history, humor
38	Erik Jan Marinissen, Axel Jantsch, Nicola Nicolici	DATE 07 workshop on diagnostic services in NoCs.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	diagnostic services, DATE 2007, network on chip, NoC
38	Chien-Yu Chen 0001, Zhen-Ying Zhao, Michael O. Ball	Quantity and Due Date Quoting Available to Promise.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	available to promise (ATP), due date quoting, order promising and fulfillment, mixed integer programming
38	Marisa E. Morita, Robert Sabourin, Flávio Bortolozzi, Ching Y. Suen	Segmentation and recognition of handwritten dates: an HMM-MLP hybrid approach.	Int. J. Document Anal. Recognit.	2003	DBLP DOI BibTeX RDF	Date processing, Recognition and verification, Neural networks, Segmentation, Hidden Markov models, Metaclasses
38	Stefan Heinz 0001, Sven Oliver Krumke, Nicole Megow, Jörg Rambau, Andreas Tuchscherer, Tjark Vredeveld	The Online Target Date Assignment Problem.	WAOA	2005	DBLP DOI BibTeX RDF
37	Pierre G. Paulin	DATE Panel: Chips of the Future: Soft, Crunchy or Hard?	DATE	2004	DBLP DOI BibTeX RDF
37	C. J. Date 0001	A critique of Claude Rubinson's paper nulls, three - valued logic, and ambiguity in SQL: critiquing Date's critique.	SIGMOD Rec.	2008	DBLP DOI BibTeX RDF
37	C. J. Date 0001, Ronald Fagin	Response to "Remarks on Two New Theorems of Date and Fagin".	SIGMOD Rec.	1993	DBLP DOI BibTeX RDF
37	C. J. Date 0001	Defining Data Types in a Database Language - A Proposal for Adding Date and Time Support to SQL.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF	SQL
33	Richard A. Stone	Algorithm 398: Tableless date conversion.	Commun. ACM	1970	DBLP DOI BibTeX RDF	calendar, date
33	Johnson M. Hart, Antonio Pizzarello	A Scalable, Automated Process for Year 2000 System Correction.	ICSE	1996	DBLP BibTeX RDF	code correction, code enhancement, logical code analysis, test date generation, attribute grammars, year 2000
33	Claude Rubinson	Nulls, three-valued logic, and ambiguity in SQL: critiquing date's critique.	SIGMOD Rec.	2007	DBLP DOI BibTeX RDF	SQL
33	Sérgio Nunes, Cristina Ribeiro 0001, Gabriel David	Using neighbors to date web documents.	WIDM	2007	DBLP DOI BibTeX RDF	link analysis, web information retrieval, web dynamics
33	Pei-Chann Chang, Jih-Chang Hsieh, T. Warren Liao	A Case-Based Reasoning Approach for Due-Date Assignment in a Wafer Fabrication Factory.	ICCBR	2001	DBLP DOI BibTeX RDF
33	Kyung-Soon Lee, Jae-Ho Kim, Key-Sun Choi	Answer Extraction by Flexible Matching, Filtering, and Interpretation.	PRICAI	2002	DBLP DOI BibTeX RDF
32	C. J. Date 0001	A Response to R. Camps' Article "Domains, Relations and Religious Wars".	SIGMOD Rec.	1996	DBLP DOI BibTeX RDF
29	Na Zhao, Kainan Chen	How Do the Start Date, End Date, and Frequency of Precipitation Change across China under Warming?	Remote. Sens.	2023	DBLP DOI BibTeX RDF
29	Hanae Hmimid, Matthew Mosher	Date the Artist: A Virtual Date with a Virtual Character.	HT	2020	DBLP DOI BibTeX RDF
29	Anne-Elisabeth Falq	Dominances in linear programming : scheduling around a common due date. (Dominances en programmation linéaire : ordonnancement autour d'une date d'échéance commune).		2020	RDF
29	Jaikishan T. Soman, Rahul J. Patil	A Reactive GRASP Heuristic Algorithm for Vehicle Routing Problem with Release Date and Due Date Incurring Inventory Holding Cost and Tardiness Cost.	IEEM	2019	DBLP DOI BibTeX RDF
29	Erik Haß, David Frantz, Sebastian Mader, Joachim Hill	Global Analysis of the Differences Between the MODIS Vegetation Index Compositing Date and the Actual Acquisition Date.	IEEE Geosci. Remote. Sens. Lett.	2017	DBLP DOI BibTeX RDF
29	Yunqiang Yin, T. C. E. Cheng, Dehua Xu, Chin-Chia Wu	Common due date assignment and scheduling with a rate-modifying activity to minimize the due date, earliness, tardiness, holding, and batch delivery cost.	Comput. Ind. Eng.	2012	DBLP DOI BibTeX RDF
29	Michal Bída, Cyril Brom, Markéta Popelová	To Date or Not to Date? A Minimalist Affect-Modulated Control Architecture for Dating Virtual Characters.	IVA	2011	DBLP DOI BibTeX RDF
29	Eunjin Jung	Grammaire des adverbes de durée et de date en coréen. (The grammar of adverbs of time, date and duration in Korean).		2005	RDF
29	HongBin Ji, Zhen Liu, Y. Aoki	The coordinates of the four corners of image date files and their applications [for date read data].	ICNN	1995	DBLP DOI BibTeX RDF
28	Serafettin Alpay	Agent Based Dynamic Job Shop Simulation System.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Dynamic Job Shop Scheduling, Simulation, Multi-Agent Systems, Dispatching, Due Date Assignment
28		Conference Reports.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	Automation and Test in Europe, SELSE, Workshop on System Effects of Logic Soft Errors, Design, DATE
28	Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot	A Cost Model for Asynchronous and Structured Message Passing.	Euro-Par	1999	DBLP DOI BibTeX RDF	Symbolic Date, Asynchronous Execution, Structural Clock, Cost Model, Parallel Programming Languages
28	Amir Azaron, Farhad Kianfar	Due date assignment for multistage assembly systems.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Assembly systems, Simulation, Markov processes, Queueing
28	Zne-Jung Lee, Shih-Wei Lin, Kuo-Ching Ying	A Dynamical Ant Colony Optimization with Heuristics for Scheduling Jobs on a Single Machine with a Common Due Date.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Dynamical Ant Colony Optimization, Scheduling, Heuristics, Single Machine
28	Anshul Sheopuri, Sai Zeng, Chitra Dorai	A new policy for the service request assignment problem with multiple severity level, due date and sla penalty service requests.	WSC	2008	DBLP DOI BibTeX RDF
28	Nikhil Bansal 0001, Ho-Leung Chan, Kirk Pruhs	Competitive Algorithms for Due Date Scheduling.	ICALP	2007	DBLP DOI BibTeX RDF
28	Zne-Jung Lee, Chen-Chia Chuang, Kuo-Ching Ying	An Intelligent Algorithm for Scheduling Jobs on a Single Machine with a Common Due Date.	KES (2)	2007	DBLP DOI BibTeX RDF	Common Due Day, Ant Colony Optimization, Intelligent Algorithm
28	Jinjun Chen, Yun Yang 0001	Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems.	APWeb	2005	DBLP DOI BibTeX RDF
28	Markus Feldbach, Klaus D. Tönnies	Segmentation of the Date in Entries of Historical Church Registers.	DAGM-Symposium	2002	DBLP DOI BibTeX RDF	Handwriting recognition, document image processing, word segmentation
28	Louisa Lam, Rong Fan, Qizhi Xu, Ching Y. Suen	Segmentation of Date Field on Bank Cheques.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
28	Timo Alho, Panu Hämäläinen, Marko Hännikäinen, Timo D. Hämäläinen	Compact hardware design of Whirlpool hashing core.	DATE	2007	DBLP DOI BibTeX RDF
28	Louis Baguena, Emmanuel Liégeon, Alexandra Bépoix, Jean-Marc Dusserre, Christophe Oustric, Philippe Bellocq, Vincent Heiries	Development of on board, highly flexible, Galileo signal generator ASIC.	DATE	2007	DBLP DOI BibTeX RDF
28	Ümit Y. Ogras, Radu Marculescu	Analytical router modeling for networks-on-chip performance analysis.	DATE	2007	DBLP DOI BibTeX RDF
28	Donatella Sciuto, Grant Martin, Wolfgang Rosenstiel, Stuart Swan, Frank Ghenassia, Peter Flake, Johny Srouji	SystemC and SystemVerilog: Where do They Fit? Where are They Going?	DATE	2004	DBLP DOI BibTeX RDF
28	Sandeep Kumar Goel, Kuoshu Chiu, Erik Jan Marinissen, Toan Nguyen, Steven Oostdijk	Test Infrastructure Design for the Nexperia? Home Platform PNX8550 System Chip.	DATE	2004	DBLP DOI BibTeX RDF
28	Tiehan Lv, Wayne H. Wolf, Jörg Henkel, Haris Lekatsas	An Adaptive Dictionary Encoding Scheme for SOC Data Buses.	DATE	2002	DBLP DOI BibTeX RDF
28	Ivo Bolsens, Wojtek Maly, Ludo Deferm, Jo Borel, Harry J. M. Veendrick	Single Chip or Hybrid System Integration.	DATE	1999	DBLP DOI BibTeX RDF
24	Walden C. Rhines	Sociology of Design and EDA.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	DATE conference, EDA
24	Kwang-Ting (Tim) Cheng	Vision from the Top.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	quiescent-signal analysis, est vector compression, EDA, DATE
24	Zhongjun Tian, C. T. Ng 0001, T. C. Edwin Cheng	An O(n2) algorithm for scheduling equal-length preemptive jobs on a single machine to minimize total tardiness.	J. Sched.	2006	DBLP DOI BibTeX RDF	Equal-length jobs, Total tardiness, Preemptive scheduling, Single machine, Release date
24	Richard Mateosian	Going through the database.	IEEE Micro	2005	DBLP DOI BibTeX RDF	relational theory, CJ Date, Tutorial D, Database, SQL, database management, structured query language
24	Xiaotie Deng, Haodi Feng, Guojun Li, Benyun Shi	A PTAS for Semiconductor Burn-in Scheduling.	J. Comb. Optim.	2005	DBLP DOI BibTeX RDF	geometric rounding, time stretching, approximation algorithm, batch processing, release date
24	Stefan M. Petters	Bounding the execution time of real-time tasks on modern processors.	RTCSA	2000	DBLP DOI BibTeX RDF	task execution time, modern processors, embedded hard real time systems, up-to-date processors, fast core frequency, systematic information, real-time systems, computer architecture, complex systems, control flow graph, main memory, flow graphs, optimising compilers, real time tasks, acceleration techniques
24	Edward Swierk, Emre Kiciman, Vince Laviano, Mary Baker	The Roma personal metadata service.	WMCSA	2000	DBLP DOI BibTeX RDF	personal information systems, Roma personal metadata service, digital storage devices, personal data repositories, up-to-date document version, current file versions, file availability, centralized service, mobility-aware applications, highly available portable device, mobile computing, system architecture, configuration management, meta data, replicated databases, prototype implementation, design requirements
24	Joseph Allegra	Overlooked issues of the Year 2000 upgrade.	CSMR	1997	DBLP DOI BibTeX RDF	Year 2000 upgrade, Year 2000 compliance, purchased application packages, in-house production software, test data beds, intelligently aged date fields, application test accuracy verification, application project, software maintenance, data processing, computer applications
24	Shawn A. Bohner	Impact analysis in the software change process: a year 2000 perspective.	ICSM	1996	DBLP DOI BibTeX RDF	software change process, year 2000 perspective, software change impact analysis, Year 2000 Date situation, software community, software life cycle objects, software change efforts, software change visibility, software change estimates, software maintenance, software maintenance
24	Ting-Jun Fan, Gérard G. Medioni, Ramakant Nevatia	Recognizing 3-D Objects Using Surface Descriptions.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	surface descriptions, surface information, range date, matching graphs, model, pattern recognition, graph theory, connectivity, computerised pattern recognition, occlusion, 3D object recognition, symbolic description
24	Chongyang Zhang, Jing-Yu Yang 0001, Zhen Lou	Preprocessing of Handwritten Date Images on Chinese Cheque.	ICPR (2)	2006	DBLP DOI BibTeX RDF
24	Marco Casassa Mont, Richard Brown 0001	Active Digital Credentials: Dynamic Provision of Up-to-Date Identity Information.	InfraSec	2002	DBLP DOI BibTeX RDF
24	Henrik Loeser	Keeping Web Pages Up-to-Date with SQL: 1999.	IDEAS	2000	DBLP DOI BibTeX RDF	Web page updating, Common Gateway Interface, Web site administration, HTML pages, dynamic page generation, iWebDB/DG, Web Content Management System, World Wide Web, SQL, information resources, object-relational database, user acceptance, CGI, user-defined functions, document generator
24	Steven O. Kimbrough	On ESTheta Theory and the Logic of the X12 Date/Time Qualifiers.	HICSS (5)	1998	DBLP DOI BibTeX RDF
23	Thomas J. McCabe	Cyclomatic Complexity and the Year 2000.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
23		Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023	DATE	2023	DBLP DOI BibTeX RDF
23	Julian Demicoli, Laurin Prenzel, Sebastian Steinhorst	Autonomous Hyperloop Control Architecture Design using MAPE-K.	DATE	2023	DBLP DOI BibTeX RDF
23	Fangxin Liu, Wenbo Zhao 0005, Zongwu Wang, Xiaokang Yang, Li Jiang 0002	SIMSnn: A Weight-Agnostic ReRAM-based Search-In-Memory Engine for SNN Acceleration.	DATE	2023	DBLP DOI BibTeX RDF
23	Federico Cunico, Luigi Capogrosso, Alberto Castellini, Francesco Setti, Patrik Pluchino, Filippo Zordan, Valeria Santus, Anna Spagnolli, Stefano Cordibella, Giambattista Gennari, Mauro Borgo, Alberto Sozza, Stefano Troiano, Roberto Flor, Andrea Zanella, Alessandro Farinelli, Luciano Gamberini, Marco Cristani	The Post-pandemic Effects on IoT for Safety: The Safe Place Project.	DATE	2023	DBLP DOI BibTeX RDF
23	Seyed Ahmad Mirsalari, Giuseppe Tagliavini, Davide Rossi, Luca Benini	TransLib: A Library to Explore Transprecision Floating-Point Arithmetic on Multi-Core IoT End-Nodes.	DATE	2023	DBLP DOI BibTeX RDF
23	Jari Nurmi, Yinda Xu, Jani Boutellier, Bo Tan 0003	SPHERE-DNA: Privacy-Preserving Federated Learning for eHealth.	DATE	2023	DBLP DOI BibTeX RDF
23	Changhai Man, Cheng Chang, Chenchen Ding, Ao Shen, Hongwei Ren, Ziyi Guan, Yuan Cheng, Shaobo Luo, Rumin Zhang, Ngai Wong, Hao Yu 0001	RankSearch: An Automatic Rank Search Towards Optimal Tensor Compression for Video LSTM Networks on Edge.	DATE	2023	DBLP DOI BibTeX RDF
23	Yigit Tuncel, Toygun Basaklar, Mackenzie Smithyman, João Dórea, Vinícius Nunes De Gouvêa, Younghyun Kim 0001, Ümit Y. Ogras	Towards Smart Cattle Farms: Automated Inspection of Cattle Health with Real-Life Data.	DATE	2023	DBLP DOI BibTeX RDF
23	Shui Jiang, Seetal Potluri, Tsung-Yi Ho	Scalable Scan-Chain-Based Extraction of Neural Network Models.	DATE	2023	DBLP DOI BibTeX RDF
23	Minxuan Zhou, Xuan Wang, Tajana Rosing	OverlaPIM: Overlap Optimization for Processing In-Memory Neural Network Acceleration.	DATE	2023	DBLP DOI BibTeX RDF
23	Raphael Cardoso, Clément Zrounba, Mohab Abdalla, Paul Jiménez, Mauricio Gomes de Queiroz, Benoît Charbonnier, Fabio Pavanello, Ian O'Connor, Sébastien Le Beux	Towards a Robust Multiply-Accumulate Cell in Photonics using Phase-Change Materials.	DATE	2023	DBLP DOI BibTeX RDF
23	Haoyi Zhang, Xiaohan Gao, Haoyang Luo, Jiahao Song, Xiyuan Tang, Junhua Liu, Yibo Lin, Runsheng Wang, Ru Huang	SAGERoute: Synergistic Analog Routing Considering Geometric and Electrical Constraints with Manual Design Compatibility.	DATE	2023	DBLP DOI BibTeX RDF
23	Marco Bertuletti, Yichao Zhang, Alessandro Vanelli-Coralli, Luca Benini	Efficient Parallelization of 5G-PUSCH on a Scalable RISC-V Many-Core Processor.	DATE	2023	DBLP DOI BibTeX RDF
23	Guillem López-Paradís, Brian Li, Adrià Armejach, Stefan Wallentowitz, Miquel Moretó, Jonathan Balkind	Fast Behavioural RTL Simulation of 10B Transistor SoC Designs with Metro-Mpi.	DATE	2023	DBLP DOI BibTeX RDF
23	Sung-Yun Lee, Seonghyeon Park, Daeyeon Kim, Minjae Kim, Tuyen Pham Le 0001, Seokhyeong Kang	RL-Legalizer: Reinforcement Learning-based Cell Priority Optimization in Mixed-Height Standard Cell Legalization.	DATE	2023	DBLP DOI BibTeX RDF
23	Soyed Tuhin Ahmed, Kamal Danouchi, Michael Hefenbrock, Guillaume Prenat, Lorena Anghel, Mehdi B. Tahoori	Scalable Spintronics-based Bayesian Neural Network for Uncertainty Estimation.	DATE	2023	DBLP DOI BibTeX RDF
23	Haena Song, Jongho Yoon, Dohun Kim, Eunji Kwon, Tae-Hyun Oh, Seokhyeong Kang	FPGA-Based Accelerator for Rank-Enhanced and Highly-Pruned Block-Circulant Neural Networks.	DATE	2023	DBLP DOI BibTeX RDF
23	Guannan Guo, Tsung-Wei Huang, Martin D. F. Wong	Fast STA Graph Partitioning Framework for Multi-GPU Acceleration.	DATE	2023	DBLP DOI BibTeX RDF
23	Ayesha Siddique, Khaza Anuarul Hoque	Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization.	DATE	2023	DBLP DOI BibTeX RDF
23	Hyunsu Chae, Bhyrav Mutnury, Keren Zhu 0001, Douglas Wallace, Douglas Winterberg, Daniel De Araujo, Jay Reddy, Adam R. Klivans, David Z. Pan	ISOP: Machine Learning-Assisted Inverse Stack-Up Optimization for Advanced Package Design.	DATE	2023	DBLP DOI BibTeX RDF
23	Jooyeon Jeong, Sehyeon Chung, Kyeongrok Jo, Taewhan Kim	Synthesis and Utilization of Standard Cells Amenable to Gear Ratio of Gate-Metal Pitches for Improving Pin Accessibility.	DATE	2023	DBLP DOI BibTeX RDF
23	Yifan Zhang, Qiang Cao 0001, Jie Yao, Hong Jiang 0001	R-LDPC: Refining Behavior Descriptions in HLS to Implement High-throughput LDPC Decoder.	DATE	2023	DBLP DOI BibTeX RDF
23	Qiang Liu 0011, Longtao Guo, Honghui Tang	Fault Model Analysis of DRAM under Electromagnetic Fault Injection Attack.	DATE	2023	DBLP DOI BibTeX RDF
23	Ranyang Zhou, Sepehr Tabrizchi, Mehrdad Morsali, Arman Roohi, Shaahin Angizi	P-PIM: A Parallel Processing-in-DRAM Framework Enabling Row Hammer Protection.	DATE	2023	DBLP DOI BibTeX RDF
23	Songqiao Cui, Josep Balasch	Efficient Software Masking of AES through Instruction Set Extensions.	DATE	2023	DBLP DOI BibTeX RDF
23	Rolf Drechsler, Alireza Mahzoon	Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits.	DATE	2023	DBLP DOI BibTeX RDF
23	Christian Fibich, Martin Horauer, Roman Obermaisser	Bitstream- Level Interconnect Fault Characterization for SRAM-based FPGAs.	DATE	2023	DBLP DOI BibTeX RDF
23	Yixian Shen, Sobhan Niknam, Anuj Pathania, Andy D. Pimentel	Thermal Management for S-NUCA Many-Cores via Synchronous Thread Rotations.	DATE	2023	DBLP DOI BibTeX RDF
23	Heng Zhou, Bing Wu 0001, Huan Cheng, Wei Zhao 0034, Xueliang Wei, Jinpeng Liu, Dan Feng 0001, Wei Tong 0001	ODLPIM: A Write-Optimized and Long-Lifetime ReRAM-Based Accelerator for Online Deep Learning.	DATE	2023	DBLP DOI BibTeX RDF
23	Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee	Polyglot Modal Models through Lingua Franca.	DATE	2023	DBLP DOI BibTeX RDF
23	Guilherme Korol, Michael Guilherme Jordan, Mateus Beck Rutzig, Jerónimo Castrillón, Antonio Carlos Schneider Beck	Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAs.	DATE	2023	DBLP DOI BibTeX RDF