Search results for "overloaded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Ludmila Cherkasova, Peter Phaal	Session-Based Admission Control: A Mechanism for Peak Load Management of Commercial Web Sites.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Session-based web workload, overloaded web server, web QoS, adaptive control strategies, synthetic workload generator, simulation, performance analysis, admission control
57	Ching-Chih Han, Kang G. Shin, Sang Kyun Yun	On Load Balancing in Multicomputer/Distributed Systems Equipped with Circuit or Cut-Through Switching Capability.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	minimax flow problem, excess/deficit load, overloaded/underloaded nodes, link traffic, Load balancing
47	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Calculus for Overloaded Functions with Subtyping.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
46	Simon Stobart, Norman Parrington, Bor-Yuan Tsai	Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing
38	Kai-Kit Wong, Arogyaswami Paulraj, Ross D. Murch	Efficient High-Performance Decoding for Overloaded MIMO Antenna Systems.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
38	Vipul Mathur, Varsha Apte	An overhead and resource contention aware analytical model for overloaded web servers.	WOSP	2007	DBLP DOI BibTeX RDF	model, Markov chain, queueing theory, web server, resource sharing, overload, analytical, LIFO
38	Ludmila Cherkasova, Peter Phaal	Predictive Admission Control Strategy for Overloaded Commercial Web Server.	MASCOTS	2000	DBLP DOI BibTeX RDF
37	Kripakaran Suryanarayanan, Kenneth J. Christensen	Performance Evaluation of New Methods of Automatic Redirection for Load Balancing of Apache Servers Distributed in the Internet.	LCN	2000	DBLP DOI BibTeX RDF	automatic redirection, Apache servers, overloaded web server, 404 error, open source Apache HTTP server, Red-Apache, HTTP 301 redirection, server tag, client browser, round-trip redirection, JavaScript function, Java, performance evaluation, Internet, Internet, WWW, World Wide Web, load balancing, telecommunication network routing, telecommunication traffic, file servers, substitution method
29	Ping Lai, Sundeep Narravula, Karthikeyan Vaidyanathan, Dhabaleswar K. Panda 0001	Advanced RDMA-Based Admission Control for Modern Data-Centers.	CCGRID	2008	DBLP DOI BibTeX RDF	multi-tier data-center, admission control, InfiniBand, RDMA
29	Ho-Leung Chan, Wun-Tat Chan, Tak Wah Lam, Lap-Kei Lee, Kin-Sum Mak, Prudence W. H. Wong	Energy efficient online deadline scheduling.	SODA	2007	DBLP BibTeX RDF
29	Vahid Salmani, Roya Ensafi, Narges Khatib-Astaneh, Mahmoud Naghibzadeh	A Fuzzy-Based Multi-criteria Scheduler for Uniform Multiprocessor Real-Time Systems.	ICIT	2007	DBLP DOI BibTeX RDF
29	Vahid Salmani, Mahmoud Naghibzadeh, Mohsen Kahani	Deadline Scheduling with Processor Affinity and Feasibility Check on Uniform Parallel Machines.	CIT	2007	DBLP DOI BibTeX RDF
29	Zhu Xiangbin, Shi-liang Tu	Adaptive fuzzy control scheduling of window-constrained real-time systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
29	Artem Alimarine, Marinus J. Plasmeijer	A Generic Programming Extension for Clean.	IFL	2001	DBLP DOI BibTeX RDF
29	Ludmila Cherkasova, Peter Phaal	Peak Load Management for Commercial Web Servers using Adaptive Session-based Admission Control.	HICSS	2001	DBLP DOI BibTeX RDF	session-based workload, peak load management, simulation, quality of service, admission control, web server performance
29	Hongjun Lu, Kian-Lee Tan	Dynamic and Load-balanced Task-Oriented Datbase Query Processing in Parallel Systems.	EDBT	1992	DBLP DOI BibTeX RDF
28	N. C. Woolley, Jovica V. Milanovic	Application of AIS Based Classification Algorithms to Detect Overloaded Areas in Power System Networks.	ICARIS	2009	DBLP DOI BibTeX RDF
28	Joon Ho Cho	Multiuser Constrained Water-Pouring for Continuous-Time Overloaded Gaussian Multiple-Access Channels.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
28	Satya Prakash Ponnaluri, Tommy Guess	Effects of Spreading and Training on Capacity in Overloaded CDMA.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
28	Joon Ho Cho, Qu Zhang, Lixin Gao	A comparison of frequency-division systems to code-division systems in overloaded channels.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
28	Regina Egorova, Sem C. Borst, Bert Zwart	Bandwidth-sharing in overloaded networks.	CISS	2008	DBLP DOI BibTeX RDF
28	Simone Morosi, Romano Fantacci, Enrico Del Re, Angela Chiassai	Design of Turbo-MUD Receivers for Overloaded CDMA Systems by Density Evolution Technique.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
28	Satya Prakash Ponnaluri, Tommy Guess	Signature sequence and training design for overloaded CDMA systems.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
28	Brad W. Zarikoff, James K. Cavers, Sara Bavarian	An iterative groupwise multiuser detector for overloaded MIMO applications.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
28	Joon Ho Cho	Joint Transmitter and Receiver Optimization for Continuous-Time Overloaded Gaussian Multiple-Access Channels.	ICC	2007	DBLP DOI BibTeX RDF
28	Slawomir Stanczak, Gerhard Wunder, Holger Boche	On pilot-based multipath channel estimation for uplink CDMA systems: an overloaded case.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
28	Frederik Vanhaverbeke, Marc Moeneclaey	Sum capacity of equal-power users in overloaded channels.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
28	Michihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato	Effect of Mobility on Communication Performance in Overloaded One-Dimensional Cellular Networks.	ICDCIT	2005	DBLP DOI BibTeX RDF
28	Martin J. Fischer, Denise M. Bevilacqua Masi	Modeling overloaded VoIP systems.	WSC	2005	DBLP BibTeX RDF
28	Matthew Andrews	Maximizing profit in overloaded networks.	INFOCOM	2005	DBLP DOI BibTeX RDF
28	Pedro Mejía-Alvarez, Rami G. Melhem, Daniel Mossé, Hakan Aydin	An Incremental Server for Scheduling Overloaded Real-Time Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Real-time systems scheduling, approximate algorithms, incremental processing
28	Mitchell D. Theys, Noah Beck, Howard Jay Siegel, Michael Jurczyk, Min Tan 0002	Heuristics for Scheduling Prioritized Data Requests with Deadlines in an Overloaded Distributed Computing Networ.	ISMSE	2000	DBLP DOI BibTeX RDF
27	James B. Walters, George F. Corliss	Automatic Differentiation: Point and Interval Taylor Operators.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Code list, Overloaded operator, Interval arithmetic, Automatic differentiation, Taylor series
27	S. A. Grishechkin	Multiclass batch arrival retrial queues analyzed as branching processes with immigration.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	branching processes with immigration, queues, heavy traffic, overloaded, Retrial queues
19	Li Ma, Dangwei Liang, Qiongsheng Zhang, Xin Li 0002, Hongan Wang	Load Shedding for Shared Window Join over Real-Time Data Streams.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	query deadline, quality of service, Data stream, load shedding
19	Yaw-Huei Chen, Yu-Ren Ju	Parallel Load Balancing Strategies for Tree-Structured Peer-to-Peer Networks.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	parallel transmission, load balancing, Peer-to-peer network, balanced tree
19	J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Integrating coercion with subtyping and multiple dispatch.	SAC	2008	DBLP DOI BibTeX RDF
19	Charles Shen, Henning Schulzrinne, Erich M. Nahum	Session Initiation Protocol (SIP) Server Overload Control: Design and Evaluation.	IPTComm	2008	DBLP DOI BibTeX RDF
19	Jia Rao, Cheng-Zhong Xu 0001	CoSL: A coordinated statistical learning approach to measuring the capacity of multi-tier websites.	IPDPS	2008	DBLP DOI BibTeX RDF
19	Masaki Aida, Chisa Takano, Masayuki Murata 0001, Makoto Imase	A Proposal of Quasi-Static Approach for Analyzing the Stability of IP Telephony Systems.	ICN	2008	DBLP DOI BibTeX RDF	retry traffic, quasi-static, stability, IP telephony
19	Hyung Won Choi, Hukeun Kwak, Andrew Sohn, Kyusik Chung	Autonomous learning for efficient resource utilization of dynamic VM migration.	ICS	2008	DBLP DOI BibTeX RDF	OS migration, virtual machines, virtualization, resource utilization, linux cluster
19	Christian Spielvogel, László Böszörményi, Peter G. Kropf	A demo for affinity based content delivery architectures.	NOSSDAV	2008	DBLP DOI BibTeX RDF	peer-to-peer systems, content delivery networks, multimedia adaptation
19	John A. Morrison	Processor sharing for two queues with vastly different rates.	Queueing Syst. Theory Appl.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K30, 90B22
19	Georgios Exarchakos, Nick Antonopoulos	Resource Sharing Architecture For Cooperative Heterogeneous P2P Overlays.	J. Netw. Syst. Manag.	2007	DBLP DOI BibTeX RDF	Peer-to-peer, Heterogeneity, Reactive systems, Resource sharing
19	Kevin P. Adams, Denis Gracanin	Using adaptive scheduling for increased resiliency in passive asynchronous replication.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Policy-based backup, Backup/recovery, Neural Networks, Algorithms, Data Replication
19	Yijiao Yu, Hai Jin 0001	Discourage free riding in Peer-to-Peer file sharing systems with file migration and workload balancing approach.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	file migration, Quality of Service (QoS), free riding, workload balancing, Peer-to-Peer (P2P) network, free rider
19	Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Modular multiple dispatch with multiple inheritance.	SAC	2007	DBLP DOI BibTeX RDF	modularity, overloading, multiple inheritance, multiple dispatch
19	Timo Schönwald, Jochen Zimmermann, Oliver Bringmann 0001, Wolfgang Rosenstiel	Fully Adaptive Fault-Tolerant Routing Algorithm for Network-on-Chip Architectures.	DSD	2007	DBLP DOI BibTeX RDF
19	Stefan Zöls, Zoran Despotovic, Wolfgang Kellerer	Load balancing in a hierarchical DHT-based P2P system.	CollaborateCom	2007	DBLP DOI BibTeX RDF
19	Yijiao Yu, Hai Jin 0001	A Workload Balancing Based Approach to Discourage Free Riding in Peer-to-Peer Network.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF
19	Ming Jiang 0002, Jos Akhtman, Feng Guo 0003, Lajos Hanzo	Iterative Joint Channel Estimation and Symbol Detection for Multi-User MIMO OFDM.	VTC Spring	2006	DBLP DOI BibTeX RDF
19	Guoqin Ning, Guangxi Zhu, Qingxia Li, Renyong Wu	Dynamic Load Balancing Based on Sojourn Time in Multitier Cellular Systems.	VTC Spring	2006	DBLP DOI BibTeX RDF
19	Jingyu Zhou, Tao Yang 0009	Selective early request termination for busy internet services.	WWW	2006	DBLP DOI BibTeX RDF	request termination, internet services, load shedding
19	Bih-Hwang Lee, Hsin-Pei Chen, Su-Shun Huang	ATraffic Shedding Algorithm for Soft-Handoff in MC-CDMA Systems.	ICPADS (1)	2005	DBLP DOI BibTeX RDF	hot-spot cell, traffic shedding, mobile communication, soft handoff
19	Myeong-Wuk Jang, Gul Agha	Adaptive Agent Allocation for Massively Multi-agent Applications.	MMAS	2004	DBLP DOI BibTeX RDF
19	Grzegorz Bancerek, Josef Urban	Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.	MKM	2004	DBLP DOI BibTeX RDF
19	Xiu Wu, Kian-Lee Tan	A Hash-Based Collaborative Transcoding Proxy System.	APWeb	2003	DBLP DOI BibTeX RDF
19	Haonan Tan, Derek L. Eager, Mary K. Vernon, Hongfei Guo	Quality of service evaluations of multicast streaming protocols.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
19	E. Kraemer, Goedson T. Paixão, Dorgival Olavo Guedes Neto, Wagner Meira Jr., Virgílio A. F. Almeida	Minimizing the impact of orphan requests in e-commerce services.	SIGMETRICS Perform. Evaluation Rev.	2000	DBLP DOI BibTeX RDF
19	Richard Gerber 0001, Seongsoo Hong	Slicing Real-Time Programs for Enhanced Schedulability.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	system tuning, program slicing, priority assignment, static priority scheduling
19	Zhenyu Qian, Bernd Krieg-Brückner	Typed Object-Oriented Functional Programming with Late Binding.	ECOOP	1996	DBLP DOI BibTeX RDF
19	Simon Courtenage, Alexandra Poulovassilis	Combining Inheritance and Parametric Polymorphism in a Functional Database Language.	BNCOD	1995	DBLP DOI BibTeX RDF
19	Derek Chi-Wai Pao, S. C. Leung	Sharing Buffer in an Input-Output Buffered ATM Switch without Scaling up Memory Bandwidth Requirement.	ICCCN	1995	DBLP DOI BibTeX RDF	cells recirculation, ATM switch, shared buffer
18	Kan Feng, Ke Yang, Haopeng Shi, Najuan Jia, Pingjuan Zhang	Congestion control method for overloaded service of smart substation under high concurrent users.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
18	Yuto Suzuki, Yukitoshi Sanada	Belief Propagation Detection with MRC Reception and MMSE Pre-Cancellation for Overloaded MIMO.	IEICE Trans. Commun.	2024	DBLP DOI BibTeX RDF
18	Chih-Chang Shen, Jia-Sheng Li	Joint DOA and DOD Estimation Using KR-MUSIC for Overloaded Target in Bistatic MIMO Radars.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
18	Milad Shojaee, S. Mohsen Azizi 0001	Model Predictive Control of Overloaded Stand-Alone Hybrid AC/DC Microgrids.	IEEE Trans. Circuits Syst. I Regul. Pap.	2024	DBLP DOI BibTeX RDF
18	Takuma Kobayashi, Takumi Takahashi, Shinsuke Ibi, Seiichi Sampei	Concatenated Structure of EP and Turbo Equalizer for Overloaded Massive MIMO Detection.	CCNC	2024	DBLP DOI BibTeX RDF
18	Satoshi Denno, Tomoya Tanikawa, Yafei Hou	Overloaded MIMO Bi-Directional Communication with Physical Layer Network Coding in Heterogeneous Multihop Networks.	IEICE Trans. Commun.	2023	DBLP DOI BibTeX RDF
18	Xinyu Wu, Dan Wu, Eytan H. Modiano	Queueing Delay Minimization in Overloaded Networks via Rate Control.	CoRR	2023	DBLP DOI BibTeX RDF
18	Nan Xu, Fei Wang 0060, Ben Zhou, Bangzheng Li, Chaowei Xiao, Muhao Chen	Cognitive Overload: Jailbreaking Large Language Models with Overloaded Logical Thinking.	CoRR	2023	DBLP DOI BibTeX RDF
18	Onur Dizdar, Ata Sattarzadeh, Yi Xien Yap, Stephen Wang 0001	RSMA for Overloaded MIMO Networks: Low-Complexity Design for Max-Min Fairness.	CoRR	2023	DBLP DOI BibTeX RDF
18	Onur Dizdar, Ata Sattarzadeh, Yi Xien Yap, Stephen Wang 0001	A Low-Complexity Design for Rate-Splitting Multiple Access in Overloaded MIMO Networks.	CoRR	2023	DBLP DOI BibTeX RDF
18	Yuqin Li, Jun Liu, Shengliang Zhong, Licheng Zhou, Shoubin Dong, Zejia Liu, Liqun Tang	Deep Learning Overloaded Vehicle Identification for Long Span Bridges Based on Structural Health Monitoring Data.	CoRR	2023	DBLP DOI BibTeX RDF
18	Ying Gao, Qingqing Wu, Wen Chen 0001, Yang Liu 0017, Ming Li 0011, Daniel Benevides da Costa	IRS-Aided Overloaded Multi-Antenna Systems: Joint User Grouping and Resource Allocation.	CoRR	2023	DBLP DOI BibTeX RDF
18	Abolghasem Afshar, Vahid Tabataba Vakili, Sajad Daei	A novel blind spatial-based random access to pilots (BSB-RAP) in overloaded massive MIMO systems.	Phys. Commun.	2023	DBLP DOI BibTeX RDF
18	Marwan Krunz, Peyman Siyari	Secure Linear Precoding in Overloaded MU-MIMO Wireless Networks.	IEEE Trans. Commun.	2023	DBLP DOI BibTeX RDF
18	Emerson Bracy, Henrik Lassila, Jan Treur	Too Overloaded to Use: An Adaptive Network Model of Information Overload During Smartphone App Usage.	COMPLEX NETWORKS (4)	2023	DBLP DOI BibTeX RDF
18	Kazuki Miyata, Satoshi Denno, Yafei Hou	A Lattice Reduction Aided Overloaded Multi-user MIMO.	VTC Fall	2023	DBLP DOI BibTeX RDF
18	Yuto Suzuki, Yukitoshi Sanada	Belief Propagation Overloaded MIMO Detection using MRC Reception and MMSE Pre-cancellation.	VTC Fall	2023	DBLP DOI BibTeX RDF
18	Taissir Y. Elganimi, Hamza M. Mahmodi, Hosam Almqadim, Khaled M. Rabie	IRS-Assisted Rate-Splitting Multiple Access for Overloaded Multiuser MISO Transmission.	ICC Workshops	2023	DBLP DOI BibTeX RDF
18	Cheng Zeng, Jun-Bo Wang, Penghui Zhang, Yijian Chen, Hongkang Yu, Gang Wang, Min Lin 0001	Joint Beamforming and Rate Splitting Scheme Design for Overloaded Industrial Private Networks.	ICC Workshops	2023	DBLP DOI BibTeX RDF
18	Noboru Osawa, Fabian Göttsch, Issei Kanno, Takeo Ohseki, Yoshiaki Amano, Kosuke Yamazaki, Giuseppe Caire	Overloaded Pilot Assignment with Pilot Decontamination for Cell-Free Systems.	WCNC	2023	DBLP DOI BibTeX RDF
18	Swati Bhattacharya, K. V. S. Hari, Yonina C. Eldar	Joint Channel Estimation and Symbol Detection in Overloaded MIMO Using ADMM.	SSP	2023	DBLP DOI BibTeX RDF
18	Ahdrian Camilo C. Gernale, Drandreb Earl O. Juanico	Classification and Prediction of Overloaded Trucks Passing the Southbound Lane of North-Luzon Expressway Using Artificial Neural Network.	CoDIT	2023	DBLP DOI BibTeX RDF
18	Satoshi Denno, Shuhei Manabe, Yafei Hou	Multi Stage Log-Likelihood Ratio Estimation with Ordering in a Non-Linear Receiver for Overloaded MIMO Systems.	WPMC	2023	DBLP DOI BibTeX RDF
18	Satoshi Denno, Tomoya Tanikawa, Yafei Hou	An Overloaded MIMO 2-Hop Network With Physical Layer Network Coding.	APCC	2023	DBLP DOI BibTeX RDF
18	Rajeshwari Sissodia, Manmohan Singh Rauthan, Varun Barthwal	A Multi-Objective Adaptive Upper Threshold Approach for Overloaded Host Detection in Cloud Computing.	Int. J. Cloud Appl. Comput.	2022	DBLP DOI BibTeX RDF
18	Michel Kulhandjian, Hovannes Kulhandjian, Claude D'Amours, Halim Yanikomeroglu, Dimitris A. Pados, Gurgen H. Khachatrian	Low-Complexity Decoder for Overloaded Uniquely Decodable Synchronous CDMA.	IEEE Access	2022	DBLP DOI BibTeX RDF
18	Risa Shioi, Takashi Imamura, Yukitoshi Sanada	Two-Stage Belief Propagation Detection with MMSE Pre-Cancellation for Overloaded MIMO.	IEICE Trans. Commun.	2022	DBLP DOI BibTeX RDF
18	Behnam Vakili, Morteza Gholipour	Enhanced overloaded code division multiple access for network on chip.	IET Comput. Digit. Tech.	2022	DBLP DOI BibTeX RDF
18	Noboru Osawa, Fabian Göttsch, Issei Kanno, Takeo Ohseki, Yoshiaki Amano, Kosuke Yamazaki, Giuseppe Caire	Effective Overloaded Pilot Assignment with Pilot Decontamination for Cell-Free Systems.	CoRR	2022	DBLP DOI BibTeX RDF
18	Joshua Clifford Bongard, Michael Levin	There's Plenty of Room Right Here: Biological Systems as Evolved, Overloaded, Multi-scale Machines.	CoRR	2022	DBLP DOI BibTeX RDF
18	Bruno M. P. Moura, Guilherme Bayer Schneider, Adenauer C. Yamin, Hélida S. Santos, Renata H. S. Reiser, Benjamín R. C. Bedregal	Interval-valued Fuzzy Logic approach for overloaded hosts in consolidation of virtual machines in cloud computing.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
18	Murat Bayraktar, Gokhan M. Guvensen	Adaptation of Code-Domain NOMA to SC-FDE Based Overloaded mmWave Hybrid Massive MIMO.	IEEE Commun. Lett.	2022	DBLP DOI BibTeX RDF
18	Mitchell Duncan, Fatima Raadia, Syeda Tanjila Atik, Marco Brocanelli, Nathan Fisher	Real-Time Schedulability Analysis for Overloaded Primary-to-Secondary Processor Systems.	HPCC/DSS/SmartCity/DependSys	2022	DBLP DOI BibTeX RDF
18	Stephanie Stacy, Aishni Parab, Max Kleiman-Weiner, Tao Gao 0004	Overloaded Communication as Paternalistic Helping.	CogSci	2022	DBLP BibTeX RDF
18	Xinyu Wu, Dan Wu, Eytan H. Modiano	Queueing Delay Minimization in Overloaded Networks via Rate Control.	Allerton	2022	DBLP DOI BibTeX RDF
18	Arve Gengelbach, Johannes Åman Pohjola	A Verified Cyclicity Checker: For Theories with Overloaded Constants.	ITP	2022	DBLP DOI BibTeX RDF
18	Shuhei Makabe, Satoshi Denno, Yafei Hou	A Low Complexity Non-linear Iterative Receiver for Overloaded MIMO-OFDM Systems.	APCC	2022	DBLP DOI BibTeX RDF