568 papers:
CASE-2015-BjorkenstamCL- Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning (SB, JSC, BL), pp. 769–774.
- CASE-2015-GuptaKMW #coordination #multi
- Incentive compatible mechanism for coordinated temperature control in multi-occupant buildings (SKG, KK, SM, JTW), pp. 438–443.
- CASE-2015-PellicciariBBG #energy #performance
- Increasing position accuracy and energy efficiency of servo-actuated mechanisms (MP, GB, FB, MG), pp. 1339–1344.
- CASE-2015-QuZJCL #2d
- A MEMS microgripper with two-axis actuators and force sensors for microscale mechanical characterization of soft materials (JQ, WZ, AJ, SSDC, XL), pp. 1620–1625.
DAC-2015-SantosVK #adaptation #configuration management #embedded #reliability- Dynamically adaptive scrubbing mechanism for improved reliability in reconfigurable embedded systems (RS, SV, AK), p. 6.
DATE-2015-MirhosseiniSFMS #energy #network- An energy-efficient virtual channel power-gating mechanism for on-chip networks (AM, MS, AF, MM, HSA), pp. 1527–1532.
PLDI-2015-SergeyNB #concurrent #fine-grained #source code #verification- Mechanized verification of fine-grained concurrent programs (IS, AN, AB), pp. 77–87.
STOC-2015-DanielySS- Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension (AD, MS, GS), pp. 401–408.
ICALP-v1-2015-Nikolov #big data #database- An Improved Private Mechanism for Small Databases (AN), pp. 1010–1021.
CHI-2015-JonesWBNT #collaboration #mobile #video- Mechanics of Camera Work in Mobile Video Collaboration (BJ, AW, SB, CN, AT), pp. 957–966.
- CHI-2015-MitraHG #quality
- Comparing Person- and Process-centric Strategies for Obtaining Quality Data on Amazon Mechanical Turk (TM, CJH, EG), pp. 1345–1354.
CSCW-2015-GelleyJ- Do I Need To Follow You?: Examining the Utility of The Pinterest Follow Mechanism (BG, AJ), pp. 1751–1762.
DHM-EH-2015-KollingKHC #design #evaluation #feedback #interactive #process #using- Estimating Ergonomic Comfort During the Process of Mechanism Design by Interaction with a Haptic Feedback-System — Evaluation of Simulated and Kinesthetically Displayed Mechanisms Using the Haptic Feedback System RePlaLink (TK, MK, MH, BC), pp. 62–73.
- DHM-HM-2015-IkemotoMTGH
- Effects of Spray Gun Handling of Automobile Repair on Carrier of Car Mechanic (SI, KM, YT, AG, HH), pp. 289–298.
- DHM-HM-2015-MigakiOTMKIH #experience
- The Relationship Between Mechanical Properties and the Method Technique of GFRP Plate by Hand Lay-up Method: Effect of the Workers Experience (MM, KO, RT, YM, EK, DI, HH), pp. 143–153.
- HIMI-IKC-2015-PatitadS #collaboration #representation
- Representation Model of Collaboration Mechanism with Channel Theory (PP, HS), pp. 511–521.
- HIMI-IKC-2015-TanikawaOKNH
- Virtual Bogie: Exhibition System to Understand Mechanism of Bogie with Digital Display Case (TT, HO, RK, TN, MH), pp. 634–645.
ICEIS-v1-2015-FreitasJR #fuzzy #resource management #workflow- Fuzzy Resource Allocation Mechanisms in Workflow Nets (JCJdF, SJ, LPdR), pp. 471–478.
KDD-2015-QianCMSL #named #recommendation- SCRAM: A Sharing Considered Route Assignment Mechanism for Fair Taxi Route Recommendations (SQ, JC, FLM, IS, ML), pp. 955–964.
SEKE-2015-XieCLC #evolution #internet #physics- An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things (KX, HC, DL, LC), pp. 213–216.
ECOOP-2015-ShinnarSH #calculus #compilation- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.
POPL-2015-BartheGAHRS #approximate #design #difference #higher-order #privacy #refinement #relational- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (GB, MG, EJGA, JH, AR, PYS), pp. 55–68.
REFSQ-2015-LiHM #requirements #security #specification- Analyzing and Enforcing Security Mechanisms on Requirements Specifications (TL, JH, JM), pp. 115–131.
SAC-2015-Soares0W #approach #modelling #named #recognition #requirements #speech- VoiceToModel: an approach to generate requirements models from speech recognition mechanisms (FS, JA, FW), pp. 1350–1357.
- SAC-2015-TodaT #performance #satisfiability
- BDD construction for all solutions SAT and efficient caching mechanism (TT, KT), pp. 1880–1886.
SPLC-2015-Krueger #lifecycle #product line- Mechanical product lifecycle management meets product line engineering (CWK), pp. 316–320.
ASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification- SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
CC-2015-AckermannRMS #java #optimisation #runtime- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
HPCA-2015-AroraMPJT #behaviour #benchmark #comprehension #cpu #gpu #metric #power management- Understanding idle behavior and power gating mechanisms in the context of modern benchmarks on CPU-GPU Integrated systems (MA, SM, IP, NJ, DMT), pp. 366–377.
PPoPP-2015-ChenCM #named #parallel- Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
SOSP-2015-MatveevSFM #concurrent #lightweight #named #programming- Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.
ISSTA-2015-DahseH #case study #empirical #experience #php #security- Experience report: an empirical study of PHP security mechanism usage (JD, TH), pp. 60–70.
ASE-2014-ShenVTADLKZ #data flow- Information flows as a permission mechanism (FS, NV, CT, MA, BD, EJL, SYK, LZ), pp. 515–526.
- CASE-2014-BiswasBN #design
- Mechanism design for sustainable virtual power plant formation (SB, DB, YN), pp. 67–72.
- CASE-2014-EderKKR #architecture
- Continuum worm-like robotic mechanism with decentral control architecture (ME, MK, AK, SR), pp. 866–871.
- CASE-2014-FeltonTW #self
- Mechanically programmed self-folding at the millimeter scale (SMF, MTT, RJW), pp. 1232–1237.
- CASE-2014-HandokoNL
- An auction mechanism for the last-mile deliveries via urban consolidation centre (SDH, DTN, HCL), pp. 607–612.
- CASE-2014-KaiS #development #safety
- Development of a velocity and contact force-based mechanical safety device for service robots (YK, SS), pp. 1188–1193.
- CASE-2014-KosakiS #prototype
- A parallel-link robot prototype driven by pneumatic actuators with variable inclination mechanisms (TK, MS), pp. 838–843.
- CASE-2014-WangC #coordination
- Coordination mechanisms for planning of hydro-thermal subsystem (JW, XC), pp. 345–350.
- DAC-2014-ShrivastavaRJW #analysis #control flow #fault
- Quantitative Analysis of Control Flow Checking Mechanisms for Soft Errors (AS, AR, RJ, CJW), p. 6.
- DATE-2014-Fu0PJZ #data flow #detection #fault #parallel #thread
- A fault detection mechanism in a Data-flow scheduled Multithreaded processor (JF, QY, RP, CRJ, CZ), pp. 1–4.
- DATE-2014-SeylerSWSGT #network #self
- A self-propagating wakeup mechanism for point-to-point networks with partial network support (JRS, TS, JW, MS, MG, JT), pp. 1–6.
- ICALP-v1-2014-BhattacharyaKM #coordination
- Coordination Mechanisms for Selfish Routing over Time on a Tree (SB, JK, VSM), pp. 186–197.
- CHI-2014-GrauHRP #interactive
- Mechanical force redistribution: enabling seamless, large-format, high-accuracy surface interaction (AMG, CH, JRR, KP), pp. 4137–4146.
- CHI-2014-TaylorKHIH
- Type-hover-swipe in 96 bytes: a motion sensing mechanical keyboard (ST, CK, OH, SI, JH), pp. 1695–1704.
- CHI-2014-XiaoLH #smarttech
- Expanding the input expressivity of smartwatches with mechanical pan, twist, tilt and click (RX, GL, CH), pp. 193–196.
- CSCW-2014-XuSL #convergence
- Achieving convergence in operational transformation: conditions, mechanisms and systems (YX, CS, ML), pp. 505–518.
- DHM-2014-SinghWLMW #formal method
- Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
- HIMI-AS-2014-NarumiOKTH #abstraction #comprehension
- Switching the Level of Abstraction in Digital Exhibitions to Provide an Understanding of Mechanisms (TN, HO, RK, TT, MH), pp. 567–576.
- LCT-TRE-2014-MartinWH #interactive #learning #mobile
- Sensor Based Interaction Mechanisms in Mobile Learning (KUM, MW, WH), pp. 165–172.
ICPR-2014-RahmanHZ #detection- Information Divergence Based Saliency Detection with a Global Center-Surround Mechanism (IMHR, CH, MZ), pp. 3428–3433.
- SAC-2014-BackesGLL
- X-pire 2.0: a user-controlled expiration date and copy protection mechanism (MB, SG, SL, SL), pp. 1633–1640.
- SAC-2014-GamaD #approach #deployment #fault #self #testing
- A fault deployment and activation approach for testing self-recovery mechanisms (KG, DD), pp. 1114–1119.
- SAC-2014-MengWK #adaptation #authentication #design #mobile
- Design of touch dynamics based user authentication with an adaptive mechanism on mobile phones (YM, DSW, LfK), pp. 1680–1687.
- SAC-2014-Mota #internet #quality #research #student
- Student research abstract: mechanisms to ensure quality of service for the internet of things (RPBM), pp. 713–714.
- SAC-2014-OliveiraO #analysis #kernel #linux
- Mapping of the synchronization mechanisms of the Linux kernel to the response-time analysis model (DBdO, RSdO), pp. 1543–1544.
- SAC-2014-PatrignaniC #low level #semantics
- Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
- SAC-2014-SuzakiYTOS #protocol #testing #virtual machine
- Rollback mechanism of nested virtual machines for protocol fuzz testing (KS, TY, AT, YO, ES), pp. 1484–1491.
- SAC-2014-WatanabeGF #consistency #navigation
- Keyboard navigation mechanisms in tab widgets: an investigation on ARIA’s conformance (WMW, RJG, RPdMF), pp. 721–726.
- SAC-2014-ZimmermannNS #adaptation #classification
- Adaptive semi supervised opinion classifier with forgetting mechanism (MZ, EN, MS), pp. 805–812.
- CASE-2013-YadatiKBSN #smarttech
- Incentive compatible mechanisms for power cut allocation in smart grids (CY, DK, NB, AS, YN), pp. 100–105.
- DATE-2013-ChenM #analysis #modelling #reliability
- System-level modeling and microprocessor reliability analysis for backend wearout mechanisms (CCC, LM), pp. 1615–1620.
SIGMOD-2013-ChenCC #performance #query- An efficient query indexing mechanism for filtering geo-textual data (LC, GC, XC), pp. 749–760.
- SIGMOD-2013-ChenZ #difference #privacy #recursion #strict #towards
- Recursive mechanism: towards node differential privacy and unrestricted joins (SC, SZ), pp. 653–664.
FASE-2013-BongiovanniH #protocol- A Mechanized Model for CAN Protocols (FB, LH), pp. 266–281.
- STOC-2013-ChawlaHMS #independence #scheduling
- Prior-independent mechanisms for scheduling (SC, JDH, DLM, BS), pp. 51–60.
- STOC-2013-SyrgkanisT #composition #performance
- Composable and efficient mechanisms (VS, ÉT), pp. 211–220.
- ICALP-v1-2013-FotakisT #game studies #on the #power of
- On the Power of Deterministic Mechanisms for Facility Location Games (DF, CT), pp. 449–460.
- CHI-2013-IraniS #named
- Turkopticon: interrupting worker invisibility in amazon mechanical turk (LI, MSS), pp. 611–620.
- CHI-2013-PohlHHVP #interactive #string
- An interactive belt-worn badge with a retractable string-based input mechanism (NP, SH, JH, NV, TP), pp. 1465–1468.
- CSCW-2013-HansenSCRG #bibliography #crowdsourcing #quality
- Quality control mechanisms for crowdsourcing: peer review, arbitration, & expertise at familysearch indexing (DLH, PJS, DC, MR, JG), pp. 649–660.
- HIMI-D-2013-AsaoSK #estimation #using
- Estimation of Driver’s Steering Intention by Using Mechanical Impedance (TA, SS, KK), pp. 3–11.
- ICEIS-v3-2013-BorgesRMS #facebook #privacy
- Who Is This Guy Who Liked My Picture? — Privacy Control Mechanisms on Facebook for Generations X and Y (GB, TR, CM, PCdS), pp. 179–186.
- SEKE-2013-DiaoSYG #automation #semantics
- A Semantic-based Semi-automated Role Mapping Mechanism (S) (LD, WS, ILY, JG), pp. 14–17.
SIGIR-2013-DimopoulosNS #performance #query- A candidate filtering mechanism for fast top-k query processing on modern cpus (CD, SN, TS), pp. 723–732.
OOPSLA-2013-Zhang0K #developer #evolution #fault #injection #locality- Injecting mechanical faults to localize developer faults for evolving software (LZ, LZ, SK), pp. 765–784.
- SAC-2013-ImmichCC #adaptation #fault
- Adaptive video-aware FEC-based mechanism with unequal error protection scheme (RI, EC, MC), pp. 981–988.
- SAC-2013-KoutrouliT #recommendation
- Credible recommendation exchange mechanism for P2P reputation systems (EK, AT), pp. 1943–1948.
- SAC-2013-LimaBM
- Broadcast cancellation in search mechanisms (RL, CB, HM), pp. 548–553.
- SAC-2013-MoriguchiW #interactive #reuse #source code
- An interactive extension mechanism for reusing verified programs (SM, TW), pp. 1236–1243.
- SAC-2013-YiSLC #mobile #process #towards
- Towards a total recall: an activity tracking and recall mechanism for mobile devices (SY, JS, YL, HJC), pp. 570–572.
ESEC-FSE-2013-DuboisT #comprehension #development #gamification- Understanding gamification mechanisms for software development (DJD, GT), pp. 659–662.
CGO-2013-RuanLWS #framework #on the- On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
- CGO-2013-YanTZYS #algorithm #fine-grained #graph #named #parallel #traversal
- Vlock: Lock virtualization mechanism for exploiting fine-grained parallelism in graph traversal algorithms (JY, GT, XZ, EY, NS), p. 10.
- HPCA-2013-AframZG #implementation
- A group-commit mechanism for ROB-based processors implementing the X86 ISA (FA, HZ, KG), pp. 47–58.
- HPCA-2013-GuevaraLL #navigation
- Navigating heterogeneous processors with market mechanisms (MG, BL, BCL), pp. 95–106.
- CASE-2012-BiswasBNSSLV #design
- Mechanism design for green, truthful procurement auctions (SB, DB, YN, PS, SVS, LUL, NV), pp. 874–879.
- CASE-2012-IchikawaA #automation
- Magnetically driven micro-robot with suction mechanism for on-chip automatic (AI, FA), pp. 273–278.
- CASE-2012-KwonSY #pipes and filters #synthesis
- A linkage type mechanical clutch synthesis for pipeline inspection robot (YSK, JTS, BJY), pp. 618–623.
- CASE-2012-LakshmiNBSSBV #reduction
- A strategy-proof and budget balanced mechanism for carbon footprint reduction by global companies (LUL, YN, DB, PS, SVS, SB, NV), pp. 64–69.
- CASE-2012-NishimuraKM
- Pathway selection mechanism of a screw drive in-pipe robot in T-branches (TN, AK, SM), pp. 612–617.
- CASE-2012-YeY #automation #design
- Design of a bending mechanism for automated cystoscope (XY, WJY), pp. 261–266.
- CASE-2012-ZhangWZX #fault #memory management #using
- A dynamic memory model for mechanical fault diagnosis using one-class support vector machine (QZ, JW, JZ, GX), pp. 497–501.
- DAC-2012-ChanSSM #hardware #specification #synthesis
- Specification and synthesis of hardware checkpointing and rollback mechanisms (CC, DSN, DS, SM), pp. 1226–1232.
- DAC-2012-JungPL #3d #reliability
- Chip/package co-analysis of thermo-mechanical stress and reliability in TSV-based 3D ICs (MJ, DZP, SKL), pp. 317–326.
- DATE-2012-ChenLPCPWHWM #design
- Nano-Electro-Mechanical relays for FPGA routing: Experimental demonstration and a design technique (CC, WSL, RP, SC, JP, JW, RTH, HSPW, SM), pp. 1361–1366.
- DATE-2012-DasSHMC #multi
- Dynamic Directories: A mechanism for reducing on-chip interconnect power in multicores (AD, MS, NH, GM, ANC), pp. 479–484.
- DATE-2012-WuLMC #approach #correlation
- Mitigating lifetime underestimation: A system-level approach considering temperature variations and correlations between failure mechanisms (KCW, MCL, DM, SCC), pp. 1269–1274.
VLDB-2012-LiM #adaptation #difference #privacy #query- An Adaptive Mechanism for Accurate Query Answering under Differential Privacy (CL, GM), pp. 514–525.
- VLDB-2012-YuanZWXYH #difference #optimisation #privacy #query #rank
- Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy (GY, ZZ, MW, XX, YY, ZH), pp. 1352–1363.
- VLDB-2012-ZhangZXYW #analysis #difference #functional #privacy
- Functional Mechanism: Regression Analysis under Differential Privacy (JZ, ZZ, XX, YY, MW), pp. 1364–1375.
ITiCSE-2012-BrownCDGHMNPPSSSSS #education- Anatomy, dissection, and mechanics of an introductory cyber-security course’s curriculum at the United States naval academy (CB, FC, RD, RG, CH, JM, DN, AP, AP, SS, JS, SS, DS, SS), pp. 303–308.
CSMR-2012-HosseiniNG #debugging #predict #using- A Market-Based Bug Allocation Mechanism Using Predictive Bug Lifetimes (HH, RN, MWG), pp. 149–158.
MSR-2012-LotufoPC #debugging #game studies #towards- Towards improving bug tracking systems with game mechanisms (RL, LTP, KC), pp. 2–11.
- STOC-2012-BeiCGL #design
- Budget feasible mechanism design: from prior-free to bayesian (XB, NC, NG, PL), pp. 449–458.
- STOC-2012-BhaskaraDKT #linear #query
- Unconditional differentially private mechanisms for linear queries (AB, DD, RK, KT), pp. 1269–1284.
- STOC-2012-CaiDW #algorithm #multi
- An algorithmic characterization of multi-dimensional mechanisms (YC, CD, SMW), pp. 459–478.
- STOC-2012-ChawlaIL #black box #design #on the #reduction
- On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.
- ICALP-v2-2012-KrystaV #design #on the fly #online #random
- Online Mechanism Design (Randomized Rounding on the Fly) (PK, BV), pp. 636–647.
- ICALP-v2-2012-Vocking #multi #random
- Randomized Mechanisms for Multi-unit Auctions — (Extended Abstract) (BV), pp. 27–29.
IFM-2012-WoehrleBM #anti #network- Mechanized Extraction of Topology Anti-patterns in Wireless Networks (MW, RB, MRM), pp. 158–173.
IFL-2012-SculthorpeFG #haskell #program transformation- The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
- CHI-2012-AndristPMG #design #effectiveness
- Designing effective gaze mechanisms for virtual agents (SA, TP, BM, MG), pp. 705–714.
- CHI-2012-AntinS #bias #case study #motivation #self #social
- Social desirability bias and self-reports of motivation: a study of amazon mechanical turk in the US and India (JA, ADS), pp. 2925–2934.
- CHI-2012-WisniewskiLW #bound
- Fighting for my space: coping mechanisms for sns boundary regulation (PJW, HRL, DW), pp. 609–618.
- CSCW-2012-ShenALB #design #named
- Barter: mechanism design for a market incented wisdom exchange (DS, MWvA, AL, HB), pp. 275–284.
EDOC-2012-WangWPSC #process- A State Synchronization Mechanism for Orchestrated Processes (LW, AW, LFP, MvS, CC), pp. 51–60.
- ICEIS-v3-2012-TsudaASO #automation #classification
- A Classification Method of Inquiry e-Mails for Describing FAQ with Automatic Setting Mechanism of Judgment Threshold Values (YT, MA, MS, HO), pp. 199–205.
CIKM-2012-SarmaJMB #automation #scalability- An automatic blocking mechanism for large-scale de-duplication tasks (ADS, AJ, AM, PB), pp. 1055–1064.
- ICPR-2012-BeyanF
- A filtering mechanism for normal fish trajectories (CB, RBF), pp. 2286–2289.
- ICPR-2012-PazzagliaC #approach #recognition #tool support #visual notation
- Visual description and recognition of mechanical tools with a silhouette-based approach (FP, CC), pp. 2549–2552.
- SEKE-2012-HanXO #web
- Client-Side Rendering Mechanism: A Double-Edged Sword for Browser-Based Web Applications (HH, YX, KO), pp. 124–130.
- SEKE-2012-MCRM #effectiveness #performance #usability
- Measuring the Effect Of Usability Mechanisms On User Efficiency, Effectiveness and Satisfaction (MA, DMC, ADlR, AMM), pp. 599–604.
MoDELS-2012-PfeifferW #development- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
- MoDELS-2012-PfeifferW #development
- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
TOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine- Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.
- POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
- Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
- POPL-2012-RamananandroRL #c++ #resource management #semantics
- A mechanized semantics for C++ object construction and destruction, with applications to resource management (TR, GDR, XL), pp. 521–532.
- SAC-2012-JungJCHJCJK #performance
- A fast mount mechanism for YAFFS2 (JJ, JJ, YC, HH, GJ, SC, MJ, JYK), pp. 1791–1795.
- SAC-2012-SalehSRDBB #design #distributed #problem
- Mechanism design for decentralized vehicle routing problem (MS, AS, SR, MD, JB, AB), pp. 749–754.
- SAC-2012-ScholteRBK #analysis #empirical #validation #web
- An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
- HPCA-2012-AwasthiSSRBS #performance
- Efficient scrub mechanisms for error-prone emerging memories (MA, MS, KS, BR, RB, VS), pp. 15–26.
HPDC-2012-PasettoMFPX #architecture #communication #evaluation #manycore #parallel #performance #thread- Performance evaluation of interthread communication mechanisms on multicore/multithreaded architectures (DP, MM, HF, FP, JX), pp. 131–132.
- PPoPP-2012-MarkerTPBG #algebra #developer #linear
- Mechanizing the expert dense linear algebra developer (BM, AT, JP, DSB, RAvdG), pp. 289–290.
LICS-2012-CoeckeDKW #category theory #quantum- Strong Complementarity and Non-locality in Categorical Quantum Mechanics (BC, RD, AK, QW), pp. 245–254.
- CASE-2011-LeeLNCC #design #optimisation
- Design optimization of one-time-use leaping mechanism for sensor node relocation (GL, GL, YN, NYC, DC), pp. 749–754.
- CASE-2011-XieZSL #fuzzy #using
- Position servo control of the slider in double toggle mechanical press using Bezier curve model and fuzzy control (JX, SZ, ZS, JL), pp. 773–778.
- DAC-2011-JungMPL #3d #analysis #optimisation #reliability
- TSV stress-aware full-chip mechanical reliability analysis and optimization for 3D IC (MJ, JM, DZP, SKL), pp. 188–193.
- DAC-2011-WuWFT #distributed #manycore #scheduling #simulation
- A high-parallelism distributed scheduling mechanism for multi-core instruction-set simulation (MHW, PCW, CYF, RST), pp. 339–344.
- SIGMOD-2011-ChenLOW #named #performance #realtime #twitter
- TI: an efficient indexing mechanism for real-time search on tweets (CC, FL, BCO, SW), pp. 649–660.
- VLDB-2012-LarsonBDFPZ11 #concurrent #database #in memory
- High-Performance Concurrency Control Mechanisms for Main-Memory Databases (PÅL, SB, CD, CF, JMP, MZ), pp. 298–309.
- STOC-2011-ColeCGMO #coordination
- Inner product spaces for MinSum coordination mechanisms (RC, JRC, VG, VSM, NO), pp. 539–548.
- STOC-2011-DughmiRY #combinator #optimisation #random #towards
- From convex optimization to randomized mechanisms: toward optimal combinatorial auctions (SD, TR, QY), pp. 149–158.
- STOC-2011-FeigeT #design #nondeterminism
- Mechanism design with uncertain inputs: (to err is human, to forgive divine) (UF, MT), pp. 549–558.
- STOC-2011-KleinbergO
- Mechanisms for (mis)allocating scientific credit (JMK, SO), pp. 529–538.
SEFM-2011-VassevH #case study #experience #model checking- Developing Model-Checking Mechanisms for ASSL: An Experience Report (EV, MH), pp. 19–34.
- DUXU-v2-2011-CoopamootooA #communication #evaluation #online #privacy
- A Systematic Evaluation of the Communicability of Online Privacy Mechanisms with Respect to Communication Privacy Management (PLC, DA), pp. 384–393.
- DUXU-v2-2011-LeiZLC #interface #usability
- Influencing Mechanism of Apparent Space Dimensions on Interface Aesthetics and Apparent Usability (TL, YZ, XL, XC), pp. 588–597.
- HCI-ITE-2011-RiedenklauHR #user interface
- Saving and Restoring Mechanisms for Tangible User Interfaces through Tangible Active Objects (ER, TH, HJR), pp. 110–118.
- ICEIS-v3-2011-HuangHGL #authentication #health #monitoring
- Scheme of Authentication of Health Monitoring System based on Credit Card Mechanism (QH, QH, CG, SL), pp. 350–354.
- ICEIS-v3-2011-LiuT #case study #evolution #network
- Study on the Evolution Mechanisms of the Network Public Opinion (HL, ZT), pp. 444–448.
- ICEIS-v3-2011-WangRL
- The Pricing Mechanism of Suppliers in Risk-sharing in External Financing (ZW, YR, HL), pp. 145–149.
- ICEIS-v4-2011-GuanZ #ecosystem #evolution #research
- Research on the Evolution Mechanism of Ecosystem of Cyber Society based on the Haken Model (XG, ZZ), pp. 124–131.
- ICEIS-v4-2011-SchulteKRF #research #towards
- Laboratory 2.0 — Towards an Integrated Research Environment for Engineering Mechanics (JS, RK, JR, FF), pp. 407–412.
- ICEIS-v4-2011-YangZZ #design #evaluation #online #optimisation
- New Mechanism Design in the C2C Online Reputation Evaluation Optimizing (YY, WZ, XZ), pp. 53–62.
- ICEIS-v4-2011-ZhouZ #case study #scalability
- Study on the Long-term Incentive Mechanism of the Large-scale Dredging Project (BZ, ZZ), pp. 574–580.
- MoDELS-2011-Iraqi-HoussainiKR #design #modelling
- Model-Based (Mechanical) Product Design (MIH, MK, LR), pp. 548–562.
- MoDELS-2011-Iraqi-HoussainiKR #design #modelling
- Model-Based (Mechanical) Product Design (MIH, MK, LR), pp. 548–562.
- SAC-2011-BorgesMB #education #generative #modelling #towards
- Towards the establishment of supporting mechanisms for modeling and generating educational content (VAB, JCM, EFB), pp. 1202–1207.
- SAC-2011-SreekumariC #multi #network
- A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks (PS, SHC), pp. 498–505.
- HPCA-2011-MehraraHSM #javascript #parallel #using
- Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.
- PPoPP-2011-ZhengRQA #detection #gpu #named #source code
- GRace: a low-overhead mechanism for detecting data races in GPU programs (MZ, VTR, FQ, GA), pp. 135–146.
- CASE-2010-BiswasN #combinator
- An iterative auction mechanism for combinatorial exchanges (SB, YN), pp. 849–854.
- CASE-2010-IslamL #distributed #hybrid
- A distributed hybrid sliding mode control system for a class of nonlinear mechanical systems (SI, PXL), pp. 356–361.
- DAC-2010-JoshiSTASB #modelling
- Closed-form modeling of layout-dependent mechanical stress (VJ, VS, AT, KA, DS, DB), pp. 673–678.
PODS-2010-GupteS #privacy- Universally optimal privacy mechanisms for minimax agents (MG, MS), pp. 135–146.
- STOC-2010-ChawlaHMS #design #multi
- Multi-parameter mechanism design and sequential posted pricing (SC, JDH, DLM, BS), pp. 311–320.
- STOC-2010-HartlineL #algorithm #design
- Bayesian algorithmic mechanism design (JDH, BL), pp. 301–310.
- STOC-2010-RothR #interactive #privacy
- Interactive privacy via the median mechanism (AR, TR), pp. 765–774.
- ICALP-v1-2010-BorodinL #combinator #design #on the
- On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions (AB, BL), pp. 90–101.
- CHI-2010-DownsHSC #game studies
- Are your participants gaming the system?: screening mechanical turk workers (JSD, MBH, SS, LFC), pp. 2399–2402.
- CHI-2010-HeerB #crowdsourcing #design #using #visual notation #visualisation
- Crowdsourcing graphical perception: using mechanical turk to assess visualization design (JH, MB), pp. 203–212.
- ICEIS-J-2010-ReisBB10a #network #social
- Prospecting an Inclusive Search Mechanism for Social Network Services (JCdR, RB, MCCB), pp. 555–570.
KEOD-2010-KohnLP #automation #challenge #documentation- The Challenge of Automatically Annotating Solution Documents — Comparing Manual and Automatic Annotation of Solution Documents in the Field of Mechanical Engineering (AK, UL, GP), pp. 153–158.
- TOOLS-EUROPE-2010-HundtSG #aspect-oriented #embedded #optimisation
- Optimizing Aspect-Oriented Mechanisms for Embedded Applications (CH, DS, SG), pp. 137–153.
- SAC-2010-JungCKK #adaptation #named #performance #reliability
- ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
- SAC-2010-MabuchiSHSK #data access #named
- CapaCon: access control mechanism for inter-device communications through TCP connections (MM, YS, KH, AS, KK), pp. 706–712.
- SAC-2010-NallurB #design #in the cloud #quality #trade-off
- Design of a market-based mechanism for quality attribute tradeoff of services in the cloud (VN, RB), pp. 367–371.
- SAC-2010-ZhangHJ #java #locality #transaction
- Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
- SPLC-2010-BelategiSE #embedded #product line #variability
- MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines (LB, GS, LE), pp. 466–470.
- HPCA-2010-BiDG #energy
- Delay-Hiding energy management mechanisms for DRAM (MB, RD, CG), pp. 1–10.
CSL-2010-BaazF #logic- A Resolution Mechanism for Prenex Gödel Logic (MB, CGF), pp. 67–79.
- CSL-2010-CoeckeP #category theory #quantum
- Environment and Classical Channels in Categorical Quantum Mechanics (BC, SP), pp. 230–244.
- DATE-2009-BardineCFGP #migration #power management
- A power-efficient migration mechanism for D-NUCA caches (AB, MC, PF, GG, CAP), pp. 598–601.
- STOC-2009-ChenM #approach #design
- A new approach to auctions and resilient mechanism design (JC, SM), pp. 503–512.
- STOC-2009-GhoshRS #privacy
- Universally utility-maximizing privacy mechanisms (AG, TR, MS), pp. 351–360.
- CHI-2009-LawA #game studies #named #using
- Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
- DHM-2009-GoreHWS #implementation
- A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5 (BFG, BLH, CDW, SSN), pp. 237–246.
- HCI-NT-2009-LiggesmeyerHMKBZ #visualisation
- Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control (PL, JH, JM, RK, HB, DZ), pp. 846–855.
- OCSC-2009-MeiselwitzL #network #social
- Accessibility of Registration Mechanisms in Social Networking Sites (GM, JL), pp. 82–90.
CAiSE-2009-Ghazarian #case study #fault- A Case Study of Defect Introduction Mechanisms (AG), pp. 156–170.
- EDOC-2009-DirgahayuSQ #abstraction #interactive
- Abstractions of Interaction Mechanisms (TD, MvS, DACQ), pp. 173–182.
- SAC-2009-CaiCFTCH #network #peer-to-peer
- A holistic mechanism against file pollution in peer-to-peer networks (ZC, RC, JF, CT, ZC, JbH), pp. 28–34.
- SAC-2009-CentenoBHO #formal method #modelling
- Organising MAS: a formal model based on organisational mechanisms (RC, HB, RH, SO), pp. 740–746.
- SAC-2009-MurthK #coordination #knowledge-based #reliability #semantics
- Knowledge-based coordination with a reliable semantic subscription mechanism (MM, EK), pp. 1374–1380.
- CGO-2009-LiWH #data access #evaluation
- An Evaluation of Misaligned Data Access Handling Mechanisms in Dynamic Binary Translation Systems (JL, CW, WCH), pp. 180–189.
- HPCA-2009-HurL #feedback #memory management #probability
- Feedback mechanisms for improving probabilistic memory prefetching (IH, CL), pp. 443–454.
CADE-2009-Rinard #proving #reasoning- Integrated Reasoning and Proof Choice Point Selection in the Jahob System — Mechanisms for Program Survival (MCR), pp. 1–16.
SAT-2009-CreignouDER #comprehension- (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms (NC, HD, UE, RR), pp. 363–376.
- CASE-2008-BellurNB #clustering
- Cost sharing mechanisms for business clusters with strategic firms (AB, YN, SB), pp. 1001–1006.
- CASE-2008-RohPSYC0LC #flexibility #using
- Flexible docking mechanism using combination of magnetic force with error-compensation capability (SgR, JHP, YKS, KY, MC, HSK, HL, HRC), pp. 697–702.
- DAC-2008-HuangYX #composition #on the #reliability #testing
- On reliable modular testing with vulnerable test access mechanisms (LH, FY, QX), pp. 834–839.
- DAC-2008-LiZY #analysis #verification
- Full-chip leakage analysis in nano-scale technologies: mechanisms, variation sources, and verification (TL, WZ, ZY), pp. 594–599.
- DATE-2008-KleanthousS #detection #named
- CATCH: A Mechanism for Dynamically Detecting Cache-Content-Duplication and its Application to Instruction Caches (MK, YS), pp. 1426–1431.
- DATE-2008-WapplerM
- Software Protection Mechanisms for Dependable Systems (UW, MM), pp. 947–952.
- DATE-2008-YuanHX
- Re-Examining the Use of Network-on-Chip as Test Access Mechanism (FY, LH, QX), pp. 808–811.
CSEET-2008-BarbosaSM #education #experience #learning #testing- An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing (EFB, SdRSdS, JCM), pp. 189–196.
TACAS-2008-AlkassarSS #pervasive #verification- Formal Pervasive Verification of a Paging Mechanism (EA, NS, AS), pp. 109–123.
PEPM-2008-SultanaT #refactoring #verification- Mechanical verification of refactorings (NS, SJT), pp. 51–60.
- STOC-2008-HartlineR #design
- Optimal mechanism design and money burning (JDH, TR), pp. 75–84.
ICFP-2008-Chlipala #higher-order #parametricity #semantics #syntax- Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.
- CHI-2008-FarzanDMDGB #enterprise
- Results from deploying a participation incentive mechanism within the enterprise (RF, JMD, DRM, CD, WG, EB), pp. 563–572.
- CHI-2008-KitturCS #crowdsourcing
- Crowdsourcing user studies with Mechanical Turk (AK, EHC, BS), pp. 453–456.
- CSCW-2008-HsiehKHW #communication
- Can markets help?: applying market mechanisms to improve synchronous communication (GH, RK, SEH, RW), pp. 535–544.
- CIKM-2008-HutterKB #empirical
- Peer production of structured knowledge -: an empirical study of ratings and incentive mechanisms (CH, CK, KB), pp. 827–842.
- HPCA-2008-GuptaRSWB #commit #induction #named
- DeCoR: A Delayed Commit and Rollback mechanism for handling inductive noise in processors (MSG, KKR, MDS, GYW, DMB), pp. 381–392.
OSDI-2008-WilliamsRWSS #safety #validation- Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
CAV-2008-CohenPZ #memory management #transaction #verification- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses (AC, AP, LDZ), pp. 121–134.
ICLP-2008-CostaR #evaluation- Global Storing Mechanisms for Tabled Evaluation (JC, RR), pp. 708–712.
- LICS-2008-UrbanCB
- Mechanizing the Metatheory of LF (CU, JC, SB), pp. 45–56.
- ASE-2007-UbayashiST #architecture #aspect-oriented #component #weaving
- An aspect-oriented weaving mechanism based on component and connector architecture (NU, AS, TT), pp. 154–163.
- CASE-2007-Murphey #geometry
- Geometric Derived Information Spaces in Manipulation with Mechanical Contact (TDM), pp. 338–345.
- CASE-2007-TadakumaT #design
- Mechanical Design of “Omni-Ball”: Spherical Wheel for Holonomic Omnidirectional Motion (KT, RT), pp. 788–794.
- DAC-2007-SuWCM #design #optimisation #performance
- An Efficient Mechanism for Performance Optimization of Variable-Latency Designs (YSS, DCW, SCC, MMS), pp. 976–981.
- STOC-2007-DobzinskiN
- Limitations of VCG-based mechanisms (SD, NN), pp. 338–344.
- ICALP-2007-ChristodoulouKK #design #scheduling
- Mechanism Design for Fractional Scheduling on Unrelated Machines (GC, EK, AK), pp. 40–52.
- CHI-2007-PattenI #constraints #interface
- Mechanical constraints as computational constraints in tabletop tangible interfaces (JP, HI), pp. 809–818.
- CHI-2007-Tsandilass
- Bubbling menus: a selective mechanism for accessing hierarchical drop-down menus (TT, MMCS), pp. 1195–1204.
- DHM-2007-ZhangWXWY
- Mechanism of Bifurcation-Dependent Coherence Resonance of Excitable Neuron Model (GJZ, JW, JXX, XBW, HY), pp. 757–766.
- HIMI-MTT-2007-MiyakeT #coordination #realtime
- Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.
- HIMI-MTT-2007-YamamotoN
- The Activation Mechanism for Dynamically Generated Procedures in Hyperlogo (NY, TN), pp. 785–792.
- SEKE-2007-SubbianN #elicitation #maintenance
- Truth Eliciting Mechanisms for Trouble Ticket Allocation in Software Maintenance Services (KS, YN), p. 355–?.
PPDP-2007-CheneyM #model checking- Mechanized metatheory model-checking (JC, AM), pp. 75–86.
PADL-2007-Rocha #evaluation #on the #performance #robust- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation (RR), pp. 155–169.
- POPL-2007-LeeCH #ml #standard #towards
- Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.
- SAC-2007-CuadradoM #model transformation
- A phasing mechanism for model transformation languages (JSC, JGM), pp. 1020–1024.
- SAC-2007-KoralalageRMGC #approach #lifecycle #privacy #security
- POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism (KHSSK, MRS, JM, YG, JC), pp. 270–275.
- SAC-2007-Li #abstraction #parametricity #protocol #proving #verification
- Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols (YL), pp. 1534–1535.
- SAC-2007-MonteiroBL #consistency #mobile
- A mechanism for replicated data consistency in mobile computing environments (JMM, AB, SL), pp. 914–919.
- SAC-2007-VanderleiDMGAM #classification #component #retrieval
- A cooperative classification mechanism for search and retrieval software components (TAV, FAD, ACM, VCG, ESdA, SRdLM), pp. 866–871.
- SAC-2007-YiMLKJ #concurrent #multi #named #operating system #stack #thread
- SESAME: space-efficient stack allocation mechanism for multi-threaded sensor operating systems (SY, HM, SL, YK, IJ), pp. 1201–1202.
- SAC-2007-ZengS #combinator #geometry #optimisation #problem
- Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.
- SAC-2007-ZhouHP #database #image #using
- An additive-attack-proof watermarking mechanism for databases’ copyrights protection using image (XZ, MH, ZP), pp. 254–258.
- CGO-2007-HiserWHDMC #branch
- Evaluating Indirect Branch Handling Mechanisms in Software Dynamic Translation Systems (JH, DWW, WH, JWD, JM, BRC), pp. 61–73.
- HPCA-2007-GaneshJWJ #architecture #comprehension #memory management #scalability
- Fully-Buffered DIMM Memory Architectures: Understanding Mechanisms, Overheads and Scaling (BG, AJ, DW, BLJ), pp. 109–120.
- HPCA-2007-ShaoD #order #scheduling
- A Burst Scheduling Access Reordering Mechanism (JS, BTD), pp. 285–294.
- CASE-2006-TangC #parallel
- A Large-Displacement and Decoupled XYZ Flexure Parallel Mechanism for Micromanipulation (XT, IMC), pp. 75–80.
- CASE-2006-WangWJ #metric #research #visual notation
- Research on Imaging Model of a Mechanism’s Aiming Control Based on Visual Measurement (XW, JW, ZJ), pp. 606–610.
ICSM-2006-BreechTP #impact analysis #precise- Integrating Influence Mechanisms into Impact Analysis for Increased Precision (BB, MT, LLP), pp. 55–65.
- STOC-2006-DobzinskiNS #combinator #random
- Truthful randomized mechanisms for combinatorial auctions (SD, NN, MS), pp. 644–652.
- STOC-2006-RoughgardenS #trade-off
- New trade-offs in cost-sharing mechanisms (TR, MS), pp. 79–88.
- ICALP-v1-2006-AulettaPPPV #verification
- New Constructions of Mechanisms with Verification (VA, RDP, PP, GP, CV), pp. 596–607.
FM-2006-Preoteasa #logic #pointer #recursion #using #verification- Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.
- ICFP-2006-HickeyNYK #hybrid #representation #using
- Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.
- EDOC-2006-ShanH #architecture
- Solution Architecting Mechanism (TCS, WWH), pp. 23–34.
- ICEIS-DISI-2006-ZhengLOA #performance #xml
- Efficient Mechanism for Handling Materialized XML Views (JZ, ACWL, TÖ, RA), pp. 151–162.
- ICEIS-HCI-2006-Andrenucci #empirical #interface #personalisation
- Medical Information Portals: An Empirical Study of Personalized Search Mechanisms and Search Interfaces (AA), pp. 95–102.
- ICEIS-ISAS-2006-Rotaru #architecture #evaluation #evolution
- Molding Architecture and Integrity Mechanisms Evolution — An Architectural Stability Evaluation Model for Software Systems (OPR), pp. 426–431.
ICML-2006-SimsekB #performance- An intrinsic reward mechanism for efficient exploration (ÖS, AGB), pp. 833–840.
- ICPR-v1-2006-Liao #image
- A Captcha Mechanism By Exchange Image Blocks (WHL), pp. 1179–1183.
KR-2006-Doyle #on the #process- On Mechanization of Thought Processes (Extended Abstract) (JD), p. 2.
- SEKE-2006-MaoCSZW #adaptation #design #modelling
- The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents (XM, ZC, LS, HZ, JW), pp. 639–644.
- MoDELS-2006-Henderson-SellersG #uml
- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
- MoDELS-2006-Henderson-SellersG #uml
- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.
- SAC-2006-BadicaBG #implementation #rule-based
- Implementing rule-based mechanisms for agent-based price negotiations (CB, AB, MG), pp. 96–100.
- SAC-2006-DattaE #analysis #requirements #workflow
- Effects of changing requirements: a tracking mechanism for the analysis workflow (SD, RvE), pp. 1739–1744.
- SAC-2006-Kerrigan #execution #web #web service
- Web service selection mechanisms in the Web Service Execution Environment (WSMX) (MK), pp. 1664–1668.
- SAC-2006-YangYCW #grid #implementation #performance
- Implementation of a dynamic adjustment mechanism with efficient replica selection in data grid environments (CTY, IHY, CHC, SYW), pp. 797–804.
ICSE-2006-KojarskiL #approach #modelling #top-down- Modeling aspect mechanisms: a top-down approach (SK, DHL), pp. 212–221.
- ASE-2005-UbayashiMMT #aspect-oriented #interpreter #modelling
- A parameterized interpreter for modeling different AOP mechanisms (NU, GM, HM, TT), pp. 194–203.
- CASE-2005-ChiangF #problem #scheduling
- An iterative refining mechanism for general job shop scheduling problems (TCC, LCF), pp. 203–208.
- DATE-2005-GangwarBPK #architecture #clustering #evaluation
- Evaluation of Bus Based Interconnect Mechanisms in Clustered VLIW Architectures (AG, MB, PRP, AK), pp. 730–735.
- DATE-2005-WeberCSW #network
- A Quality-of-Service Mechanism for Interconnection Networks in System-on-Chips (WDW, JC, IS, DW), pp. 1232–1237.
- VLDB-2005-JohnsonMSS
- A Heartbeat Mechanism and Its Application in Gigascope (TJ, SM, VS, OS), pp. 1079–1088.
- STOC-2005-BriestKV #approximate #design
- Approximation techniques for utilitarian mechanism design (PB, PK, BV), pp. 39–48.
- ICFP-2005-Harper #programming language
- Mechanizing the meta-theory of programming languages (RH), p. 240.
VISSOFT-2005-TeleaV #evolution #interactive #source code #visual notation- Interactive Visual Mechanisms for Exploring Source Code Evolution (ACT, LV), pp. 52–57.
- ICEIS-v1-2005-BenchikhaB #database #object-oriented
- Extending Object Oriented Databases to Support the Viewpoint Mechanism (FB, MB), pp. 273–278.
- CIKM-2005-PossasZRM #query
- Maximal termsets as a query structuring mechanism (BP, NZ, BARN, WMJ), pp. 287–288.
- SEKE-2005-Lin
- A Post-auction Negotiation Mechanism for Electronic Marketplace (RJL), pp. 19–24.
- OOPSLA-2005-KojarskiL #aspect-oriented #composition #design
- Pluggable AOP: designing aspect mechanisms for third-party composition (SK, DHL), pp. 247–263.
QAPL-2004-HurdMM05 #probability- Probabilistic Guarded Commands Mechanized in HOL (JH, AM, CM), pp. 95–111.
GPCE-2005-UbayashiTSMM #aspect-oriented #compilation- Model Compiler Construction Based on Aspect-Oriented Mechanisms (NU, TT, SS, YM, SM), pp. 109–124.
- SAC-2005-CazzolaCC #c#
- [a]C#: C# with a customizable code annotation mechanism (WC, AC, DC), pp. 1264–1268.
- SAC-2005-HeI #distributed #resource management #self
- Forming resource-sharing coalitions: a distributed resource allocation mechanism for self-interested agents in computational grids (LH, TRI), pp. 84–91.
- ESEC-FSE-2005-ShenSHJSM #component #formal method #towards
- Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.
- DAC-2004-AgarwalKMR #design
- Leakage in nano-scale technologies: mechanisms, impact and design considerations (AA, CHK, SM, KR), pp. 6–11.
- DATE-v2-2004-Stanley-MarbellM #adaptation #fault tolerance
- Local Decisions and Triggering Mechanisms for Adaptive Fault-Tolerance (PSM, DM), pp. 968–973.
- ITiCSE-2004-WangC #assessment #learning #online #performance
- Extending e-books with annotation, online support and assessment mechanisms to increase efficiency of learning (CYW, GDC), pp. 132–136.
- ICALP-2004-ChristodoulouKN #coordination
- Coordination Mechanisms (GC, EK, AN), pp. 345–357.
- ICEIS-v1-2004-Riaz-ud-DinK #adaptation #database #multi #named #using
- ACME-DB: An Adaptive Caching Mechanism Using Multiple Experts For Database Buffers (FRuD, MK), pp. 192–201.
- ICEIS-v2-2004-ValleP #communication
- Decision Follow-Up Support Mechanism Based on Asynchronous Communication (CV, WP), pp. 423–429.
- ICEIS-v4-2004-BouzidPB
- A Dynamic Aggregation Mechanism for Agent-Based Services (MB, JP, DB), pp. 10–15.
- ICEIS-v4-2004-LimaEMFC #data mining #information management #mining #web
- Archcollect Front-End: A Web Usage Data Mining Knowledge Acquisition Mechanism Focused on Static or Dynamic Contenting Applications (JdCL, AAAE, JGdM, BF, TGdSC), pp. 258–262.
- KDD-2004-LazarevicKK #detection #effectiveness #locality #scalability
- Effective localized regression for damage detection in large complex mechanical structures (AL, RK, CK), pp. 450–459.
- SEKE-2004-XueOZ #collaboration #consistency #editing #framework #maintenance
- An Analytical Framework for Consistency Maintenance Mechanisms in Collaborative Editing Systems (LX, MAO, KZ), pp. 51–56.
UML-2004-JiangSZMMM #classification #metamodelling #on the #uml- On the Classification of UML’s Meta Model Extension Mechanism (YJ, WS, LZ, ZM, XM, HM), pp. 54–68.
- ECOOP-2004-AldrichC #alias #policy
- Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.
- OOPSLA-2004-Fong #verification #virtual machine
- Pluggable verification modules: an extensible protection mechanism for the JVM (PWLF), pp. 404–418.
LOPSTR-2004-KulkarniBE #automation #fault tolerance #source code #synthesis #verification- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (SSK, BB, AE), pp. 36–52.
- SAC-2004-LopezNRR #information management
- Encouraging knowledge exchange in discussion forums by market-oriented mechanisms (NL, MN, IR, FR), pp. 952–956.
- SPLC-2004-FritschR #adaptation #approach #product line
- Four Mechanisms for Adaptable Systems: A Meta-level Approach to Building a Software Product Line (CF, BR), pp. 51–72.
- HPDC-2004-HongLKLP #grid #information management #named
- GAIS: Grid Advanced Information Service based on P2P Mechanism (WH, ML, EK, JL, HP), pp. 276–277.
- CAV-2004-Hunt #verification
- Mechanical Mathematical Methods for Microprocessor Verification (WAHJ), pp. 523–533.
- CSL-2004-Weber #logic #towards #verification
- Towards Mechanized Program Verification with Separation Logic (TW), pp. 250–264.
- FASE-2003-BeckertM #java #logic #transaction
- A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
- FASE-2003-GoelGW #object-oriented #testing
- Probe Mechanism for Object-Oriented Software Testing (AG, SCG, SKW), pp. 310–324.
- STOC-2003-AwerbuchAM #online #optimisation
- Reducing truth-telling online mechanisms to online optimization (BA, YA, AM), pp. 503–510.
- FME-2003-BouquetL #case study #execution #generative #java #testing #transaction
- Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
AdaEurope-2003-BriotGDCW #ada #memory management- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.
- ICEIS-v3-2003-ArbaouiHOTV #difference #enterprise #process
- Languages and Mechanisms for Software Processes and Manufacturing Enterprise Processes: Similarities and Differences (SA, AH, FO, FT, HV), pp. 474–482.
- ICEIS-v4-2003-LimP #clustering #using #web
- Dynamically Reconstructive Web Server Cluster Using a Hierarchical Grouping Mechanism (SiL, MSP), pp. 271–279.
- SEKE-2003-YanYR #distributed #peer-to-peer #workflow
- A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems (JY, YY, GKR), pp. 354–358.
- ECOOP-2003-MasuharaK #aspect-oriented #modelling
- Modeling Crosscutting in Aspect-Oriented Mechanisms (HM, GK), pp. 2–28.
- SAC-2003-LomonosovSP #game studies #trade-off
- Stability vs. Optimality Tradeoff in Game Theoretic Mechanisms for QoS Provision (AL, MS, KP), pp. 28–32.
- HPDC-2003-AgarwalaPKSW #distributed #monitoring #resource management
- Resource-Aware Stream Management with the Customizable dproc Distributed Monitoring Mechanisms (SA, CP, JK, KS, MW), pp. 250–259.
- SOSP-2003-Arpaci-DusseauABDEGNP #kernel #policy
- Transforming policies into mechanisms with infokernel (ACAD, RHAD, NCB, TED, TJE, HSG, JAN, FIP), pp. 90–105.
RTA-2003-BournezCCKI #approach #automation #generative #rule-based- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms (OB, GMC, VC, HK, LI), pp. 30–45.
- RTA-2003-OhsakiST
- Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism (HO, HS, TT), pp. 483–498.
- DATE-2002-BeroulleBLN #on the
- On the Use of an Oscillation-Based Test Methodology for CMOS Micro-Electro-Mechanical Systems (VB, YB, LL, PN), p. 1120.
- DATE-2002-WilliamsHA #communication #parallel
- Communication Mechanisms for Parallel DSP Systems on a Chip (JW, NH, BDA), pp. 420–422.
ESOP-2002-WansbroughNSS #semantics #thread- Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures (KW, MN, PS, AS), pp. 278–294.
SCAM-2002-ZhangMHH #semantics- Mechanized Operational Semantics of WSL (XZ, MM, MH, LH), pp. 73–82.
- FME-2002-HendersonP #classification #communication #verification
- The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.
- FME-2002-MotaBS #abstraction #process
- Mechanical Abstraction of CSPZ Processes (AM, PB, AS), pp. 163–183.
- ICEIS-2002-MengYCC #data mining #information management #mining
- Data Mining Mechanisms in Knowledge Management System (IHM, WPY, WCC, LPC), pp. 399–404.
- CIKM-2002-ChongSDFYJTKJ
- A mapping mechanism to support bitmap index and other auxiliary structures on tables stored as primary B±trees (EIC, JS, SD, CF, AY, MJ, ATT, RK, RJ), pp. 625–628.
- CIKM-2002-KalogerakiGZ #network #peer-to-peer
- A local search mechanism for peer-to-peer networks (VK, DG, DZY), pp. 300–307.
- SEKE-2002-ReisRSN #process
- A policy-based resource instantiation mechanism to automate software process management (CALR, RQR, HS, DJN), pp. 795–802.
- ECOOP-2002-IchisugiT #difference #independence
- Difference-Based Modules: A Class-Independent Module Mechanism (YI, AT), pp. 62–88.
- SAC-2002-ChenCGRS #automation #co-evolution #game studies
- An automated negotiation mechanism based on co-evolution and game theory (JHC, KMC, NG, CRR, PS), pp. 63–67.
- SAC-2002-NakanoHSN #adaptation #web
- User adaptive content delivery mechanism on the world wide web (TN, KH, SS, SN), pp. 1140–1146.
- SAC-2002-Ungureanu #data access #e-commerce
- An agreement centric access control mechanism for business to business e-commerce (VU), pp. 1160–1164.
- ASPLOS-2002-CookseyJG
- A stateless, content-directed data prefetching mechanism (RC, SJ, DG), pp. 279–290.
- HPDC-2002-RipeanuF #adaptation #distributed
- A Decentralized, Adaptive Replica Location Mechanism (MR, ITF), p. 24–?.
- OSDI-2002-VenkataramaniKD
- TCP Nice: A Mechanism for Background Transfers (AV, RK, MD), pp. 329–343.
- DATE-2001-BenabdenbiMM #testing
- Testing TAPed cores and wrapped cores with the same test access mechanism (MB, WM, MM), pp. 150–155.
- ESOP-2001-Jacobs #exception #formal method #java
- A Formalisation of Java’s Exception Mechanism (BJ), pp. 284–301.
FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus- Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
- ICSM-2001-GeihsB #distributed #framework #maintenance #object-oriented #quality
- A Framework for Re-use and Maintenance of Quality of Service Mechanisms in Distributed Object Systems (KG, CB), pp. 470–478.
- STOC-2001-GrigniSVV #algorithm #problem #quantum
- Quantum mechanical algorithms for the nonabelian hidden subgroup problem (MG, LJS, MV, UVV), pp. 68–74.
- FME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library
- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.
- ICEIS-v1-2001-Hammoudi #database #evolution
- Object Evolution Mechanisms in Object Databases (SH), pp. 44–52.
- ICEIS-v2-2001-LopesO #distributed #persistent
- A New Mechanism for Distributed Managers Persistence (RPL, JLO), pp. 1040–1045.
- SAC-2001-BenchikhaBS #database #integration
- Integration of the viewpoint mechanism in federated databases (FB, MB, LS), pp. 280–284.
ESEC-FSE-2001-JacksonSS- A micromodularity mechanism (DJ, IS, MS), pp. 62–73.
- HPDC-2001-LopezO #evaluation #network
- Evaluation of a Resource Selection Mechanism for Complex Network Services (JCL, DRO), pp. 171–180.
- DAC-2000-TianWB #modelling
- Model-based dummy feature placement for oxide chemical-mechanical polishing manufacturability (RT, DFW, RB), pp. 667–670.
- DATE-2000-BenabdenebiMM #configuration management #named #scalability
- CAS-BUS: A Scalable and Reconfigurable Test Access Mechanism for Systems on a Chip (MB, WM, MM), pp. 141–145.
- FASE-2000-KolanoKM #parallel #realtime #refinement
- Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.
- STOC-2000-Istrail #3d #statistics
- Statistical mechanics, three-dimensionality and NP-completeness: I. Universality of intracatability for the partition function of the Ising model across non-planar surfaces (extended abstract) (SI), pp. 87–96.
- CIKM-2000-LiFK #retrieval
- Structural Join Index Driven Complex Object Retrieval: Mechanisms and Selection (QL, CWF, KK), pp. 150–157.
- ICPR-v3-2000-Sakai #network
- A Network Mechanism for the Determination of Apparent Orientation (KS), pp. 3967–3970.
- SIGIR-2000-BruzaMD #interactive #internet #keyword #query
- Interactive Internet search: keyword, directory and query reformulation mechanisms compared (PB, RM, SD), pp. 280–287.
- SIGIR-2000-DingC #adaptation #ranking #towards #web
- Towards an adaptive and task-specific ranking mechanism in Web searching (C(D, CHC), pp. 375–376.
- UML-2000-FelfernigJZ #design #diagrams #knowledge base #uml
- Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML (AF, DJ, MZ), pp. 240–254.
- TOOLS-ASIA-2000-LinaLX #java #using
- An Agent-Based Load Balancing Mechanism: PLRM Using Java (LL, LL, YX), pp. 176–181.
- TOOLS-ASIA-2000-ZhuoweiJJG #corba #lifecycle #research
- Research on Life Cycle Management Mechanism in COM/CORBA Interworking (ZS, JX, JD, GG), pp. 88–93.
- TOOLS-EUROPE-2000-CaronCD #corba #middleware
- An Original View Mechanism for the CORBA Middleware (OC, BC, LD), pp. 146–156.
- TOOLS-EUROPE-2000-Guerreiro #c++
- Another Mediocre Assertion Mechanism for C++ (PG), pp. 226–237.
- PADL-2000-ZhouSYY #implementation #linear
- Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.
ICRE-2000-FeatherCG #interactive #requirements #scalability- Scalable Mechanisms for Requirements Interaction Management (MSF, SLC, MG), pp. 119–129.
- SAC-2000-PiresBM #behaviour #communication #database #object-oriented #specification
- Mechanisms for Specifying Communication Behavior in Object Oriented Database (PFP, MRFB, MM), pp. 389–397.
- HPCA-2000-CanalPG #clustering
- Dynamic Cluster Assignment Mechanisms (RC, JMP, AG), pp. 133–142.
- CAV-2000-RusinowitchSK #consistency #incremental #verification
- Mechanical Verification of an Ideal Incremental ABR Conformance (MR, SS, FK), pp. 344–357.
- DATE-1999-GuerraRRFR #fault #generative
- An Accurate Error Control Mechanism for Simplification Before Generation Algorihms (OG, JDRG, ER, FVF, ÁRV), p. 412–?.
ICDAR-1999-OshitaniW #parallel #recognition- Parallel Map Recognition with Information Propagation Mechanism (TO, TW), pp. 717–720.
- SIGMOD-1999-JarkeQBLMS #quality #using
- Improving OLTP Data Quality Using Data Warehouse Mechanisms (MJ, CQ, GB, DL, GM, SS), pp. 536–537.
- PLDI-1999-FisherR #design
- The Design of a Class Mechanism for Moby (KF, JHR), pp. 37–49.
- STOC-1999-NisanR #algorithm #design
- Algorithmic Mechanism Design (Extended Abstract) (NN, AR), pp. 129–140.
- FM-v1-1999-MunozR
- Structural Embeddings: Mechanization with Method (CAM, JMR), pp. 452–471.
- FM-v1-1999-Rushby #formal method #question
- Mechanized Formal Methods: Where Next? (JMR), pp. 48–51.
- FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation
- The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.
- HCI-CCAD-1999-Rittenbruch #named #towards
- Atmosphere: towards context-selective awareness mechanisms (MR), pp. 328–332.
- HCI-EI-1999-SteffanKB #3d #design #feedback #interactive #multimodal
- Design of Multimodal Feedback Mechanisms for Interactive 3D Object Manipulation (RS, TK, FB), pp. 461–465.
- CIKM-1999-JangKS #documentation #effectiveness
- An Effective Mechanism for Index Update in Structured Documents (HJ, YK, DS), pp. 383–390.
- OSDI-1999-GopalM #file system
- Integrating Content-Based Access Mechanisms with Hierarchical File Systems (BG, UM), pp. 265–278.
- CAV-1999-GlusmanK #equivalence #proving
- Mechanizing Proofs of Computation Equivalence (MG, SK), pp. 354–367.
- ICLP-1999-ZhouSYY #linear
- A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.
- DATE-1998-NeulBLSHW #approach #component #modelling #simulation
- A Modeling Approach to Include Mechanical Microsystem Components into the System Simulation (RN, UB, GL, PS, JH, SW), pp. 510–517.
- DATE-1998-Putzke-RomingRN #flexibility #message passing
- A Flexible Message Passing Mechanism for Objective VHDL (WPR, MR, WN), pp. 242–249.
- ITiCSE-1998-HampelFKM #education #hypermedia
- Hypermedia teaching of mechanics — MechANIma (TH, FF, RKS, WHM), pp. 112–116.
- FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network
- Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.
- STOC-1998-Grover #algorithm #framework #performance #quantum
- A Framework for Fast Quantum Mechanical Algorithms (LKG), pp. 53–62.
- CSCW-1998-NomuraHHG #named #process
- Interlocus: Workspace Configuration Mechanisms for Activity Awareness (TN, KH, TH, SG), pp. 19–28.
- AdaEurope-1998-ArabanS #library #object-oriented
- A Two-Level Matching Mechanism for Object-Oriented Class Libraries (SA, ASMS), pp. 188–200.
- CAiSE-1998-DomgesPS
- A Filter-Mechanism for Method-Driven Trace Capture (RD, KP, KS), pp. 237–250.
- ICPR-1998-QiTD #algorithm #classification #feedback #search-based
- Fingerprint classification system with feedback mechanism based on genetic algorithm (YQ, JT, RD), pp. 163–165.
- ECOOP-1998-CrnogoracRR #concurrent #inheritance #object-oriented #programming
- Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming (LC, ASR, KR), pp. 571–600.
- OOPSLA-1998-McAuliffeCS #clustering #fine-grained #flexibility #named
- Vclusters: A Flexible, Fine-Grained Object Clustering Mechanism (MLM, MJC, MHS), pp. 230–243.
- TOOLS-ASIA-1998-Ersavas98a #communication
- Enhancing Object Communication Mechanisms (TE), pp. 232–244.
- SAC-1998-HuangE #behaviour #scheduling
- Scheduling control mechanisms for managing indeterminate object behavior (EHH, TE), pp. 650–654.
- FSE-1998-StuurmanK #online
- On-Line Change Mechanisms (SS, JvK), pp. 80–86.
- ASPLOS-1998-ChenBDDL #interface #named #network
- UTLB: A Mechanism for Address Translation on Network Interfaces (YC, AB, SND, CD, KL), pp. 193–204.
- ASPLOS-1998-JacobM #memory management
- A Look at Several Memory Management Units, TLB-Refill Mechanisms, and Page Table Organizations (BLJ, TNM), pp. 295–306.
- HPCA-1998-ChongBDKA #communication #latency
- The Sensitivity of Communication Mechanisms to Bandwidth and Latency (FTC, RB, FD, JK, AA), pp. 37–46.
- HPCA-1998-LopezMD #concurrent #detection #distributed #network #performance
- A Very Efficient Distributed Deadlock Detection Mechanism for Wormhole Networks (PL, JMM, JD), pp. 57–66.
- HPCA-1998-SchoinasH #interface #network
- Address Translation Mechanisms In Network Interfaces (IS, MDH), pp. 219–230.
- ICDAR-1997-KitahashiOKB #documentation #information management
- Media Information Processing in Documents -Generation of Manuals of Mechanical Parts Assembling (TK, MO, KK, NB), pp. 792–797.
- ICDAR-1997-WatanabeZ #recognition #string #validation
- Recognition of Character Strings from Color Urban Map Imageson the Basis of Validation Mechanism (TW, RZ), pp. 805–808.
- ITiCSE-1997-Naps97a #interactive #using #visualisation
- Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (panel) (TLN), p. 143.
- ITiCSE-WGR-1997-NapsBJMPPT #interactive #using #visualisation
- Using the WWW as the delivery mechanism for interactive, visualization-based instructional modules (report of the ITiCSE 1997 working group on visualization) (TLN, JB, RJP, MFM, MPM, VKP, JT), pp. 13–26.
- TACAS-1997-Prasetya #algorithm #self
- Mechanically Verified Self-Stabilizing Hierarchical Algorithms (ISWBP), pp. 399–415.
- ICSM-1997-HeSRC #black box #maintenance #testing
- Software Black Box Mechanism: A Pragmatic Method for Software Crash Diagnosis and Usage Maintenance Testing (ZH, GS, MR, IC), pp. 142–149.
- ICFP-1997-HicksMN #garbage collection
- The Measured Cost of Copying Garbage Collection Mechanisms (MWH, JTM, SN), pp. 292–305.
- HCI-CC-1997-HolmL #abstraction #communication #modelling #multi
- Combining Multiple Abstraction Mechanisms in Communication Modeling (PH, JL), pp. 93–96.
- HCI-CC-1997-MamiyaHSK
- A New Way to Overcome the Uneasy Operation of Touch-Sensitive Displays by Incorporating “Click” Mechanism CC Switch (MM, HH, YS, MK), pp. 619–622.
- HCI-SEC-1997-SawaY #architecture #modelling #simulation
- New Modeling/Analyzing Architecture and Simulation Mechanism for Complex Structure (TS, MY), pp. 363–366.
- HCI-SEC-1997-ShimadaYA #network
- A Fundamental Mechanism of Intelligent Sensor-Actuator Networks (SS, YY, YA), pp. 201–204.
- OOPSLA-1997-Hayes #named
- Ephemerons: A New Finalization Mechanism (BH), pp. 176–183.
- TOOLS-ASIA-1997-Li-Thiao-TeKO #design #metric #object-oriented
- Mechanisms for Interpretation of OO Systems Design Metrics (PLTT, JK, JO), pp. 221–231.
- TOOLS-ASIA-1997-PengCC #analysis #morphism #multi #performance #polymorphism
- The Implement Mechanism and Efficiency Analysis of Multiinheritance and Polymorphism (RP, JC, SC), pp. 389–392.
- TOOLS-ASIA-1997-ZaitunMMH #integration #named
- InFac: A Mechanism to Achieve Systems Integration (ABZ, YM, ZRM, BH), pp. 214–220.
- TOOLS-PACIFIC-1997-Borron #inheritance #multi #scalability
- Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects (HJB), pp. 297–324.
- TOOLS-PACIFIC-1997-CasadeiA #implementation
- A Language for Implementing Computational Mechanics Applications (FC, JA), pp. 52–67.
- TOOLS-USA-1997-FrigoNZ #generative #robust
- Mechanical Generation of Robust Class Hierarchies (JF, RN, WZ), p. 282–?.
- PPoPP-1997-LimCCE #communication #performance
- Performance Implications of Communication Mechanisms in All-Software Global Address Space Systems (BHL, CCC, GC, TvE), pp. 230–239.
- PPoPP-1997-RaghavachariR #named #protocol
- Ace: Linguistic Mechanisms for Customizable Protocols (MR, AR), pp. 80–89.
- CAV-1997-Bolignano #encryption #towards #verification
- Towards a Mechanization of Cryptographic Protocal Verification (DB), pp. 131–142.
- ICLP-1997-PontelliG #implementation
- Implementation Mechanisms for Dependent And-Parallelism (EP, GG), pp. 123–137.
- STOC-1996-Grover #algorithm #database #performance #quantum
- A Fast Quantum Mechanical Algorithm for Database Search (LKG), pp. 212–219.
TRI-Ada-1996-RybinS #ada #difference- Ada and ASIS: Justification of Differences in Terminology and Mechanisms (SR, AS), pp. 249–254.
- CAiSE-1996-HoriSO #data transformation #development #distributed #object-oriented
- Shared Data Management Mechanism for Distributed Software Development Based on a Reflective Object-Oriented Model (MH, YS, KO), pp. 362–382.
- ICPR-1996-Matsui #detection #image #multi
- A new mathematical human vision model with an autonomous image observing mechanism and its application to multiple motion detection (TM), pp. 723–727.
- ICPR-1996-TakacsW #detection #using
- Attention and pattern detection using sensory and reactive control mechanisms (BT, HW), pp. 19–23.
- ICPR-1996-TanakaI #algorithm #modelling #principle #statistics
- Statistical-mechanical algorithm in MRF model based on variational principle (KT, MI), pp. 381–388.
- OOPSLA-1996-GilL #abstraction
- Environmental Acquisition — A New Inheritance-Like Abstraction Mechanism (JYG, DHL), pp. 214–231.
- SAC-1996-JunY #automation #database #object-oriented
- A mechanism for automatic object locking in C++-based object-oriented databases (YSJ, SIY), pp. 137–144.
- SAC-1996-KhalilSO #network #protocol #simulation
- A simulation study of the mechanisms to enhance TCP protocol in wide area computer networks (KMK, YSS, MSO), pp. 77–81.
- ICSE-1996-AvrilionisCF #evolution #named #process #reuse
- OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse (DA, PYC, CF), pp. 38–47.
- HPCA-1996-TakahashiTKS #multi #protocol
- A Shared-Bus Control Mechanism and a Cache Coherence Protocol for a High-Performance On-Chip Multiprocessor (MT, HT, EK, SS), pp. 314–322.
- HPDC-1996-OguchiO #case study #distributed #network
- A Study of Caching Proxy Mechanisms Realized on Wide Area Distributed Networks (MO, KO), pp. 443–449.
- HPDC-1996-Vila-SallentS #network
- Supporting HPDC Application over ATM Networks with Cell-Based Transport Mechanisms (JVS, JSP), pp. 595–604.
- CADE-1996-HomeierM #recursion #verification
- Mechanical Verification of Mutually Recursive Procedures (PVH, DFM), pp. 201–215.
- CAV-1996-KapurS #multi #product line #verification
- Mechanically Verifying a Family of Multiplier Circuits (DK, MS), pp. 135–146.
- DAC-1995-SmailagicSAKMS #benchmark #concurrent #design #metric
- Benchmarking An Interdisciplinary Concurrent Design Methodology for Electronic/Mechanical Systems (AS, DPS, DA, CK, TLM, JS), pp. 514–519.
- KBSE-1995-RoscaGWRMF #lifecycle
- Application of a Decision Support Mechanism to the Business Rules Lifecycle (DR, SJG, JCW, HBR, KM, MF), pp. 114–121.
- ICDAR-v1-1995-MarstonK
- Interpretation of 3-view engineering drawings as central quadric surface mechanical parts (REM, MHK), pp. 343–346.
- SIGMOD-1995-BrinDG #detection #documentation
- Copy Detection Mechanisms for Digital Documents (SB, JD, HGM), pp. 398–409.
- SEKE-1995-MaidenSAJJNCS #distributed #requirements
- Computational Mechanisms for Distributed Requirements Engineering (NAMM, AGS, PA, PJ, MJ, HWN, PC, GS), pp. 8–15.
- LOPSTR-1995-Gluck #on the #program transformation
- On the Mechanics of Metasystem Hierarchies in Program Transformation (RG), pp. 234–251.
- PLILP-1995-Hatcliff #correctness #verification
- Mechanically Verifying the Correctness of an Offline Partial Evaluator (JH), pp. 279–298.
- SAC-1995-LeeA #thread
- Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.
- HPCA-1995-FiskeD #concurrent #parallel #scheduling #thread
- Thread Prioritization: A Thread Scheduling Mechanism for Multiple-Context Parallel Processors (SF, WJD), pp. 210–221.
- PPoPP-1995-WallachHJKW #communication #scheduling
- Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.
- ICLP-1995-RamakrishnanRSSW #logic programming #performance #source code
- Efficient Tabling Mechanisms for Logic Programs (IVR, PR, KFS, TS, DSW), pp. 697–711.
- RTA-1995-AnantharamanR #logic programming #source code
- A Rewrite Mechanism for Logic Programs with Negation (SA, GR), pp. 163–178.
SAS-1994-KhoshnevisanA #commutative- Mechanical Elimination of Commutative Redundancy (HK, MA), pp. 449–463.
- CIKM-1994-Jain #transaction
- Group Formation Mechanisms for Transactions in ISIS (NKJ), pp. 203–210.
- TOOLS-EUROPE-1994-Silva #communication
- Interobject Communication Mechanisms (ARFdS), pp. 383–393.
- PLILP-1994-CodognetCLQ #named
- Sleepers: A Versatile High-Level Control Mechanism (CC, PC, VL, MQ), pp. 308–323.
- SAC-1994-KhoshnevisanA #database #parallel
- Mechanical parallelisation of database applications (HK, MA), pp. 436–440.
- CADE-1994-KerberK #logic
- A Mechanization of Strong Kleene Logic for Partial Functions (MK, MK), pp. 371–385.
- CADE-1994-McPheeCG #geometry #proving #theorem #using
- Mechanically Proving Geometry Theorems Using a Combination of Wu’s Method and Collins’ Method (NFM, SCC, XSG), pp. 401–415.
- KBSE-1993-LeeH #design #retrieval #reuse
- An Analogy-Based Retrieval Mechanism for Software Design Reuse (HYL, MTH), p. 22.
- SIGMOD-1993-Velez #composition
- Modularity and Tuning Mechanisms in the O2 System (FV), p. 440.
- HCI-ACS-1993-OBrienFM #automation #monitoring
- The Effect of Automated Intelligent Advisors on Human Decision Making in Monitoring Complex Mechanical Systems (KO, EMF, FM), pp. 185–190.
- CIKM-1993-BhargavaH #database #distributed #performance
- Efficient Availability Mechanisms in Distributed Databases Systems (BKB, AH), pp. 645–654.
- TOOLS-EUROPE-1993-DollimoreX #security
- The Private Access Channel: A Security Mechanism for Shared Distribution Objects (JD, WX), pp. 211–221.
- LOPSTR-1993-BoeckC #logic #prolog
- Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments (PDB, BLC), pp. 229–245.
- SAC-1993-AnconaN #reuse
- Filtering Import: A Basic Mechanism for Reusability (MA, PN), pp. 103–110.
- FSE-1993-BalzerN #process
- Mechanisms for Generic Process Support (RB, KN), pp. 21–32.
- CAV-1993-Wilding
- A Mechanically Verified Application for a Mechanically Verified Environment (MW), pp. 268–279.
- ILPS-1993-Zhou #compilation #on the #parametricity #prolog
- On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
- PEPM-1992-Bsaies #framework #logic programming #program transformation #synthesis
- A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties (KB), pp. 108–115.
- OOPSLA-1992-DucournauHHM #inheritance
- Monotonic Conflict Resolution Mechanisms for Inheritance (RD, MH, MH, MLM), pp. 16–24.
- OOPSLA-1992-Ishikawa #communication
- Communication Mechanism on Autonomous Objects (YI), pp. 303–314.
- TOOLS-EUROPE-1992-FritzsonVHF #algebra #analysis #industrial #modelling #object-oriented
- Industrial Application of OO Mathematical Modeling and Computer Algebra in Mechanical Analysis (PF, LV, JH, DF), pp. 167–181.
- TOOLS-USA-1992-KaraormanB #concurrent #eiffel
- A concurrency Mechanism for Sequential Eiffel (MK, JLB), pp. 63–77.
- PLILP-1992-Ducasse #prolog #query
- A General Trace Query Mechanism Based on Prolog (MD), pp. 400–414.
- CAV-1992-EngbergGL #concurrent #verification
- Mechanical Verification of Concurrent Systems with TLA (UE, PG, LL), pp. 44–55.
- LICS-1992-Nakano #formal method
- A Constructive Formalization of the Catch and Throw Mechanism (HN), pp. 82–89.
- VDME-1991-1-GarlanN #design #formal method
- Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.
- VDME-1991-1-Goldschlag #formal method
- A Mechanical Formalization of Several Fairness Notions (DMG), pp. 125–148.
- VDME-1991-1-SmithK #development #transaction
- The Formal Development of a Secure Transaction Mechanism (PS, RK), pp. 457–476.
- AdaEurope-1991-SouposG #ada #distributed #object-oriented #transaction #using
- Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.
- SIGIR-1991-DanzigANO #distributed #information retrieval #scalability
- Distributed Indexing: A Scalable Mechanism for Distributed Information Retrieval (PBD, JSA, JN, KO), pp. 220–229.
- TOOLS-USA-1991-Steel #distributed #experience #object-oriented #programming
- Distributed Object-Oriented Programming: Mechanism and Experience (DS), pp. 27–36.
- ASPLOS-1991-BenitezD #code generation #streaming
- Code Generation for Streaming: An Access/Execute Mechanism (MEB, JWD), pp. 132–141.
- SOSP-1991-GovindanA #scheduling
- Scheduling and IPC Mechanisms for Continuous Media (RG, DPA), pp. 68–80.
- CAV-1991-BevierS #kernel #proving #specification
- Mechanically Checked Proofs of Kernel Specification (WRB, JFSA), pp. 70–82.
- CAV-1991-Goldschlag #liveness #safety #verification
- Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits (DMG), pp. 354–364.
- CAV-1991-Nesi #higher-order #induction #logic #process #proving #specification
- Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic (MN), pp. 288–298.
ECHT-1990-AfratiK #hypermedia #query- A Hypertext Model Supporting Query Mechanisms (FNA, CDK), pp. 52–66.
- ESOP-1990-SchreyePRB #constraints #implementation #logic programming #prolog
- Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism (DDS, DP, JR, MB), pp. 106–117.
- CADE-1990-AltucherP #category theory #proving
- A Mechanically Assisted Constructive Proof in Category Theory (JAA, PP), pp. 500–513.
- CADE-1990-Pierce #proving #towards
- Toward Mechanical Methods for Streamlining Proofs (WP), pp. 351–365.
- HT-1989-Zellweger #documentation #hypermedia
- Scripted Documents: A Hypermedia Path Mechanism (PZ), pp. 1–14.
- ML-1989-GamsK #empirical #learning
- New Empirical Learning Mechanisms Perform Significantly Better in Real Life Domains (MG, AK), pp. 99–103.
- OOPSLA-1989-ConnorDMB #inheritance #multi
- An Object Addressing Mechanism for Statically Types Languages with Multiple Inheritance (RCHC, AD, RM, ALB), pp. 279–285.
- OOPSLA-1989-Freeman-Benson #constraints #smalltalk
- A Module Mechanism for Constraints in Smalltalk (BNFB), pp. 389–396.
- OOPSLA-1989-MadsenM #object-oriented #programming
- Virtual Classes: A Powerful Mechanism in Object-Oriented Programming (OLM, BMP), pp. 397–406.
- ASPLOS-1989-Gupta #fuzzy
- The Fuzzy Barrier: A Mechanism for High Speed Synchronization of Processors (RG), pp. 54–63.
- SOSP-1989-GrayC #consistency #distributed #fault tolerance #named #performance
- Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency (CGG, DRC), pp. 202–210.
- RTA-1989-DarlingtonG #abstraction #evaluation #functional #programming #set #unification
- Narrowing and Unification in Functional Programming — An Evaluation Mechanism for Absolute Set Abstraction (JD, YG), pp. 92–108.
- DAC-1988-EklundT #database #design
- A Context Mechanism to Control Sharing in a Design Database (DJE, FMT), pp. 344–350.
- PLDI-1988-MillerC #debugging #parallel #performance #source code
- A Mechanism for Efficient Debugging of Parallel Programs (BPM, JDC), pp. 135–144.
- ML-1988-Wu #named #reduction
- Reduction: A Practical Mechanism of Searching for Regularity in Data (YHW), pp. 374–380.
- ECOOP-1988-WegnerZ #incremental #inheritance #what
- Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like (PW, SBZ), pp. 55–77.
- OOPSLA-1988-AksitT #abstraction
- Data Abstraction Mechanisms in SINA/ST (MA, ART), pp. 267–275.
- OOPSLA-1988-Rose #hardware #performance
- Fast Dispatch Mechanisms for Stock Hardware (JRR), pp. 27–35.
- DAC-1987-Brei #metalanguage #named #representation
- Needed: A Meta-Language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms (MLB), p. 565.
- HT-1987-Garg #abstraction #hypermedia
- Abstraction Mechanisms in Hypertext (PKG), pp. 375–395.
- SIGMOD-1987-JagadishAN #case study #recursion #transitive
- A Study of Transitive Closure As a Recursion Mechanism (HVJ, RA, LN), pp. 331–344.
- SOSP-1987-MogulRA #network #performance
- The Packet Filter: An Efficient Mechanism for User-level Network Code (JCM, RFR, MJA), pp. 39–51.
LFP-1986-LemaitreCDDL #combinator #multi #performance #reduction- Mechanisms for Efficient Multiprocessor Combinator Reduction (ML, MC, MHD, GD, BL), pp. 113–121.
- SIGIR-1986-IngwersenW #information retrieval #online
- Improved Subject Access, Browsing and Scanning Mechanisms in Modern Online IR (PI, IW), pp. 68–76.
- SIGIR-1986-Zarri #database #relational #retrieval #scalability
- The Use of Inference Mechanisms to Improve the Retrieval Facilities from Large Relational Databases (GPZ), pp. 221–227.
- POPL-1986-LengauerH #concurrent #network #sorting #theorem
- A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks (CL, CHH), pp. 307–317.
- CADE-1986-CherifaL #implementation #polynomial #term rewriting #termination
- An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations (ABC, PL), pp. 42–51.
- CADE-1986-Huet #proving
- Mechanizing Constructive Proofs (Abstract) (GPH), p. 403.
- LICS-1986-ChouK #geometry #on the #proving #theorem proving
- On Mechanical Theorem Proving in Minkowskian Plane Geometry (SCC, HPK), pp. 187–192.
- DAC-1985-ChangW #assembly #knowledge base
- A knowledge based planning system for mechanical assembly usign robots (KHC, WGW), pp. 330–336.
- DAC-1985-PierroD #analysis #design #integration
- Mechanical design/analysis integration on Apollo workstations (JAP, GFD), pp. 96–101.
- PODS-1985-KentGC #evaluation
- An Experimental Evaluation of Crash Recovery Mechanisms (JK, HGM, JC), pp. 113–122.
- SIGMOD-1985-Robinson #hardware #performance
- A Fast General-Purpose Hardware Synchronisation Mechanism (JTR), pp. 122–130.
- VLDB-1985-SatohTNO #database #optimisation #query #relational
- Local and Global Query Optimization Mechanisms for Relational Databases (KS, MT, FN, KO), pp. 405–417.
- SLP-1985-CoxP85 #deduction #logic programming
- Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.
- DAC-1984-Scott #design #named #process #tutorial
- Tutorial — mechanical workstation software computer aided engineering in the mechanical design process (JS), p. 605.
- PODS-1984-FordC #algorithm #concurrent
- Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms (RF, JC), pp. 51–60.
- PODS-1984-YokotaKKMSM #algebra #generative #query #relational
- An Enhanced Inference Mechanism for Generating Relational Algebra Queries (HY, SK, TK, NM, SS, KM), pp. 229–238.
- VLDB-1984-KimLMP #database #design #transaction
- A Transaction Mechanism for Engineering Design Databases (WK, RAL, DM, WP), pp. 355–362.
- VLDB-1984-Masunaga #database #relational
- A Relational Database View Update Translation Mechanism (YM), pp. 309–320.
- SIGIR-1984-CroftT #adaptation #documentation #retrieval
- The Use of Adaptive Mechanisms for Selection of Search Strategies in Document Retrieval Systems (WBC, RT), pp. 95–110.
- POPL-1984-Ossher #graph #named
- Grids: A New Program Structuring Mechanism Based on Layered Graphs (HO), pp. 11–22.
- POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.
- CADE-1984-Mulmuley #proving #recursion
- The Mechanization of Existence Proofs of Recursive Predicates (KM), pp. 460–475.
- VLDB-1983-AlbanoCOO #composition #concept #modelling
- A Modularization Mechanism for Conceptual Modeling (AA, MC, MEO, RO), pp. 232–240.
- SIGIR-1983-BrooksB #analysis #design #information retrieval #interactive #using
- Using Discourse Analysis for The Design of Information Retrieval Interaction Mechanisms (HMB, NJB), pp. 31–47.
- POPL-1983-KristensenMMN #abstraction #programming language
- Abstraction Mechanisms in the BETA Programming Language (BBK, OLM, BMP, KN), pp. 285–298.
- POPL-1983-Strom #security
- Mechanisms for Compile-Time Enforcement of Security (RES), pp. 276–284.
- SOSP-1983-MuellerMP #transaction
- A Nested Transaction Mechanism for LOCUS (ETM, JDM, GJP), pp. 71–89.
- SOSP-1983-PowellP #communication #named #reliability
- PUBLISHING: A Reliable Broadcast Communication Mechanism (MLP, DLP), pp. 100–109.
- DAC-1982-GingerichCCL #hybrid
- A hybrid CAD/CAM system for mechanical applications (JZG, MPC, EJC, PKL), pp. 643–649.
- VLDB-1982-SaccoS #database #relational #set #using
- A Mechanism for Managing the Buffer Pool in a Relational Database System Using the Hot Set Model (GMS, MS), pp. 257–262.
- ASPLOS-1982-Jones #design
- Systematic Protection Mechanism Design (DWJ), pp. 77–80.
- CADE-1982-LuskMO82a #architecture #logic
- Logic Machine Architecture: Inference Mechanisms (ELL, WM, RAO), pp. 85–108.
- CADE-1982-ShostakSM #logic #named #specification #verification
- STP: A Mechanized Logic for Specification and Verification (RES, RLS, PMMS), pp. 32–49.
- DAC-1981-Curl #automation #design
- Mechanical design automation in IBM Poughkeepsie (GWCJ), pp. 166–170.
- DAC-1981-DewhirstH #analysis #design #modelling
- Application of volumetric modeling to mechanical design and analysis (DLD, RCH), pp. 171–178.
- SIGMOD-1981-Lin #concurrent #database #distributed #evaluation #performance
- Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System (WTKL), pp. 84–92.
- VLDB-1981-Adiba #distributed
- Derived Relations: A Unified Mechanism for Views, Snapshots, and Distributed Data (MEA), pp. 293–305.
- DAC-1980-Miller #analysis #automation #design
- Inter-active graphic methods for automating mechanical engineering design and analyses (JMM), pp. 114–128.
- LISP-1980-SteeleS #lazy evaluation
- The Dream of Lifetime: A Lazy Variable Extent Mechanism (GLSJ, GJS), pp. 163–172.
- CADE-1980-Plaisted #abstraction #proving #theorem proving
- Abstraction Mappings in Mechanical Theorem Proving (DAP), pp. 264–280.
- VLDB-1979-Arditi
- An Optimized Backout Mechanism for Sequential Updates (JA), pp. 147–154.
- POPL-1979-Critcher #functional #parametricity #power of
- The Functional Power of Parameter Passage Mechanisms (AC), pp. 158–168.
- ICSE-1979-Cristian #composition
- A Recovery Mechanism for Modular Software (FC), pp. 42–51.
- ICSE-1979-MartyV
- Hierarchical Coroutines: A Mechanism for Improved Program Structure (RM, LV), pp. 274–285.
- SOSP-1979-Bloom
- Evaluating Synchronization Mechanisms (TB), pp. 24–32.
- SOSP-1979-Reitman #parallel
- A Mechanism for Information Control in Parallel Systems (RPR), pp. 55–63.
- SIGMOD-1978-Cook #database
- A Dynamic Address Computation Mechanism for Use in Database Management (TJC), pp. 78–87.
- SIGMOD-1978-HammerM #database #modelling #semantics
- The Semantic Data Model: A Modelling Mechanism for Data Base Applications (MH, DM), pp. 26–36.
- STOC-1978-CaseS #induction
- Anomaly Hierarchies of Mechanized Inductive Inference (JC, CS), pp. 314–319.
GG-1978-Sowa #concept #graph- Definitional Mechanisms for Conceptual Graphs (JFS), pp. 426–439.
- STOC-1977-HennessyA #nondeterminism
- Parameter-Passing Mechanisms and Nondeterminism (MH, EAA), pp. 306–311.
- DAC-1976-Case #analysis #fault #logic
- Analysis of actual fault mechanisms in CMOS logic gates (GRC), pp. 265–270.
- DAC-1976-RubelK #design #interactive #named
- KINSYN: A minicomputer-based interactive mechanism design system (AJR, REK), pp. 7–16.
- SIGMOD-1976-GriffithsW #database #relational
- An Authorization Mechanism for a Relational Data Base System (Abstract) (PPG, BWW), p. 51.
- ICSE-1976-BillawalaST #data type #multi #simulation
- A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems (NB, SAS, EWT), pp. 151–157.
- DAC-1975-Quinn #physics #problem
- The placement problem as viewed from the physics of classical mechanics (NRQJ), pp. 173–178.
- SOSP-1975-LevinCCPW #policy
- Policy/Mechanism Separation in HYDRA (RL, ESC, WMC, FJP, WAW), pp. 132–140.
- ICALP-1974-Roever #approach #axiom #parametricity #recursion
- Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.
- STOC-1973-Miller #fault #towards #verification
- Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.
- DAC-1970-Chace #dynamic analysis #named #network #prototype
- DAMN — a prototype program for the Dynamic Analysis of Mechanical Networks (MAC), pp. 158–172.
- DAC-1969-Chace #multi #representation
- A network-variational basis for generalized computer representation of multifreedom, constrained, mechanical systems (MAC), pp. 169–178.
- SHARE-1965-Knappe #design
- A Computer Oriented Mechanical Design System (LFK).
