Stem altern$ (all stems)

309 papers:

DATE-2015-BarraganL #case study #feature model #using

Feature selection for alternate test using wrappers: application to an RF LNA case study (MJB, GL), pp. 1229–1232.

DATE-2015-Leger #adaptation #multi

Combining adaptive alternate test and multi-site (GL), pp. 1389–1394.

DATE-2015-LiaperdosSATAL #deployment #performance #using

Fast deployment of alternate analog test using Bayesian model fusion (JL, HGDS, LA, YT, AA, XL), pp. 1030–1035.

VLDB-2015-BursztynGM #performance #query #rdf

Reformulation-based query answering in RDF: alternatives and performance (DB, FG, IM), pp. 1888–1899.

CHI-2015-ZamanSNWEST #design #generative #named

GEM-NI: A System for Creating and Managing Alternatives In Generative Design (LZ, WS, CN, RW, ME, NS, MT), pp. 1201–1210.

ICEIS-v2-2015-GlocknerML #evaluation #process

Engineering and Evaluation of Process Alternatives in Tactical Logistics Planning (MG, SM, AL), pp. 166–176.

ICML-2015-SunLXB #clustering #multi

Multi-view Sparse Co-clustering via Proximal Alternating Linearized Minimization (JS, JL, TX, JB), pp. 757–766.

ICML-2015-ZhaoYZL #adaptation #multi #probability

Adaptive Stochastic Alternating Direction Method of Multipliers (PZ, JY, TZ, PL), pp. 69–77.

KDD-2015-KadkhodaieCSB #multi

Accelerated Alternating Direction Method of Multipliers (MK, KC, MS, AB), pp. 497–506.

PPDP-2015-RivasJS #monad

From monoids to near-semirings: the essence of MonadPlus and alternative (ER, MJ, TS), pp. 196–207.

SAC-2015-FrankM0

Alternating model trees (EF, MM, SK), pp. 871–878.

CSL-2015-LehtinenQ

Deciding the First Levels of the Modal μ Alternation Hierarchy by Formula Construction (KL, SQ), pp. 457–471.

LICS-2015-Place #quantifier #regular expression

Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.

CASE-2014-ChuKS #dependence #energy #grid #integration

Optimal integration of alternative energy sources in production systems for minimum grid dependency and outage risk (KCC, KK, KS), pp. 640–645.

DATE-2014-AyariABCKR #predict

New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.

ESOP-2014-MatosGR #fault #named #using

REAP: Reporting Errors Using Alternative Paths (JM, JG, PR), pp. 453–472.

TACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #runtime #source code

Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.

ICALP-v2-2014-PlaceZ #first-order #quantifier #word

Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (TP, MZ), pp. 342–353.

LATA-2014-CaronFM

(k, l)-Unambiguity and Quasi-Deterministic Structures: An Alternative for the Determinization (PC, MF, LM), pp. 260–272.

CHI-2014-BonsignoreMNHKD #authentication #design #game studies #interactive

Design tactics for authentic interactive fiction: insights from alternate reality game designers (EMB, VM, CN, DLH, KK, AD), pp. 947–950.

CHI-2014-SilpasuwanchaiR #exclamation #gesture

Jump and shoot!: prioritizing primary and alternative body gestures for intense gameplay (CS, XR), pp. 951–954.

DUXU-DI-2014-ComlekciG #experience

An Alternative Media Experience: LiveLeak (FÇ, SG), pp. 62–70.

ICML-c1-2014-AzadiS #multi #probability #towards

Towards an optimal stochastic alternating direction method of multipliers (SA, SS), pp. 620–628.

ICML-c1-2014-Suzuki #coordination #multi #probability

Stochastic Dual Coordinate Ascent with Alternating Direction Method of Multipliers (TS), pp. 736–744.

ICML-c1-2014-YogatamaS #multi #word

Making the Most of Bag of Words: Sentence Regularization with Alternating Direction Method of Multipliers (DY, NAS), pp. 656–664.

ICML-c1-2014-ZhongK #multi #performance #probability

Fast Stochastic Alternating Direction Method of Multipliers (WZ, JTYK), pp. 46–54.

ICML-c2-2014-YiCS #linear

Alternating Minimization for Mixed Linear Regression (XY, CC, SS), pp. 613–621.

ICPR-2014-NagyM #approach #grid #search-based

Binary Tomography on the Triangular Grid with 3 Alternative Directions — A Genetic Approach (BN, EVM), pp. 1079–1084.

KR-2014-Belardinelli #logic #satisfiability

Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux (FB).

ICSE-2014-VakilianJ #problem #refactoring #usability

Alternate refactoring paths reveal usability problems (MV, REJ), pp. 1106–1116.

ASPLOS-2014-Wood #architecture #named

Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.

HPCA-2014-LeeSMKSCR #concurrent #resource management #scheduling #thread

Improving GPGPU resource utilization through alternative thread block scheduling (ML, SS, JM, JK, WS, YGC, SR), pp. 260–271.

IJCAR-2014-CerritoDG #atl #logic #satisfiability #testing

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ (SC, AD, VG), pp. 277–291.

CBSE-2013-JafroodiG #implementation

Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.

DATE-2013-KappelHHHHH #concept #energy #power management #self

Alternative power supply concepts for self-sufficient wireless sensor nodes by energy harvesting (RK, GH, GH, TH, GH, GH), p. 481.

ICDAR-2013-ChenL #identification

Alternatives for Page Skew Compensation in Writer Identification (JC, DPL), pp. 927–931.

STOC-2013-JainNS #matrix #rank #using

Low-rank matrix completion using alternating minimization (PJ, PN, SS), pp. 665–674.

DLT-2013-KlimaP #automaton

Alternative Automata Characterization of Piecewise Testable Languages (OK, LP), pp. 289–300.

ICALP-v1-2013-Velner #complexity #game studies #infinity

The Complexity of Infinitely Repeated Alternating Move Games (YV), pp. 816–827.

CHI-2013-FanISMWIFT #feedback

Reality jockey: lifting the barrier between alternate realities through audio and haptic feedback (KF, HI, YS, KM, SW, MI, NF, ST), pp. 2557–2566.

CHI-2013-FuchsFMBI #design #evaluation #multi

Evaluation of alternative glyph designs for time series data in a small multiple setting (JF, FF, FM, EB, PI), pp. 3237–3246.

CHI-2013-HansenBRVK #design #game studies #reuse

Designing reusable alternate reality games (DLH, EMB, MR, AV, KK), pp. 1529–1538.

DHM-HB-2013-Baker #bibliography #effectiveness #perspective

The Effectiveness of Alternative Keyboards at Reducing Musculoskeletal Symptoms at Work: A Review (NB), pp. 189–195.

DUXU-CXC-2013-Al-ArifiAAAA #communication #towards

Towards an Arabic Language Augmentative and Alternative Communication Application for Autism (BAA, AAR, GAO, NAR, AAW), pp. 333–341.

HCI-AS-2013-HuangC13a #education #interface #learning #music #self #visualisation

Sound to Sight: The Effects of Self-generated Visualization on Music Sight-Singing as an Alternate Learning Interface for Music Education within a Web-Based Environment (YTH, CNC), pp. 386–390.

HIMI-HSM-2013-EverardJM #mobile #product line

Enabling Access to Healthy Food Alternatives for Low-Income Families: The Role of Mobile Technology (AE, BMJ, SM), pp. 245–251.

ICML-c1-2013-OuyangHTG #multi #probability

Stochastic Alternating Direction Method of Multipliers (HO, NH, LT, AGG), pp. 80–88.

ICML-c1-2013-Suzuki #multi #online

Dual Averaging and Proximal Gradient Descent for Online Alternating Direction Multiplier Method (TS), pp. 392–400.

SAC-2013-MehtaRCN #approach #dependence #using

Selecting among alternatives using dependencies: an NFR approach (RM, TRL, LC, MN), pp. 1292–1297.

CAV-2013-WonischSW #proving #source code

Programs from Proofs — A PCC Alternative (DW, AS, HW), pp. 912–927.

CSL-2013-BerkholzKV #bound #logic #quantifier

Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.

CSL-2013-Oitavem #nondeterminism #recursion

From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.

LICS-2013-FacchiniVZ #calculus #theorem #μ-calculus

A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus (AF, YV, FZ), pp. 478–487.

CBSE-2012-AnneAVP #composition #named

Jasmin: an alternative for secure modularity inside the digital home (MA, KA, DHdV, JP), pp. 145–150.

CASE-2012-WigstromL #behaviour #scheduling

Scheduling model for systems with complex alternative behaviour (OW, BL), pp. 587–593.

CASE-2012-ZhangLCCJ #set #simulation

An improved simulation budget allocation procedure to efficiently select the optimal subset of many alternatives (SZ, LHL, EPC, CHC, HYJ), pp. 230–236.

DAC-2012-HuangYCL #case study #industrial

Alternate hammering test for application-specific DRAMs and an industrial case study (RFH, HYY, MCTC, SCL), pp. 1012–1017.

FoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking

First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.

GT-VMT-2012-BrugginkHK #automaton #graph #towards

Towards Alternating Automata for Graph Languages (HJSB, MH, BK).

ICEIS-v1-2012-BrzostowskiK #multi #performance #protocol

Efficient Multi-alternative Protocol for Multi-attribute Agent Negotiation (JB, RK), pp. 247–252.

CIKM-2012-WebberCC #retrieval

Alternative assessor disagreement and retrieval depth (WW, PC, BC), pp. 125–134.

ECIR-2012-HollinkHV #query

Explaining Query Modifications — An Alternative Interpretation of Term Addition and Removal (VH, JH, APdV), pp. 1–12.

ICML-2012-WangB #online

Online Alternating Direction Method (HW, AB), p. 221.

ICPR-2012-Berrar #classification #comparison #null #testing #visual notation

Null QQ plots: A simple graphical alternative to significance testing for the comparison of classifiers (DPB), pp. 1852–1855.

ICPR-2012-NguyenJ #metric

Enhancing motion field with OA-filter and alternative measurement (DDN, JWJ), pp. 870–873.

ICPR-2012-UchidaTS #effectiveness #estimation #image #parametricity #retrieval

An alternative to IDF: Effective scoring for accurate image retrieval with non-parametric density ratio estimation (YU, KT, SS), pp. 1285–1288.

RecSys-2012-TakacsT #personalisation #ranking

Alternating least squares for personalized ranking (GT, DT), pp. 83–90.

SEKE-2012-CordeiroCP

A Light Weight Alternative for OLAP (HC, JC, EP), pp. 712–717.

MoDELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements #runtime

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.

MoDELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #requirements #runtime

An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.

Onward-2012-Schachman #interface #programming

Alternative programming interfaces for alternative programmers (TS), pp. 1–10.

CAV-2012-SinhaSCS

Alternate and Learn: Finding Witnesses without Looking All over (NS, NS, SC, MS), pp. 599–615.

CSL-2012-ChatterjeeCK #algorithm #performance #refinement

Faster Algorithms for Alternating Refinement Relations (KC, SC, PK), pp. 167–182.

CSL-2012-KufleitnerW #decidability

The FO2 alternation hierarchy is decidable (MK, PW), pp. 426–439.

SMT-2012-PhanBM #quantifier #satisfiability

Anatomy of Alternating Quantifier Satisfiability (Work in progress) (ADP, NB, DM), pp. 120–130.

VMCAI-2012-KinderK #control flow #re-engineering

Alternating Control Flow Reconstruction (JK, DK), pp. 267–282.

ECSA-2011-CiraciSA #architecture #evolution

Guiding Architects in Selecting Architectural Evolution Alternatives (SC, HS, MA), pp. 252–260.

WICSA-2011-TekinerdoganOD #architecture #as a service #design #modelling #reasoning

Modeling and Reasoning about Design Alternatives of Software as a Service Architectures (BT, KÖ, AHD), pp. 312–319.

DATE-2011-SinghSG #generative #performance #testing #using

Testing of high-speed DACs using PRBS generation with “Alternate-Bit-Tapping” (MS, MS, SG), pp. 377–382.

FoSSaCS-2011-DaxK #automaton #word

Alternation Elimination for Automata over Nested Words (CD, FK), pp. 168–183.

CSMR-2011-LeottaRRA #architecture #maintenance

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA (ML, FR, GR, EA), pp. 317–320.

DHM-2011-ZouZYBGC #predict

An Alternative Formulation for Determining Weights of Joint Displacement Objective Function in Seated Posture Prediction (QZ, QZ, J(Y, RB, JG, AC), pp. 231–242.

HCI-MIIE-2011-TakahashiAI #question #twitter

Can Twitter Be an Alternative of Real-World Sensors? (TT, SA, NI), pp. 240–249.

HCI-UA-2011-JonesEM #distance #education #question

Distance Education at the Graduate Level: A Viable Alternative? (BMJ, AE, SM), pp. 58–60.

ICEIS-v1-2011-Kim #communication #network #using

CRL Distribution using an Alternative Communication Media for Vehicular Networks (HK), pp. 217–222.

CSL-2011-Straubing #algebra #finite #word

Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words (HS), pp. 525–537.

ICLP-J-2011-Porto #composition #prolog #semantics

A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.

DATE-2010-FanucciPDSTCLT #programmable

An high voltage CMOS voltage regulator for automotive alternators with programmable functionalities and full reverse polarity capability (LF, GP, PD, RS, FT, PC, LL, PT), pp. 526–531.

HT-2010-TomasGJG

A narrative-based alternative to tagging (NT, TJG, JAJ, DG), pp. 189–194.

SIGMOD-2010-KossmannKL #architecture #evaluation #in the cloud #transaction

An evaluation of alternative architectures for transaction processing in the cloud (DK, TK, SL), pp. 579–590.

TACAS-2010-BardinHP #satisfiability

An Alternative to SAT-Based Approaches for Bit-Vectors (SB, PH, FP), pp. 84–98.

SAS-2010-HarrisLNR #termination

Alternation for Termination (WRH, AL, AVN, SKR), pp. 304–319.

DLT-2010-HalldorssonKP #graph #word

Graphs Capturing Alternations in Words (MMH, SK, AVP), pp. 436–437.

ICALP-v2-2010-BokerKR #automaton

Alternation Removal in Büchi Automata (UB, OK, AR), pp. 76–87.

CHI-2010-HartmannFRCK #user interface

d.note: revising user interfaces through change tracking, annotations, and alternatives (BH, SF, AR, TC, SRK), pp. 493–502.

KDD-2010-AttenbergP #classification #learning #modelling #why

Why label when you can search?: alternatives to active learning for applying human resources to build classification models under extreme class imbalance (JA, FJP), pp. 423–432.

KDD-2010-DangB #clustering #linear

A hierarchical information theoretic technique for the discovery of non linear alternative clusterings (XHD, JB), pp. 573–582.

KDD-2010-HeP #topic

Topic dynamics: an alternative model of bursts in streams of topics (DH, DSPJ), pp. 443–452.

KDD-2010-LiuMTLL #learning #metric #optimisation #using

Semi-supervised sparse metric learning using alternating linearization optimization (WL, SM, DT, JL, PL), pp. 1139–1148.

PADL-2010-AreiasR #implementation #linear #order #performance

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.

POPL-2010-GodefroidNRT #composition #power of #program analysis

Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.

SAC-2010-Fellah #automaton #framework #model checking

Time and alternation: an automata based framework to software model checking (AF), pp. 2498–2502.

ICSE-2010-NitaN #adaptation #api #source code #using

Using twinning to adapt programs to alternative APIs (MN, DN), pp. 205–214.

CSL-2010-SternagelT #dependence #proving #termination

Signature Extensions Preserve Termination — An Alternative Proof via Dependency Pairs (CS, RT), pp. 514–528.

ICLP-2010-Brass10 #bottom-up #evaluation #implementation

Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.

ICTSS-2010-VeanesB #simulation

Alternating Simulation and IOCO (MV, NB), pp. 47–62.

LICS-2010-JenkinsORW #automaton #bound

Alternating Timed Automata over Bounded Time (MJ, JO, AR, JW), pp. 60–69.

ASE-2009-ThummalapentaX #detection #mining #named

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions (ST, TX), pp. 283–294.

DATE-2009-VignonCDMF #3d #architecture #novel

A novel DRAM architecture as a low leakage alternative for SRAM caches in a 3D interconnect context (AV, SC, WD, PM, MF), pp. 929–933.

CIAA-2009-GantyMR #abstraction #automaton #fixpoint #refinement

Fixpoint Guided Abstraction Refinement for Alternating Automata (PG, NM, JFR), pp. 155–164.

ICALP-v1-2009-Golovin #named

B-Treaps: A Uniquely Represented Alternative to B-Trees (DG), pp. 487–499.

ICALP-v2-2009-ParysW #automaton

Weak Alternating Timed Automata (PP, IW), pp. 273–284.

HCI-VAD-2009-Kroll #named #question

E-Assessment: A Suitable Alternative for Measuring Competences? (MK), pp. 543–550.

KDD-2009-QiD #clustering #flexibility #framework

A principled and flexible framework for finding alternative clusterings (ZQ, ID), pp. 717–726.

PPDP-2009-DvorakGPW #paradigm #programming

Alternation as a programming paradigm (WD, GG, RP, SW), pp. 61–72.

SAC-2009-YeeNF #peer-to-peer #query

Alternatives to conjunctive query processing in peer-to-peer file-sharing systems (WGY, LTN, OF), pp. 1737–1741.

CSL-2009-DuparcFM #automaton #decidability #game studies #linear #problem

Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata (JD, AF, FM), pp. 225–239.

ICST-2009-AlmeidaAM #approach #case study #estimation

An Alternative Approach to Test Effort Estimation Based on Use Cases (ERCdA, BTdA, RLdOM), pp. 279–288.

DATE-2008-ChenL #architecture

Wire Sizing Alternative — An Uniform Dual-rail Routing Architecture (FWC, YYL), pp. 796–799.

TACAS-2008-WulfDMR #algorithm #anti #ltl #model checking #named #satisfiability

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking (MDW, LD, NM, JFR), pp. 63–77.

ICALP-B-2008-BojanczykS #first-order #logic #quantifier

Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.

LATA-2008-MoriyaO #on the

On Alternating Phrase-Structure Grammars (EM, FO), pp. 397–408.

CHI-2008-LaukkanenIR #lazy evaluation #performance

The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor (JL, PI, KJR), pp. 309–312.

ICML-2008-WangJC #graph

Graph transduction via alternating minimization (JW, TJ, SFC), pp. 1144–1151.

RecSys-2008-BrodskyHW #framework #named #recommendation

CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.

SEKE-2008-EmerVJ #analysis #database #relational #testing

Testing Relational Database Schemas with Alternative Instance Analysis (MCFPE, SRV, MJ), pp. 357–362.

SAC-2008-BartakC #network #recognition

Nested temporal networks with alternatives: recognition and tractability (RB, OC), pp. 156–157.

HPCA-2008-FenschC #hardware

An OS-based alternative to full hardware coherence on tiled CMPs (CF, MC), pp. 355–366.

ECSA-2007-GrauF #approach #architecture #evaluation #generative

A Goal-Oriented Approach for the Generation and Evaluation of Alternative Architectures (GG, XF), pp. 139–155.

DATE-2007-AlessioFQT #design #embedded #modelling #simulation

Modeling and simulation alternatives for the design of networked embedded systems (EA, FF, DQ, MT), pp. 1030–1035.

ICDAR-2007-LiuJ #optimisation

Character Stroke Extraction Based on B-spline Curve Matching by Constrained Alternating Optimization (XL, YJ), pp. 13–17.

CIAA-J-2006-BloemCPR07 #automaton #implementation

Symbolic Implementation of Alternating Automata (RB, AC, IP, MR), pp. 727–743.

CHI-2007-WobbrockCM #mobile

An alternative to push, press, and tap-tap-tap: gesturing on an isometric joystick for mobile phone text entry (JOW, DHC, BAM), pp. 667–676.

HCI-IDU-2007-KunertK #design #framework

A Pattern-Based Framework for the Exploration of Design Alternatives (TK, HK), pp. 1119–1128.

SIGIR-2007-Sakai

Alternatives to Bpref (TS), pp. 71–78.

CC-2007-SarkarB #linear

Extended Linear Scan: An Alternate Foundation for Global Register Allocation (VS, RB), pp. 141–155.

CSL-2007-WeisI #strict #theorem #word

Structure Theorem and Strict Alternation Hierarchy for FO2 on Words (PW, NI), pp. 343–357.

LICS-2007-JurdzinskiL #calculus #μ-calculus

Alternation-free modal μ-calculus for data trees (MJ, RL), pp. 131–140.

QoSA-2006-AstudilloPL #component #off the shelf

Evaluating Alternative COTS Assemblies from Imperfect Component Information (HA, JP, CL), pp. 27–42.

QoSA-2006-Bosch #problem #product line

Expanding the Scope of Software Product Families: Problems and Alternative Approaches (JB), p. 1.

CASE-2006-CapachoPGD #assembly #heuristic #problem

Heuristic Methods to Solve the Alternative Subgraphs Assembly Line Balancing Problem (LC, RP, OG, AD), pp. 501–506.

CASE-2006-LimACYL #3d #approach

An Alternative Approach In Sensing Simultaneous 3-DOF Motions (CKL, CYA, IMC, GY, WL), pp. 588–593.

DAC-2006-WongB #multi #performance #polynomial

Multi-shift quadratic alternating direction implicit iteration for high-speed positive-real balanced truncation (NW, VB), pp. 257–260.

DATE-2006-AhmedM #design #performance #uml #using

Faster exploration of high level design alternatives using UML for better partitions (WA, DM), pp. 579–580.

DATE-DF-2006-BannowHR #automation #clustering #design #evaluation #performance

Automatic systemC design configuration for a faster evaluation of different partitioning alternatives (NB, KH, WR), pp. 217–218.

ITiCSE-2006-Moses #animation #approach #programming

Animation programming: an alternative approach to CS1 (LM), p. 317.

ICSM-2006-VandewoudeEBD

An alternative to Quiescence: Tranquility (YV, PE, YB, TD), pp. 73–82.

SCAM-2006-FaganHU #data transformation #modelling #representation #semantics

Data Representation Alternatives in Semantically Augmented Numerical Models (MWF, LH, JU), pp. 85–94.

CIAA-2006-BloemCPRS #automaton #implementation

Symbolic Implementation of Alternating Automata (RB, AC, IP, MR, SS), pp. 208–218.

DLT-2006-FritzW #automaton #game studies #simulation

Simulation Relations for Alternating Parity Automata and Parity Games (CF, TW), pp. 59–70.

IFL-2006-Hidalgo-HerreroOR #evaluation #functional #parallel

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.

ICEIS-ISAS-2006-Ohnishi #generative

Supporting Methods of Generating Alternative Scenarios from a Normal Scenario (AO), pp. 110–117.

ICPR-v2-2006-PungprasertyingCK #analysis #approach #learning #migration #performance

Migration Analysis: An Alternative Approach for Analyzing Learning Performance (PP, RC, BK), pp. 837–840.

ICPR-v3-2006-ZhangY #image #multi #using

Multiple Regions of Interest Image Coding using Compensation Scheme and Alternating Shift (LbZ, XY), pp. 758–761.

RE-2006-AxenathGKF #evaluation #synthesis

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.

ICSE-2006-Grunske #architecture #design #identification #multi #optimisation

Identifying “good” architectural design alternatives with multi-objective optimization strategies (LG), pp. 849–852.

PPoPP-2006-SurJCP #design #protocol

RDMA read based rendezvous protocol for MPI over InfiniBand: design alternatives and benefits (SS, HWJ, LC, DKP), pp. 32–39.

CAV-2006-HeljankoJKLL #automaton #bound #model checking

Bounded Model Checking for Weak Alternating Büchi Automata (KH, TAJ, MK, ML, TL), pp. 95–108.

CSL-2006-ScheweF #calculus #finite #satisfiability #μ-calculus

Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus (SS, BF), pp. 591–605.

DAC-2005-GayasenVI

Exploring technology alternatives for nano-scale FPGA interconnects (AG, NV, MJI), pp. 921–926.

DocEng-2005-GruhlMP #case study #data type #xml

A case study on alternate representations of data structures in XML (DG, DNM, JP), pp. 217–219.

FoSSaCS-2005-LasotaW #automaton

Alternating Timed Automata (SL, IW), pp. 250–265.

CSMR-2005-KnodelFG #architecture #design #product line

Comparing Design Alternatives from Field-Tested Systems to Support Product Line Architecture Design (JK, TF, JFG), pp. 344–353.

CIAA-2005-PelanekS #automaton #ltl

Deeper Connections Between LTL and Alternating Automata (RP, JS), pp. 238–249.

AdaEurope-2005-SaezLTC #implementation #performance

Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.

ICEIS-v2-2005-BardisMP #evaluation

Intelligent Solution Evaluation Based on Alternative User Profiles (GB, GM, DP), pp. 74–82.

MLDM-2005-DuKAB #algorithm #clustering #encoding #multi #search-based

Alternative Clustering by Utilizing Multi-objective Genetic Algorithm with Linked-List Based Chromosome Encoding (JD, EEK, RA, KB), pp. 346–355.

SAC-2005-Heinlein #c++

Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++ (CH), pp. 1274–1281.

SAC-2005-Nakayama #communication #mobile

Alternative source coding model for mobile text communication (TN), pp. 1139–1145.

DAC-2004-McCullen

Phase correct routing for alternating phase shift masks (KWM), pp. 317–320.

HT-2004-MacedoCCIP #interactive

Interaction alternatives for linking everyday presentations (AAM, JACG, RGC, VRIJ, MdGCP), pp. 112–113.

ITiCSE-WGR-2004-RolfeP #backtracking #bound #problem

An alternative problem for backtracking and bounding (TJR, PWP), pp. 83–84.

TACAS-2004-GrooteK #equation #fixpoint

Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points (JFG, MK), pp. 436–450.

ICSM-2004-ZhaoZHMS #algorithm #feature model #scalability

Alternative Scalable Algorithms for Lattice-Based Feature Location (WZ, LZ, DH, HM, JS), p. 528.

CHI-2004-TerryMNY #development

Variation in element and action: supporting simultaneous development of alternative solutions (MAT, EDM, KN, YY), pp. 711–718.

ICEIS-v1-2004-Rostanin #approach

An Alternative Approach for Building Web-Applications (OR), pp. 119–124.

KDD-2004-RamakrishnanKMPH #algorithm #mining

Turning CARTwheels: an alternating algorithm for mining redescriptions (NR, DK, BM, MP, RFH), pp. 266–275.

DATE-2003-LeeC #3d #grid #linear #power management #simulation

The Power Grid Transient Simulation in Linear Time Based on 3D Alternating-Direction-Implicit Method (YML, CCPC), pp. 11020–11025.

ICDAR-2003-LiuSF #normalisation #recognition

Handwritten Chinese Character Recognition: Alternatives to Nonlinear Normalization (CLL, HS, HF), pp. 524–528.

TACAS-2003-Mateescu #equation #on the fly

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems (RM), pp. 81–96.

CIAA-2003-Fritz #automaton #linear #logic #simulation #using

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata (CF), pp. 35–48.

MLDM-2003-ComiteGT #learning #multi

Learning Multi-label Alternating Decision Trees from Texts and Data (FDC, RG, MT), pp. 35–49.

SEKE-2003-OwenM #lightweight #model checking #named

Lurch: a Lightweight Alternative to Model Checking (DO, TM), pp. 158–165.

SAC-2003-Shen #algorithm

An Alternative Routing Algorithm for the Pyramid Structures (ZS), pp. 1009–1013.

HPCA-2003-MutluSWP #execution #scalability

Runahead Execution: An Alternative to Very Large Instruction Windows for Out-of-Order Processors (OM, JS, CW, YNP), pp. 129–140.

CADE-2003-HladikS #automaton #logic

A Translation of Looping Alternating Automata into Description Logics (JH, US), pp. 90–105.

LICS-2003-Drimmelen #logic #satisfiability

Satisfiability in Alternating-time Temporal Logic (GvD), pp. 208–217.

RTA-2003-GhaniH

A Rewriting Alternative to Reidemeister-Schreier (NG, AH), pp. 452–466.

DAC-2002-ChandraC #reduction #testing #using

Reduction of SOC test data volume, scan power and testing time using alternating run-length codes (AC, KC), pp. 673–678.

ICALP-2002-Bojanczyk #automaton #finite #modelling

Two-Way Alternating Automata and Finite Models (MB), pp. 833–844.

CAiSE-2002-AalstHV #graph #workflow

An Alternative Way to Analyze Workflow Graphs (WMPvdA, AH, EV), pp. 535–552.

ICEIS-2002-AnwarH #approach

An Integrated Approach for Finding enRoute Best Alternate Route (MAA, SH), pp. 226–234.

CIKM-2002-HamerlyE #algorithm #clustering

Alternatives to the k-means algorithm that find better clusterings (GH, CE), pp. 600–607.

ICML-2002-KakadeTR #markov

An Alternate Objective Function for Markovian Fields (SK, YWT, STR), pp. 275–282.

ICML-2002-LuPS

Investigating the Maximum Likelihood Alternative to TD(λ) (FL, RP, DS), pp. 403–410.

SIGIR-2002-WhiteRJ #documentation #evaluation #ranking #using

Finding relevant documents using top ranking sentences: an evaluation of two alternative schemes (RW, IR, JMJ), pp. 57–64.

DAC-2001-LiebmannLHG #design #logic

Enabling Alternating Phase Shifted Mask Designs for a Full Logic Gate Level: Design Rules and Design Rule Checking (LL, JL, FLH, IG), pp. 79–84.

DAC-2001-SanieCHM #design #standard

A Practical Application of Full-Feature Alternating Phase-Shifting Technology for a Phase-Aware Standard-Cell Design Flow (MS, MC, PH, VM), pp. 93–96.

VLDB-2001-DattaDTVRF #case study #comparative #web

A Comparative Study of Alternative Middle Tier Caching Solutions to Support Dynamic Web Content Acceleration (AD, KD, HMT, DEV, KR, DF), pp. 667–670.

FoSSaCS-2001-Bojanczyk #automaton #finite #graph #problem

The Finite Graph Problem for Two-Way Alternating Automata (MB), pp. 88–103.

TACAS-2001-BolligLW #calculus #model checking #parallel #μ-calculus

Parallel Model Checking for the Alternation Free μ-Calculus (BB, ML, MW), pp. 543–558.

CIKM-2001-EisensteinGSSZ #abstraction #database

Alternative Representations and Abstractions for Moving Sensors Databases (JE, SG, CS, GS, RZ), pp. 318–325.

ICSE-2001-Bosch #product line

Software Product Lines: Organizational Alternatives (JB), pp. 91–100.

ICLP-2001-GuoG #implementation #logic programming #order

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives (HFG, GG), pp. 181–196.

ICLP-2001-KumarRS #equation #fixpoint #modelling

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.

SAT-2001-Morrisette #algorithm #effectiveness #satisfiability

The Unreasonable Effectiveness of Alternation-Based Satisfiability Algorithms (TM), pp. 254–268.

DATE-2000-KacNMZ #using

Alternative Test Methods Using IEEE 1149.4 (UK, FN, SM, MSZ), pp. 463–467.

ICSM-2000-KimbleW #analysis #source code

An Alternative Source Code Analysis (JEKJ, LJW), pp. 64–75.

STOC-2000-OrlinSS #combinator #optimisation #precise

epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (extended abstract) (JBO, ASS, SS), pp. 565–572.

ICALP-2000-MannaS #safety

Alternating the Temporal Picture for Safety (ZM, HS), pp. 429–450.

CHI-2000-GaverM #concept #design #named

Alternatives: exploring information appliances through conceptual design proposals (WWG, HM), pp. 209–216.

CHI-2000-PatrickCSRVC #artificial reality #scalability #using

Using a large projection screen as an alternative to head-mounted displays for virtual environments (EP, DC, AS, JAR, TV, GC), pp. 478–485.

ICEIS-2000-Carneiro

A Group Decision Support System for Strategic Alternatives Selection (AC), pp. 38–43.

KDD-2000-DrummondH #representation

Explicitly representing expected cost: an alternative to ROC representation (CD, RCH), pp. 198–207.

KR-2000-Yelland #logic #network

An Alternative Combination of Bayesian Networks and Description Logics (PMY), pp. 225–234.

FSE-2000-NaumovichC #classification

Classifying properties: an alternative to the safety-liveness classification (GN, LAC), pp. 159–168.

ASPLOS-2000-BhoedjangVRBH #communication #design #network #performance #reliability

Evaluating Design Alternatives for Reliable Communication on High-Speed Networks (RB, KV, TR, HEB, RFHH), pp. 71–81.

HPDC-2000-SmithWMY #design #evaluation #grid #information management

An Evaluation of Alternative Designs for a Grid Information Service (WS, AW, DM, JCY), pp. 185–192.

CAV-2000-AyariBK #automaton #induction

Decision Procedures for Inductive Boolean Functions Based on Alternating Automata (AA, DAB, FK), pp. 170–185.

CL-2000-WangZL #fixpoint #logic programming #source code

Alternating Fixpoint Theory for Logic Programs with Priority (KW, LZ, FL), pp. 164–178.

ICALP-1999-DickhoferW #automaton #model checking #problem

Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem (MD, TW), pp. 281–290.

IFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification

A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.

CHI-1999-Raisamo

An Alternative Way of Drawing (RR), pp. 175–182.

HCI-EI-1999-McAlindonJ

An Alternative Keyboard for Typists with Carpal Tunnel Syndrome (PJM, FGJ), pp. 162–166.

CIKM-1999-GhandeharizadehK #comparison #multi

A Comparison of Alternative Continuous Display Techniques with Heterogeneous Multi-Zone Disks (SG, SHK), pp. 442–449.

ICML-1999-FreundM #algorithm #learning

The Alternating Decision Tree Learning Algorithm (YF, LM), pp. 124–133.

CAV-1999-Dill #hardware #verification

Alternative Approaches to Hardware Verification (abstract) (DLD), p. 1.

CSL-1999-Bradfield #fixpoint #game studies #quantifier

Fixpoint Alternation and the Game Quantifier (JCB), pp. 350–361.

DATE-1998-BogueGJZ #self

Built-In Self-Test with an Alternating Output (TB, MG, HJ, YZ), pp. 180–184.

SIGMOD-1998-KotidisR

An Alternative Storage Organization for ROLAP Aggregate Views Based on Cubetrees (YK, NR), pp. 249–258.

SIGMOD-1998-SarawagiTA #database #mining #relational

Integrating Mining with Relational Database Systems: Alternatives and Implications (SS, ST, RA), pp. 343–354.

ITiCSE-1998-FarthingJM #multi #performance

Permutational multiple-choice questions: an objective and efficient alternative to essay-type examination questions (DWF, DMJ, DM), pp. 81–85.

TACAS-1998-LiuRS #evaluation #fixpoint #performance

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) (XL, CRR, SAS), pp. 5–19.

WRLA-1998-StegglesK #case study #logic #protocol #semantics

A timed rewriting logic semantics for SDL: A case study of alternating bit protocol (LJS, PK), pp. 83–104.

STOC-1998-KupfermanV #automaton

Weak Alternating Automata and Tree Automata Emptiness (OK, MYV), pp. 224–233.

STOC-1998-TherienW #quantifier #word

Over Words, Two Variables Are as Powerful as One Quantifier Alternation (DT, TW), pp. 234–240.

WIA-1998-HuerterSWY #automaton #finite #implementation

Implementing Reversed Alternating Finite Automaton (r-AFA) Operations (SH, KS, XW, SY), pp. 69–81.

CHI-1998-KrautMSKS #communication #internet

Communication and Information: Alternative Uses of the Internet in Households (REK, TM, JS, SBK, WLS), pp. 368–375.

CSCW-1998-ZhangWDT #comparison #web

Talking to Customers on the Web: A Comparison of Three Voice Alternatives (QZ, CGW, SD, MT), pp. 109–117.

AdaEurope-1998-Stift #ada #object-oriented #physics

(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (MJS), pp. 128–139.

ECOOP-1998-BruceOW #static typing

A Statically Safe Alternative to Virtual Types (KBB, MO, PW), pp. 523–549.

SAC-1998-ArapisKP #design #interactive #realtime

Design issues and alternatives for setting up real-time interactive Telelectures (CA, DK, TP), pp. 104–111.

HPCA-1998-MukherjeeH #data transfer #design #interface #network

The Impact of Data Transfer and Buffering Alternatives on Network Interface Design (SSM, MDH), pp. 207–218.

EDTC-1997-BensoPRRU #approach #fault #graph #low level

A new approach to build a low-level malicious fault list starting from high-level description and alternative graphs (AB, PP, MR, MSR, RU), pp. 560–565.

ITiCSE-1997-WesterSK #approach #java #programming #visual notation

Visual programming with Java; an alternative approach to introductory programming (FW, MS, PGK), pp. 57–58.

AdaEurope-1997-Bell #ada #analysis #source code #tool support

An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.

SAC-1997-Panda #approach #multi #transaction

An alternative approach to serialization of multilevel secure Transactions (BP), pp. 134–135.

CADE-1997-Vardi #automaton #logic

Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics (MYV), pp. 191–206.

CSL-1997-Schweikardt #monad #quantifier

The Monadic Quantifier Alternation Hierarchy over Grids and Pictures (NS), pp. 441–460.

LICS-1997-MatzT #graph #infinity #monad #quantifier

The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite (OM, WT), pp. 236–244.

ESOP-1996-Bechet #encoding #partial evaluation #using

Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.

ICALP-1996-Wiedermann #nondeterminism

Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results (JW), pp. 381–392.

ICPR-1996-BigunBM #image #retrieval #segmentation

Orientation radiograms for image retrieval: an alternative to segmentation (JB, SKB, SM), pp. 346–350.

SIGIR-1996-NowellFHHF #similarity #visualisation

Visualizing Search Results: Some Alternatives to Query-Document Similarity (LTN, RKF, DH, LSH, EAF), pp. 67–75.

PLILP-1996-FreireSW #logic programming #scheduling #source code

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.

HPDC-1996-ReschkeSRSBM #design #network #parallel

A Design Study of Alternative Network Topologies for the Beowulf Parallel Workstation (CR, TLS, DR, DS, DJB, PM), pp. 626–636.

WCRE-1995-GallK #approach #source code

Finding Objects in Procedural Programs: An Alternative Approach (HG, RK), pp. 208–216.

DLT-1995-Holzer #automaton #finite #on the

On Emptiness and Counting for Alternating Finite Automata (MH), pp. 88–97.

ICALP-1995-Petersen

Alternation in Simple Devices (HP), pp. 315–323.

CIKM-1995-LiR

PERF Join: An Alternative to Two-way Semijoin and Bloomjoin (ZL, KAR), pp. 137–144.

SAC-1995-WassermanYS #logic programming #source code

An alternative transformation rule for logic programs (HCW, KY, ZS), pp. 364–368.

CSEE-1994-Paul #assessment #education

Alternative Assessment for Software Enigneering Education (JP), pp. 463–472.

CSEE-1994-Weinberger #approach

Awareness Week at Texas Instruments: An Alternative Approach to Instructor-Led Delivery (BJW), pp. 245–250.

ICALP-1994-VergauwenL #correctness #equation #performance

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems (BV, JL), pp. 304–315.

PODS-1993-Morishita #fixpoint #source code

An Alternating Fixpoint Tailored to Magic Programs (SM), pp. 123–134.

VLDB-1993-PolyzoisBD

Disk Mirroring with Alternating Deferred Updates (CAP, AB, DMD), pp. 604–617.

DLT-1993-HromkovicRS #nondeterminism

Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.

DLT-1993-Iwama #low level #trade-off

Low-Level Tradeoffs between Reversals and Alternations (KI), pp. 326–341.

DLT-1993-KrithivasanM #array #modelling #nondeterminism #probability

Nondeterministic, Probabilistic and Alternating Computations on Cellular Array Models (KK, MM), pp. 342–354.

RE-1993-Easterbrook #domain model #modelling

Domain modelling with hierarchies of alternative viewpoints (SME), pp. 65–72.

PPoPP-1993-ChapmanMZ #fortran #performance

High Performance Fortran Without Templates: An Alternative Model for Distribution and Alignment (BMC, PM, HPZ), pp. 92–101.

SOSP-1993-HoskingM #memory management #object-oriented

Protection Traps and Alternatives for Memory Management of an Object-Oriented Language (ALH, JEBM), pp. 106–119.

CAV-1993-LamB #automaton

Alternating RQ Timed Automata (WKCL, RKB), pp. 237–252.

SIGMOD-1992-GhandeharizadehDQ #analysis #clustering #multi #performance

A Performance Analysis of Alternative Multi-Attribute Declustering Strategies (SG, DJD, WQ), pp. 29–38.

VLDB-1992-WhiteD #performance #pointer

A Performance Study of Alternative Object Faulting and Pointer Swizzling Strategies (SJW, DJD), pp. 419–431.

CHI-1992-SzekelyLN #design #interface

Facilitating the exploration of interface design alternatives: the HUMANOID model of interface design (PAS, PL, RN), pp. 507–515.

AdaEurope-1991-Maymir-Ducharme #ada #realtime #scheduling

Ada 9X Real-Time Scheduling Alternatives (FAMD), pp. 37–48.

TOOLS-USA-1991-Desfray #modelling #object-oriented

Object-Oriented Structuring: An Alternative to Hierarchical Models (PD), pp. 265–278.

CAV-1991-CleavelandS #algorithm #calculus #linear #model checking #μ-calculus

A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal μ-Calculus (RC, BS), pp. 48–58.

ISLP-1991-DietzenP #declarative #logic programming

A Declarative Alternative to “Assert” in Logic Programming (SD, FP), pp. 372–386.

ISLP-1991-ReedLS #logic programming #source code

An Alternative Characterization of Disjunctive Logic Programs (DWR, DWL, BTS), pp. 54–68.

VLDB-1990-DeWittFMV #architecture #case study #database #object-oriented

A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems (DJD, PF, DM, FV), pp. 107–121.

PODS-1989-Gelder #fixpoint #logic programming #source code

The Alternating Fixpoint of Logic Programs with Negation (AVG), pp. 1–10.

ML-1989-Saxena

Evaluating alternative Instance Representations (SS), pp. 465–468.

SIGMOD-1988-Lohman #functional #optimisation #query #representation

Grammar-like Functional Rules for Representing Query Optimization Alternatives (GML), pp. 18–27.

LICS-1988-MullerSS #automaton #decidability #exponential #logic #why

Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time (DEM, AS, PES), pp. 422–427.

PLDI-1987-HuguetLT #architecture #generative #metric

A block-and-actions generator as an alternative to a simulator for collecting architecture measurements (MH, TL, YT), pp. 14–25.

ICALP-1987-LangeJK

The Logarithmic Alternation Hierarchy Collapses: AΣᴸ₂=AΠᴸ₂ (KJL, BJ, BK), pp. 531–541.

ICALP-1986-MullerSS #automaton #complexity #monad

Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity (DEM, AS, PES), pp. 275–283.

OOPSLA-1986-Sandberg #subclass

An Alternative to Subclassing (DS), pp. 424–428.

ICLP-1986-StepanekS86 #logic programming #source code

Logic Programs and Alternation (PS, OS), pp. 99–106.

SIGMOD-1985-AgrawalCL #concurrent #modelling #performance

Models for Studying Concurrency Control Performance: Alternatives and Implications (RA, MJC, ML), pp. 108–121.

DAC-1984-JainA #fault #named #simulation

STAFAN: An alternative to fault simulation (SKJ, VDA), pp. 18–23.

DAC-1983-AbramoviciMM #fault #simulation

Critical path tracing — an alternative to fault simulation (MA, PRM, DTM), pp. 214–220.

STOC-1983-Kannan83a #nondeterminism #power of

Alternation and the Power of Nondeterminism (RK), pp. 344–346.

ICALP-1983-Orponen #complexity

Complexity Classes of Alternating Machines with Oracles (PO), pp. 573–584.

STOC-1982-InoueTT #2d #turing machine

Two-Dimensional Alternating Turing Machines (KI, IT, HT), pp. 37–46.

STOC-1982-ManberT #nondeterminism #probability

Probabilistic, Nondeterministic, and Alternating Decision Trees (UM, MT), pp. 234–244.

ASPLOS-1982-Harbison #architecture #compilation #optimisation

An Architectural Alternative to Optimizing Compilers (SPH), pp. 57–65.

ILPC-1982-Shapiro82 #complexity #logic programming #source code

Alternation and the Computational Complexity of Logic Programs (EYS), pp. 154–163.

DAC-1981-HsuSB #fault #testing

Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.

STOC-1981-King #metric #parallel

Measures of Parallelism in Alternating Computation Trees (Extended Abstract) (KNK), pp. 189–201.

ICALP-1981-King #automaton #finite #multi

Alternating Multihead Finite Automata (Extended Abstract) (KNK), pp. 506–520.

POPL-1981-CartwrightHM #named #pointer

Paths: An Abstract Alternative to Pointers (RC, RH, PM), pp. 14–27.

LISP-1980-Cartwright #axiom #data type

A Constructive Alternative to Axiomatic Data Type Definitions (RC), pp. 46–55.

STOC-1979-Ruzzo #bound

Tree-Size Bounded Alternation (WLR), pp. 352–359.

VLDB-1978-Paolini #database

An Alternative Structure for Data Base Management Systems (PP), pp. 243–254.

STOC-1978-ReddyL #bound #quantifier

Presburger Arithmetic with Bounded Quantifier Alternation (CRR, DWL), pp. 320–325.

DAC-1972-Roberts #approach #comparison

A heathkit approach for computer-aided comparison of building alternatives (RDR), pp. 220–228.