BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (57)
system (57)
design (52)
model (44)
use (34)

Stem mechan$ (all stems)

568 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.