|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 373 occurrences of 284 keywords
|
|
|
Results
Found 504 publication records. Showing 504 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 504 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|