Stem compat$ (all stems)

105 papers:

CASE-2015-GuptaKMW #coordination #multi

Incentive compatible mechanism for coordinated temperature control in multi-occupant buildings (SKG, KK, SM, JTW), pp. 438–443.

DATE-2015-TemanKGMB #embedded #energy #logic #trade-off

Energy versus data integrity trade-offs in embedded high-density logic compatible dynamic memories (AT, GK, RG, PAM, APB), pp. 489–494.

SCAM-2015-HuckBU #c++

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

SEFM-2015-ShenB #formal method

A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.

HCI-IT-2015-MurataMT #comparison

Optimal Scroll Method for Eye-Gaze Input System — Comparison of R-E and R-S Compatibility (AM, MM, YT), pp. 86–93.

HCI-UC-2015-Hankiewicz #interface #multi

Compatibility of Information and Interface of Universities’ Multilingual Websites (KH), pp. 73–81.

HIMI-IKD-2015-FischerOFIW #framework #interface #multi #named #prototype #testing

URU: A Platform for Prototyping and Testing Compatibility of Multifunction Interfaces with User Knowledge Schemata (SF, BO, MF, MI, EW), pp. 151–160.

SPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #modelling #product line

Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.

ASE-2014-RanganathVG #comparison #testing #using

Compatibility testing using patterns-based trace comparison (VPR, PV, PG), pp. 469–478.

DATE-2014-GholipourCSC #modelling #scalability

Highly accurate SPICE-compatible modeling for single- and double-gate GNRFETs with studies on technology scaling (MG, YYC, AS, DC), pp. 1–6.

FASE-2014-OuederniSCP #behaviour #named

Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.

LATA-2014-FelgenhauerT #analysis #automaton #reachability

Reachability Analysis with State-Compatible Automata (BF, RT), pp. 347–359.

FM-2014-KrkaDMU

Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.

DUXU-DI-2014-ChangH

Effect of Perception-Compatibility, Learning-Factor, and Symbol-Carrier on Single LED Symbol System Recognizing (CCC, TKPH), pp. 417–424.

SAC-2014-KwonB #implementation #library #prototype

A CUDA-based implementation of OpenGL-compatible rasterization library prototype (YCK, NB), pp. 1747–1748.

CASE-2013-BagchiBNVSS #using

Incentive compatible green procurement using scoring rules (DB, SB, YN, NV, PS, SVS), pp. 504–509.

CASE-2013-YadatiKBSN #smarttech

Incentive compatible mechanisms for power cut allocation in smart grids (CY, DK, NB, AS, YN), pp. 100–105.

DATE-2013-ChenRSIFC #analysis #process

A SPICE-compatible model of graphene nano-ribbon field-effect transistors enabling circuit-level delay and power analysis under process variation (YYC, AR, AS, GI, GF, DC), pp. 1789–1794.

CSMR-2013-JezekHB #analysis #compilation #library

Supplying Compiler’s Static Compatibility Checks by the Analysis of Third-Party Libraries (KJ, LH, PB), pp. 375–378.

ICALP-v2-2013-DenielouY #automaton #communication #multi #synthesis

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.

LATA-2013-Blanchet-SadriL #problem #word

Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem (FBS, JL), pp. 165–176.

HIMI-D-2013-TsangCC

Effects of Stimulus Orientation, Grouping and Alignment on Spatial S-R Compatibility (SNHT, KWLC, AHSC), pp. 650–659.

SAC-2013-HoangLCMC #network #protocol

A backward-compatible protocol for inter-routing over heterogeneous overlay networks (GNH, LL, VC, PM, HNC), pp. 649–651.

SCAM-2012-BusingeSB #eclipse #plugin #predict

Compatibility Prediction of Eclipse Third-Party Plug-ins in New Eclipse Releases (JB, AS, MvdB), pp. 164–173.

FM-2012-MinamideM #analysis #html #parsing #reachability #specification #testing

Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing (YM, SM), pp. 293–307.

ICPR-2012-SuDRH

Hypergraph matching based on Marginalized Constrained Compatibility (JS, LD, PR, ERH), pp. 2922–2925.

SAC-PL-J-2009-J-BiggarVG12 #compilation #scripting language

A practical solution for achieving language compatibility in scripting language compilers (PB, EdV, DG), pp. 971–989.

LICS-2012-Herbelin #logic #proving

A Constructive Proof of Dependent Choice, Compatible with Classical Logic (HH), pp. 365–374.

CBSE-2011-YoonSMP #component #incremental #testing #towards

Towards incremental component compatibility testing (ICY, AS, AMM, AAP), pp. 119–128.

DAC-2011-SternRVRCPFR

CMOS compatible nanowires for biosensing (ES, DAR, AV, NKR, JMC, JP, TMF, MR), pp. 718–722.

MSR-2011-WangBD #analysis #debugging #eclipse

System compatibility analysis of Eclipse and Netbeans based on bug data (XOW, EB, PTD), pp. 230–233.

SAC-2011-OuederniSP #interactive #protocol

Measuring the compatibility of service interaction protocols (MO, GS, EP), pp. 1560–1567.

ICSE-2011-MesbahP #automation #testing

Automated cross-browser compatibility testing (AM, MRP), pp. 561–570.

TACAS-2010-BauerMSH #on the #refinement

On Weak Modal Compatibility, Refinement, and the MIO Workbench (SSB, PM, AS, RH), pp. 175–189.

CIKM-2010-LeeC #grammar recovery #testing #xml

XML schema computations: schema compatibility testing and subschema extraction (TYtL, DWWC), pp. 839–848.

SEKE-2010-ElabdCH #approach #data access #implementation #web #web service

Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control (EE, EC, MSH), pp. 235–240.

MoDELS-v2-2010-GrossmannSS #design #distributed #modelling

Model Driven Orchestration: Design for Service Compatibility (GG, MS, MS), pp. 17–31.

OOPSLA-2010-AuerbachBCR #architecture #named

Lime: a Java-compatible and synthesizable language for heterogeneous architectures (JSA, DFB, PC, RMR), pp. 89–108.

GPCE-2010-AtkinsonFL

ABI compatibility through a customizable language (KA, MF, GL), pp. 147–156.

DATE-2009-ZiermannWT #network #protocol

CAN+: A new backward-compatible Controller Area Network (CAN) protocol with up to 16× higher data rates (TZ, SW, JT), pp. 1088–1093.

ICSM-2009-YoonSMP #component #testing

Prioritizing component compatibility tests via user preferences (ICY, AS, AMM, AAP), pp. 29–38.

PLDI-2009-NagarakatteZMZ #bound #c #memory management #named #safety

SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.

ESEC-FSE-2009-VarmaSS #memory management

Backward-compatible constant-time exception-protected memory (PV, RKS, HJS), pp. 71–80.

SEFM-2008-Hammal #behaviour #component

Behavioral Compatibility of Active Components (YH), pp. 372–376.

LDTA-2007-BouwersBV08 #grammarware #precedence

Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking (EB, MB, EV), pp. 85–101.

ISSTA-2008-YoonSMP #effectiveness #scalability #testing

Effective and scalable software compatibility testing (ICY, AS, AMM, AAP), pp. 63–74.

ASE-2007-YoonSMP #testing

Direct-dependency-based software compatibility testing (ICY, AS, AMM, AAP), pp. 409–412.

CASE-2007-WuMZ #standard

Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards (KW, LFM, BZ), pp. 501–506.

SEFM-2007-Hameurlain #behaviour #component #flexibility #protocol #specification

Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification (NH), pp. 391–400.

CHI-2007-TianAWSD #3d

The tilt cursor: enhancing stimulus-response compatibility by providing 3d orientation cue of pen (FT, XA, HW, VS, GD), pp. 303–306.

HCI-AS-2007-TanC #mobile #quality

The Effects of Mobile Service Quality and Technology Compatibility on Users’ Perceived Playfulness (FBT, JPCC), pp. 1029–1038.

ICEIS-DISI-2007-ArntsenK #case study #composition #transaction

Transaction service composition — a study of compatibility related issues (ABA, RK), pp. 239–245.

GPCE-2007-SavgaR #evolution #framework

Refactoring-based support for binary compatibility in evolving frameworks (IS, MR), pp. 175–184.

ICSE-2007-MarianiPP #component #testing

Compatibility and Regression Testing of COTS-Component-Based Software (LM, SP, MP), pp. 85–95.

CBSE-2006-AttieLPC #behaviour #component #design #explosion #verification

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.

ICPR-v4-2006-FengFCS #novel

A Novel Fingerprint Matching Scheme Based on Local Structure Compatibility (YF, JF, XC, ZS), pp. 374–377.

SAC-2006-ColomboPR #architecture #formal method #modelling #realtime #uml

A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.

ICSE-2006-DhurjatiA #array #bound #c

Backwards-compatible array bounds checking for C with very low overhead (DD, VSA), pp. 162–171.

CAV-2006-AdlerASFLRR #composition #interface #named

Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.

DAC-2005-BeckC #configuration management

Dynamic reconfiguration with binary translation: breaking the ILP barrier with software compatibility (ACSB, LC), pp. 732–737.

DATE-2005-SyriHM #metric

EEE 1149.4 Compatible ABMs for Basic RF Measurements (PS, JH, MM), pp. 172–173.

SEFM-2005-Hameurlain #behaviour #component #on the #protocol

On Compatibility and Behavioural Substitutability of Component Protocols (NH), pp. 394–403.

ICSE-2005-KatiraWO #student #towards

Towards increasing the compatibility of student pair programmers (NK, LAW, JAO), pp. 625–626.

CAV-2005-AronsEFMMSSTVZ #verification

Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.

DAC-2004-SalujaK #algorithm #approximate #robust

A robust algorithm for approximate compatible observability don’t care (CODC) computation (NS, SPK), pp. 422–427.

ICALP-2004-ChenDSY #sequence

Dynamic Price Sequence and Incentive Compatibility (Extended Abstract) (NC, XD, XS, ACCY), pp. 320–331.

FSE-2004-XuDS #c #memory management #performance #safety #source code

An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.

DATE-2003-BernardiRRV #approach #embedded #programmable

A P1500-Compatible Programmable BIST Approach for the Test of Embedded Flash Memories (PB, MR, MSR, MV), pp. 10720–10725.

POPL-2003-GheorghioiuSR #analysis #interprocedural

Interprocedural compatibility analysis for static object preallocation (OG, AS, MCR), pp. 273–284.

SAC-2003-CazierSL #privacy #trust

Addressing E-Business Privacy Concerns: The Roles of Trust and Value Compatibility (JC, BS, RSL), pp. 617–622.

CADE-2003-KorovinV #order

An AC-Compatible Knuth-Bendix Order (KK, AV), pp. 47–59.

RTA-2003-BorrallerasR #order #semantics

Monotonic AC-Compatible Semantic Path Orderings (CB, AR), pp. 279–295.

DATE-2002-Sheehan #library

Library Compatible Ceff for Gate-Level Timing (BNS), pp. 826–830.

FoSSaCS-2002-Courcelle #higher-order #monad #semantics

Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations (BC), pp. 1–4.

ECOOP-2002-AlagicK #behaviour #self

Behavioral Compatibility of Self-Typed Theories (SA, SK), pp. 585–608.

SAC-2002-WangHTN #ad hoc #network

AODV compatible routing with extensive use of cache information in ad-hoc networks (WGW, TH, MT, SN), pp. 852–859.

CAV-2002-ChakrabartiAHJM #interface

Interface Compatibility Checking for Software Modules (AC, LdA, TAH, MJ, FYCM), pp. 428–441.

STOC-2001-Gacs #sequence

Compatible sequences and a slow Winkler percolation (PG), pp. 694–703.

TOOLS-EUROPE-2000-CanalFTV #calculus #corba #interface #protocol

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility (CC, LF, JMT, AV), pp. 208–225.

HCI-EI-1999-HennS #e-commerce #interface #problem

Compatibility Problems in e-Commerce Interfaces (HH, TS), pp. 571–575.

ICEIS-1999-SecoCGMS #development #experience #information management

Guide to Develop an Euromethod Compatible Information System Methodology: A Practical Experience of its Development (AdAS, AdMC, JGG, JLM, LFS), p. 777.

LICS-1999-DrossopoulouEW #calculus #compilation #towards

A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (SD, SE, DW), pp. 147–156.

DAC-1998-JiangJH #composition #encoding #synthesis

Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis (JHRJ, JYJ, JDH), pp. 712–717.

ICALP-1998-Walukiewicz98a #higher-order #reduction

A Total AC-Compatible Reduction Ordering on Higher-Order Terms (DW), pp. 530–542.

KR-1998-GiunchigliaG #locality #modelling #reasoning #semantics

Local Models Semantics, or Contextual Reasoning = Locality + Compatibility (FG, CG), pp. 282–291.

OOPSLA-1998-CartwrightS #java #programming language #runtime

Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.

OOPSLA-1998-DrossopoulouWE #java #question #what

What is Java Binary Compatibility? (SD, DW, SE), pp. 341–361.

DAC-1997-GoodbyO

Frequency-Domain Compatibility in Digital Filter BIST (LG, AO), pp. 540–545.

HCI-SEC-1997-Taylor97a #requirements

Human Electronic Crew Teamwork: Cognitive Requirements for Compatibility and Control with Dynamic Function Allocation (RMT), pp. 247–250.

LICS-1997-Baader #order #reduction

Combination of Compatible Reduction Orderings that are Total on Ground Terms (FB), pp. 2–13.

ICPR-1996-LabonteDC #representation #sequence

A compact representation for stereoscopic sequences with NTSC spectral compatibility (FL, CTLD, PC), pp. 646–650.

OOPSLA-1995-FormanCDR

Release-to-Release Binary Compatibility in SOM (IRF, MHC, SD, LKR), pp. 426–438.

DAC-1993-DamianiYM #logic #optimisation

Optimization of Combinational Logic Circuits Based on Compatible Gates (MD, JCYY, GDM), pp. 631–636.

ICALP-1993-OchmanskiW #on the

On Regular Compatibility of Semi-Commutations (EO, PAW), pp. 445–456.

AdaEurope-1993-GlasgowN

Data Compatibility in a Heterogeneous Processor Environment (MJG, BDN), pp. 197–215.

TOOLS-PACIFIC-1993-Duke93a

Class Operators for Object Compatibility (RD), pp. 449–461.

RTA-1993-RubioN #order

A Precedence-Based Total AC-Compatible Ordering (AR, RN), pp. 374–388.

CHI-1989-JohnN #human-computer #type system

Cumulating the science of HCI: from s-R compatibility to transcription typing (BEJ, AN), pp. 109–114.

OOPSLA-1989-Graube

Metaclass Compatibility (NG), pp. 305–315.

SIGMOD-1983-ChanDFGRS #ada #bibliography #database #distributed

Overview of an Ada Compatible Distributed Database Manager (AC, UD, SF, NG, DRR, DS), pp. 228–237.

PODS-1982-BeeriK

Compatible Attributes in a Universal Relation (CB, HFK), pp. 55–62.

PODS-1982-MohanFS #commutative #protocol

Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.

ICSE-1976-McLeod #query

The Translation and Compatibility of SEQUEL and Query by Example (DM), pp. 520–526.

DAC-1973-Bernstein #fortran #independence #programming

Programming for FORTRAN compatibility and machine independence (SB), pp. 68–78.

DAC-1971-BaraySC #design

The structure and operation of a design language compatible simulator (MB, SYHS, RLC), pp. 23–34.