Search results for "overloading"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Preetam Kumar, Saswat Chakrabarti	An Improved OCDMA/OCDMA Overloading Scheme for Cellular DS-CDMA.	NEW2AN	2008	DBLP DOI BibTeX RDF
95	Stefan Kaes	Parametric Overloading in Polymorphic Programming Languages.	ESOP	1988	DBLP DOI BibTeX RDF
86	Song Fu, Cheng-Zhong Xu 0001	Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management.	SRDS	2007	DBLP DOI BibTeX RDF
73	Preetam Kumar, Saswat Chakrabarti	A New Overloading Scheme for Cellular DS-CDMA using Orthogonal Gold Codes.	VTC Spring	2008	DBLP DOI BibTeX RDF
73	Radoslaw Adamus, Kazimierz Subieta	Security Management Through Overloading Views.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
65	Lorenzo Bettini, Sara Capecchi, Betti Venneri	Featherweight Java with multi-methods.	PPPJ	2007	DBLP DOI BibTeX RDF	dynamic overloading, language extensions, multi-methods, featherweight Java
64	Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos	Constraint-set satisfiability for overloading.	PPDP	2004	DBLP DOI BibTeX RDF	constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism
64	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ICFP	2002	DBLP DOI BibTeX RDF	constraints, type inference, overloading, type classes
64	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
63	Preetam Kumar, M. Ramesh, Saswat Chakrabarti	Overloading Cellular DS-CDMA: A Bandwidth-Efficient Scheme for Capacity Enhancement.	ICDCN	2008	DBLP DOI BibTeX RDF
63	Preetam Kumar, Saswat Chakrabarti	Performance evaluation of a new overloading scheme for cellular DS-CDMA with iterative multistage interference cancellation receiver.	COMSWARE	2008	DBLP DOI BibTeX RDF
63	Oliver Pell, Wayne Luk	Resolving Quartz Overloading.	CHARME	2005	DBLP DOI BibTeX RDF
63	Emmanuel Coquery, François Fages	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.	ICLP	2002	DBLP DOI BibTeX RDF
53	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	evidence translation, Constraints, type inference, coherence, overloading, type classes
53	Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, Andre Vehreschild	Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs.	SCAM	2002	DBLP DOI BibTeX RDF	operator overloading, MATLAB, high-level language, automatic differentiation, derivatives, source transformation
52	Yu Tang, Shuyu Chen, Changqing Bu, Guanghui Chang, Rahul Simha	Application-Kernel Collaboration Mechanisms for Real-Time Cluster Server under Overloading.	HPCC	2008	DBLP DOI BibTeX RDF
52	Antoine Beugnard	Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components.	SAC	2006	DBLP DOI BibTeX RDF	objet oriented language interoperability, software component, encapsulation
44	Virginie Sans, Dominique Laurent 0001	Navigating with inheritance in hypermedia presentations.	SAC	2006	DBLP DOI BibTeX RDF	advanced rich media, flash communication server, overdefining, spatial inheritance, temporal inheritance, WWW, synchronization, hypermedia, inheritance, multimedia presentation, hyperlink, overloading, ARM
44	Manish Vachharajani, Neil Vachharajani, Sharad Malik, David I. August	Facilitating reuse in hardware models with enhanced type inference.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	component overloading, polymorphism, type inference, component reuse, liberty simulation environment (LSE)
41	Shengbo Chen, Huaikou Miao, Qingguo Xu	Mailbox-Based Communications Scheme for Mobile Agent Overloading-balance and Message-priority.	GCC	2007	DBLP DOI BibTeX RDF
41	R. Al-Omari, G. Manimaran, Arun K. Somani	An Efficient Backup-Overloading for Fault-Tolerant Scheduling of Real-Time Tasks.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
41	Stefan Kaes	Type Inference in the Presence of Overloading, Subtyping and Recursive Types.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
41	Franz-Josef Grosch, Gregor Snelting	Inference-Based Overloading Resolution for ADA.	PLILP	1990	DBLP DOI BibTeX RDF
41	François Rouaix	Safe Run-time Overloading.	POPL	1990	DBLP DOI BibTeX RDF	ML
33	Roscoe A. Bartlett, Bart G. van Bloemen Waanders, Martin Berggren	Hybrid differentiation strategies for simulation and analysis of applications in C++.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	Hybrid differentiation methods, template overloading, automatic differentiation, finite volume methods, Euler equations
33	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
33	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
33	S. Sarala, S. Valli	A Tool to Automatically Detect Defects in C++ Programs.	CIT	2004	DBLP DOI BibTeX RDF	Function overloading, Hybrid Inheritance, Friend Function, Template Function, Dangling Reference, Test case, Automatic Generation, Virtual Function
33	Jerry Z. Gao 0002, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen	Object state testing for object-oriented programs.	COMPSAC	1995	DBLP DOI BibTeX RDF	object state testing, class objects, behavior testing, object state diagram, OO features, communicating state machine, object state hierarchy, complex class object, object state test strategy, object-oriented programming, object oriented programs, object-oriented programs, test generation, aggregation, program testing, inheritance, abstract data types, functional testing, structure testing, overloading, dynamic behavior, test criteria, OO programs
32	Steven Obua	Checking Conservativity of Overloaded Definitions in Higher-Order Logic.	RTA	2006	DBLP DOI BibTeX RDF
32	Joe Chun-Hung Yuen, Kam-yiu Lam, Edward Chan	Adaptive Buffer Sensitive Scheduling for Transmitting Video Streams in a Mobile Multimedia System.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
31	Alexander V. Shafarenko, Sven-Bodo Scholz	General Homomorphic Overloading.	IFL	2004	DBLP DOI BibTeX RDF
31	Carlos Montez	Dealing with Overloading in Tasks Scheduling.	SCCC	2002	DBLP DOI BibTeX RDF	web QoS, distributed systems, real-time
31	Markus Wenzel 0001	Type Classes and Overloading in Higher-Order Logic.	TPHOLs	1997	DBLP DOI BibTeX RDF
31	Adair Dingle	The object-ownership model: a case study for inheritance and operator overloading.	SIGCSE	1997	DBLP DOI BibTeX RDF
31	Patricia Johann, Michael Kohlhase	Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.	CADE	1994	DBLP DOI BibTeX RDF
31	Geoffrey Smith 0001	Polymorphic Type Inference with Overloading and Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
31	Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis	OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.	ALP	1988	DBLP DOI BibTeX RDF
22	Martin Sulzmann	Extracting programs from type class proofs.	PPDP	2006	DBLP DOI BibTeX RDF	proofs are programs principle, overloading, type classes
22	Joaquim R. R. A. Martins, Peter Sturdza, Juan J. Alonso	The complex-step derivative approximation.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	complex-step derivative approximation, sensitivities, Automatic differentiation, gradients, overloading, forward mode
22	Diomidis Spinellis	A modest proposal for curing the public field phobia.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	getter methods, object accessor method, C++, overloading, field
22	R. Baker Kearfott	Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	operator overloading, portability, interval arithmetic, Fortran 90
22	Andreas Griewank, David W. Juedes, Jean Utke	Algorithm 755: ADOL-C: A Package for the Automatic Differentiation of Algorithms Written in C/C++.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	Taylor coefficients, chain rule, reverse mode, automatic differentiation, gradients, overloading, Hessians, forward mode
22	Ralph Baker Kearfott, Milind Dawande, Kaisheng Du, Chenyi Hu	Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	operator overloading, standard functions, interval arithmetic, Fortran 77, FORTRAN 77, Fortran 90, BLAS
21	Qin Zheng 0002, Bharadwaj Veeravalli, Chen-Khong Tham	On the Design of Fault-Tolerant Scheduling Strategies Using Primary-Backup Approach for Computational Grids with Low Replication Costs.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
21	Jian (Denny) Lin, Yuhua Chen, Albert M. K. Cheng	On-Line Burst Header Scheduling in Optical Burst Switching Networks.	AINA	2008	DBLP DOI BibTeX RDF
21	Pitiporn Pakdeepinit, Tapanun Yeophantong, Pavel Chen, Pratit Santiprabhob	Balancing Secondary Traffic Metering for DiffServ Assured Forwarding Classes.	ICON	2007	DBLP DOI BibTeX RDF
21	Marzio Sala	An object-oriented framework for the development of scalable parallel multilevel preconditioners.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Multilevel preconditioners, object-oriented
21	Rajiv Malik, Alka Munjal, Shampa Chakraverty	Adaptive Forward Error Correction (AFEC) based Streaming using RTSP and RTP.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Adaptive Forward Error Correction (AFEC), Wireless Networks, Streaming, RTP, RTSP
21	Christiane M. Bortoleto, Lau Cheuk Lung, Frank Siqueira, Alysson Neves Bessani, Joni da Silva Fraga	A Semi-reliable Multicast Protocol for Distributed Multimedia Applications in Large Scale Networks.	MMNS	2005	DBLP DOI BibTeX RDF
21	Anthony Savidis	Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming.	RISE	2005	DBLP DOI BibTeX RDF
21	Thomas Magesacher, Per Ödling, Tomas Nordström, T. Lunberg, Mikael Isaksson, Per Ola Börjesson	An adaptive mixed-signal narrowband interference canceller for wireline transmission systems.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
21	Rajeev Murgai	Delay-Constrained Area Recovery Via Layout-Driven Buffer Optimization.	VLSI Design	2000	DBLP DOI BibTeX RDF
21	Sunondo Ghosh, Rami G. Melhem, Daniel Mossé	Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	primary/backup, fault-tolerance, reliability, operating systems, redundancy, Real-time scheduling
21	Motohiko Matsuda, Mitsuhisa Sato, Yutaka Ishikawa	Efficient Implementation of Portable C*-like Data-Parallel Library in C++.	APDC	1997	DBLP DOI BibTeX RDF
21	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
21	John Peterson, Mark P. Jones	Implementing Type Classes.	PLDI	1993	DBLP DOI BibTeX RDF	Haskell, Standard ML
21	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
20	Pavel Mach, Zdenek Becvar, Thrasyvoulos Spyropoulos	Coping with Spatial Unfairness and Overloading Problem in Mobile Networks via D2D Relaying.	IEEE Wirel. Commun.	2024	DBLP DOI BibTeX RDF
20	Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic	A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
20	Arsalan Habib Khawaja, Wajiha Ateeq, DongSheng Cai, Waqas Amin, Qi Huang 0002	A Novel Method of Transformer Overloading Detection by Magnetic Flux Leakage Measurements.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
20	Yixin Zhao, Baoping Cai, Kang Hooi Siang, Yiliu Liu	Cascading failure analysis of multistate loading dependent systems with application in an overloading piping network.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
20	Min Du, Lianhong Wang, Yicong Zhou	High-Stealth False Data Attacks on Overloading Multiple Lines in Power Systems.	IEEE Trans. Smart Grid	2023	DBLP DOI BibTeX RDF
20	Tal Shaharabany, Aviad Dahan, Raja Giryes, Lior Wolf	AutoSAM: Adapting SAM to Medical Images by Overloading the Prompt Encoder.	CoRR	2023	DBLP DOI BibTeX RDF
20	Martin Sulzmann, Stefan Wehr	A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go.	J. Funct. Program.	2023	DBLP DOI BibTeX RDF
20	Xuanjun Jin, Cheng Qian, Yahong Lu	Research on New Energy System of Power Grid Based on Specific Overloading Treatment Technology.	ICISCAE	2023	DBLP DOI BibTeX RDF
20	Zhi-Jing Lin, Ti-Yu Chen, Tzi-Dar Chiueh	A Multi-Overloading-Factor Sparse Code Multiple Access Decoder for 5G Communications.	ESSCIRC	2023	DBLP DOI BibTeX RDF
20	Tal Shaharabany, Aviad Dahan, Raja Giryes, Lior Wolf	AutoSAM: Adapting SAM to Medical Images by Overloading the Prompt Encoder.	BMVC	2023	DBLP BibTeX RDF
20	Antonella Camilleri, Sanja Dogramadzi, Praminda Caleb-Solly	A Study on the Effects of Cognitive Overloading and Distractions on Human Movement During Robot-Assisted Dressing.	Frontiers Robotics AI	2022	DBLP DOI BibTeX RDF
20	Shibin Gao, Jieyu Lei, Jian Shi, Xiaoguang Wei, Ming Dong 0003, Zhu Han 0001	Assessment of Overloading Correlations Among Transmission Lines Under Load Redistribution Attacks.	IEEE Trans. Smart Grid	2022	DBLP DOI BibTeX RDF
20	Piljoo Choi, Won Bae Kong, Ji-Hoon Kim, Mun-Kyu Lee, Dong Kyue Kim	Architectural Supports for Block Ciphers in a RISC CPU Core by Instruction Overloading.	IEEE Trans. Computers	2022	DBLP DOI BibTeX RDF
20	Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li	LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems.	CoRR	2022	DBLP DOI BibTeX RDF
20	Huixi Li, Yinhao Xiao, Yongluo Shen	A Combination of Host Overloading Detection and Virtual Machine Selection in Cloud Server Consolidation based on Learning Method.	CoRR	2022	DBLP DOI BibTeX RDF
20	Uwe Naumann	Reduction of the Random Access Memory Size in Adjoint Algorithmic Differentiation by Overloading.	CoRR	2022	DBLP DOI BibTeX RDF
20	Jean Paul Degabriele, Vukasin Karadzic	Overloading the Nonce: Rugged PRPs, Nonce-Set AEAD, and Order-Resilient Channels.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
20	Valliappan Muthukaruppan, Mesut A. Baran, Ning Lu 0002, P. J. Rehm, Edmond Miller, Matthew Makdad	Overloading Analysis of Distribution Transformers using Smart Meter Data.	ISGT	2022	DBLP DOI BibTeX RDF
20	Enge Song, Nianbing Yu, Tian Pan 0001, Qiang Fu 0011, Liang Xu, Xionglie Wei, Yisong Qiao, Jianyuan Lu, Yijian Dong, Mingxu Xie, Jun He, Jinkui Mao, Zhengjie Luo, Chenhao Jia, Jiao Zhang 0002, Tao Huang 0005, Biao Lyu, Shunmin Zhu	MIMIC: SmartNIC-aided Flow Backpressure for CPU Overloading Protection in Multi-Tenant Clouds.	ICNP	2022	DBLP DOI BibTeX RDF
20	Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller	Method overloading the circuit.	SoCC	2022	DBLP DOI BibTeX RDF
20	Jean Paul Degabriele, Vukasin Karadzic	Overloading the Nonce: Rugged PRPs, Nonce-Set AEAD, and Order-Resilient Channels.	CRYPTO (4)	2022	DBLP DOI BibTeX RDF
20	Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li	L-QoCo: learning to optimize cache capacity overloading in storage systems.	DAC	2022	DBLP DOI BibTeX RDF
20	Muhammad Jibran, Hasan Arshad Nasir, Faran A. Qureshi, Usman Ali, Colin N. Jones, Imran Mahmood	A Demand Response-Based Solution to Overloading in Underdeveloped Distribution Networks.	IEEE Trans. Smart Grid	2021	DBLP DOI BibTeX RDF
20	Pushpa Singh, Rajeev Agrawal	An Overloading State Computation and Load Sharing Mechanism in Fog Computing.	J. Inf. Technol. Res.	2021	DBLP DOI BibTeX RDF
20	Savina Bansal, Rakesh Kumar Bansal, Kiran Arora	Energy efficient backup overloading schemes for fault tolerant scheduling of real-time tasks.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
20	Phudit Ampririt, Seiji Ohara, Ermioni Qafzezi, Makoto Ikeda, Leonard Barolli, Makoto Takizawa 0001	Effect of Slice Overloading Cost on Admission Control for 5G Wireless Networks: A Fuzzy-Based System and Its Performance Evaluation.	EIDWT	2021	DBLP DOI BibTeX RDF
20	Phudit Ampririt, Ermioni Qafzezi, Kevin Bylykbashi, Makoto Ikeda, Keita Matsuo, Leonard Barolli	A New Scheme for Slice Overloading Cost in 5G Wireless Networks Considering Fuzzy Logic.	CISIS	2021	DBLP DOI BibTeX RDF
20	Arve Gengelbach	Conservative Definitions for Higher-order Logic with Ad-hoc Overloading.		2021	RDF
20	Johannes Åman Pohjola, Arve Gengelbach	A Mechanised Semantics for HOL with Ad-hoc Overloading.	CoRR	2020	DBLP BibTeX RDF
20	Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber	Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading.	LFMTP	2020	DBLP DOI BibTeX RDF
20	Fredrik Bagge Carlson	MonteCarloMeasurements.jl: Nonlinear Propagation of Arbitrary Multivariate Distributions by means of Method Overloading.	CoRR	2020	DBLP BibTeX RDF
20	Abdelaziz Amara Korba, Nouredine Tamani, Yacine Ghamri-Doudane, Nour El Islem Karabadji	Anomaly-based framework for detecting power overloading cyberattacks in smart grid AMI.	Comput. Secur.	2020	DBLP DOI BibTeX RDF
20	G. Ayyappan, S. Karpagam	Analysis of a bulk service queue with unreliable server, multiple vacation, overloading and stand-by server.	Int. J. Math. Oper. Res.	2020	DBLP DOI BibTeX RDF
20	Johannes Åman Pohjola, Arve Gengelbach	A Mechanised Semantics for HOL with Ad-hoc Overloading.	LPAR	2020	DBLP DOI BibTeX RDF
20	Nikolaos Antoniadis, Maxime Cordy, Angelo Sifaleras, Yves Le Traon	Preventing Overloading Incidents on Smart Grids: A Multiobjective Combinatorial Optimization Approach.	OLA	2020	DBLP DOI BibTeX RDF
20	Arve Gengelbach, Tjark Weber	Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading.	ICTAC	2020	DBLP DOI BibTeX RDF
20	Zhifeng Yuan, Yuzhou Hu, Yihua Ma, Weimin Li, Zhigang Li	Autonomous Grant-Free High Overloading Multiple Access Based on Conjugated Data Symbols.	ICC Workshops	2020	DBLP DOI BibTeX RDF
20	Alexander Hück	Compiler Support for Operator Overloading and Algorithmic Differentiation in C++.		2020	RDF
20	Shuichi Ohno, Yuichi Yoshimura	State space realizations robust to overloading for discrete-time LTI systems.	Signal Process.	2019	DBLP DOI BibTeX RDF
20	Bin Yuan, Deqing Zou, Shui Yu 0001, Hai Jin 0001, Weizhong Qiang, Jinan Shen	Defending Against Flow Table Overloading Attack in Software-Defined Networks.	IEEE Trans. Serv. Comput.	2019	DBLP DOI BibTeX RDF
20	Shady Hossam Eldeen Abdel Aleem, Ahmed F. Zobaa, Murat E. Balci, Sherif M. Ismael	Harmonic Overloading Minimization of Frequency-Dependent Components in Harmonics Polluted Distribution Systems Using Harris Hawks Optimization Algorithm.	IEEE Access	2019	DBLP DOI BibTeX RDF
20	Huaxing Zhu, Chi Zhang 0005, Min Ouyang	Influence of overloading on the reliability and critical components of networked critical infrastructures.	Qual. Reliab. Eng. Int.	2019	DBLP DOI BibTeX RDF