Stem overload$ (all stems)

56 papers:

SCAM-2015-HuckBU #c++

Checking C++ codes for compatibility with operator overloading (AH, CB, JU), pp. 91–100.

ICFP-2015-ZilianiS #algorithm #coq #morphism #polymorphism #unification

A unification algorithm for Coq featuring universe polymorphism and overloading (BZ, MS), pp. 179–191.

CAiSE-2015-WeiBO #interface #web #web service

Deriving Artefact-Centric Interfaces for Overloaded Web Services (FW, AB, CO), pp. 501–516.

ICST-2015-ErmanTBRA #approach #automation #clustering #development #information management #multi #navigation #testing

Navigating Information Overload Caused by Automated Testing — a Clustering Approach in Multi-Branch Development (NE, VT, MB, PR, AA), pp. 1–9.

CHI-2014-ChiravirakulP #question

Choice overload in search engine use? (PC, SJP), pp. 1285–1294.

CHI-2014-GrevetCKG #email

Overload is overloaded: email in the age of Gmail (CG, DC, DK, EG), pp. 793–802.

FSE-2014-BaysalHG #information management #issue tracking

No issue left behind: reducing information overload in issue tracking (OB, RH, MWG), pp. 666–677.

CSCW-2013-KokkalisKPCBK #crowdsourcing #email #named

EmailValet: managing email overload through private, accountable crowdsourcing (NK, TK, CP, DC, MSB, SRK), pp. 1291–1300.

DATE-2012-QuintonHE #analysis #formal method #realtime

Formal analysis of sporadic overload in real-time systems (SQ, MH, RE), pp. 515–520.

SAC-2011-GuerraF #realtime #resource management

Handling overload of target sensitive real-time applications for increased system utility and improved resource usage (RG, GF), pp. 742–747.

RecSys-2010-BollenKWG #comprehension #recommendation

Understanding choice overload in recommender systems (DGFMB, BPK, MCW, MPG), pp. 63–70.

ECOOP-2010-GilL #java #source code

The Use of Overloading in Java Programs (JYG, KL), pp. 529–551.

HCI-NT-2009-ShastriPW #monitoring

A Method to Monitor Operator Overloading (DS, IP, AW), pp. 169–175.

SCAM-2008-WangH #c++ #empirical

An Empirical Study of Function Overloading in C++ (CW, DH), pp. 47–56.

CSCW-2008-JonesMRB #chat #community #empirical #information management #interactive

Empirical evidence of information overload constraining chat channel community interactions (QJ, MM, DRR, BB), pp. 323–332.

ICPR-2008-YaoCAPKA #probability #using

Sensor planning for PTZ cameras using the probability of camera overload (YY, CHC, BRA, DLP, AK, MAA), pp. 1–5.

ICSM-2007-Murphy #named

Houston: We are in Overload (GCM), p. 1.

HIMI-IIE-2007-KomischkeH #concept #industrial #process #user interface

Coping with Information Input Overload: User Interface Concepts for Industrial Process Control (TK, LEH), pp. 918–928.

SAC-OOPS-J-2006-BeugnardS07 #encapsulation

Method Overloading and Overriding Cause Distribution Transparency and Encapsulation Flaws (AB, SS), pp. 31–45.

CSCW-2006-DabbishK #analysis #email

Email overload at work: an analysis of factors associated with email strain (LAD, REK), pp. 431–440.

CSCW-2006-FisherBGS #email #years after

Revisiting Whittaker & Sidner’s “email overload” ten years later (DF, AJBB, EG, MAS), pp. 309–312.

SAC-2006-Beugnard #assembly #component #empirical #encapsulation

Method overloading and overriding cause encapsulation flaw: an experiment on assembly of heterogeneous components (AB), pp. 1424–1428.

RTA-2006-Obua #higher-order #logic

Checking Conservativity of Overloaded Definitions in Higher-Order Logic (SO), pp. 212–226.

LCTES-2005-RegehrD

Preventing interrupt overload (JR, UD), pp. 50–58.

VLDB-2004-ChandrasekaranF

Remembrance of Streams Past: Overload-Sensitive Management of Archived Streams (SC, MJF), pp. 348–359.

IFL-2004-ShafarenkoS

General Homomorphic Overloading (AVS, SBS), pp. 195–210.

ICEIS-v1-2004-Saad-BouzefraneB #distributed #multi #transaction

A Transactional Multimode Model to Handle Overload in Distributed RTDBSS (SSB, SB), pp. 328–336.

PPDP-2004-CamaraoFV #constraints #satisfiability

Constraint-set satisfiability for overloading (CC, LF, CV), pp. 67–77.

ICEIS-v1-2003-Saad-BouzefraneK #database #distributed #realtime

Distributed Overload Control for Real-Time Replicated Database Systems (SSB, CK), pp. 380–388.

SCAM-2002-BischofBLRV #matlab #source code

Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs (CHB, HMB, BL, AR, AV), pp. 65–72.

ICALP-2002-ChrobakENSSTV #scheduling

Preemptive Scheduling in Overloaded Systems (MC, LE, JN, JS, RvS, TT, NV), pp. 800–811.

ICFP-2002-StuckeyS #formal method

A theory of overloading (PJS, MS), pp. 167–178.

PPDP-2002-Shafarenko #morphism #type inference #type system

Coercion as homomorphism: type inference in a system with subtyping and overloading (AVS), pp. 14–25.

POPL-2002-NeubauerTGS #functional #logic

Functional logic overloading (MN, PT, MG, MS), pp. 233–244.

ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system

TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.

FLOPS-1999-CamaraoF #strict #type inference

Type Inference for Overloading without Restrictions, Declarations or Annotations (CC, LF), pp. 37–52.

CSCW-1998-FussellKLSMC #communication #coordination #performance

Coordination, Overload and Team Performance: Effects of Team Communication Strategies (SRF, REK, FJL, WLS, MMM, JJC), pp. 275–284.

TOOLS-ASIA-1997-StobartPT #case study #object-oriented #polymorphism #source code #testing #using

Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study (SS, NP, BYT), pp. 96–103.

CHI-1996-WhittakerS #email #information management

Email Overload: Exploring Personal Information Management of Email (SW, CLS), pp. 276–283.

OOPSLA-1996-DickyDHL #automation #on the

On Automatic Class Insertion with Overloading (HD, CD, MH, TL), pp. 251–267.

AFP-1995-Jones95 #functional #higher-order #morphism #polymorphism #programming

Functional Programming with Overloading and Higher-Order Polymorphism (MPJ), pp. 97–136.

FPCA-1995-OderskyWW

A Second Look at Overloading (MO, PW, MW), pp. 135–146.

PEPM-1994-Jones #partial evaluation

Dictionary-Free Overloading by Partial Evaluation (MPJ), pp. 107–117.

CADE-1994-JohannK #constant #order #unification #λ-calculus

Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading (PJ, MK), pp. 620–634.

FPCA-1993-Augustsson #haskell #implementation

Implementing Haskell Overloading (LA), pp. 65–73.

FPCA-1993-Jones #higher-order #morphism #polymorphism

A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism (MPJ), pp. 52–64.

TLCA-1993-CastagnaGL #calculus #semantics

A Semantics for λ&-early: A Calculus with Overloading and Early Binding (GC, GG, GL), pp. 107–123.

LFP-1992-CastagnaGL #calculus #type system

A Calculus for Overloaded Functions with Subtyping (GC, GG, GL), pp. 182–192.

LFP-1992-Kaes #recursion #type inference #type system

Type Inference in the Presence of Overloading, Subtyping and Recursive Types (SK), pp. 193–204.

CADE-1992-Boudet #algebra #order #unification

Unification in Order-Sorted Algebras with Overloading (AB), pp. 193–207.

FPCA-1991-NipkowS #order #unification

Type Classes and Overloading Resolution via Order-Sorted Unification (TN, GS), pp. 1–14.

FPCA-1991-VolpanoS #complexity #ml #on the

On the Complexity of ML Typability with Overloading (DMV, GS), pp. 15–28.

PLILP-1990-GroschS #ada

Inference-Based Overloading Resolution for ADA (FJG, GS), pp. 30–44.

POPL-1990-Rouaix #runtime

Safe Run-time Overloading (FR), pp. 355–366.

ESOP-1988-Kaes #parametricity #polymorphism #programming language

Parametric Overloading in Polymorphic Programming Languages (SK), pp. 131–144.

ALP-1988-JouannaudKKM #named #programming

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization (JPJ, CK, HK, AM), pp. 41–52.