BibSLEIGH — lightweight tag

lightweight

lightweight

Tag #lightweight

325 papers:

POPL-2020-SongCKKKH #composition #named #verification: CompCertM: CompCert with C-assembly linking and lightweight modular verification (YS, MC, DK, YK, JK, CKH), p. 31.
ICPC-2019-FucciGNQL #comprehension #replication #using: A replication study on code comprehension and expertise using lightweight biometric sensors (DF, DG, NN, LQ, FL), pp. 311–322.
SANER-2019-MuscedereHAADG #analysis #detection #using: Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis (BJM, RH, DA, JMA, IJD, MWG), pp. 175–185.
CIKM-2019-Pasca #approximate #detection #wiki: Approximate Definitional Constructs as Lightweight Evidence for Detecting Classes Among Wikipedia Articles (MP), pp. 2373–2376.
PLDI-2019-TonderG #combinator #multi #parsing #syntax: Lightweight multi-language syntax transformation with parser parser combinators (RvT, CLG), pp. 363–378.
CGO-2019-KruppeOS0 #using: Extending LLVM for Lightweight SPMD Vectorization: Using SIMD and Vector Instructions Easily from Any Language (RK, JO, LS, AK0), pp. 278–279.
ECSA-2018-BarbosaGMRM #distributed #framework #named #platform: Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration (DMB, RG, PHMM, LSR, NCM), pp. 191–199.
FM-2018-Laneve #analysis #concurrent #source code #thread: A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks (CL), pp. 608–624.
ICML-2018-0004K #finite #infinity #optimisation #probability: Lightweight Stochastic Optimization for Minimizing Finite Sums with Infinite Data (SZ0, JTYK), pp. 5927–5935.
ICPR-2018-HuangWDSL #image #learning: Lightweight Deep Residue Learning for Joint Color Image Demosaicking and Denoising (TH, FW, WD, GS, XL0), pp. 127–132.
ICPR-2018-ZhangZW #classification #named #network: LD-CNN: A Lightweight Dilated Convolutional Neural Network for Environmental Sound Classification (XZ, YZ, WW), pp. 373–378.
KDD-2018-BachemL0 #clustering #scalability: Scalable k -Means Clustering via Lightweight Coresets (OB, ML, AK0), pp. 1119–1127.
ECOOP-2018-BellP #named #traversal: CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs (JB0, LP), p. 31.
ASE-2018-OzdemirTEA #monitoring #source code: Lightweight source code monitoring with Triggr (AO, AT, HE, RA), pp. 864–867.
ICSE-2018-GarciaHM #android #detection #identification #obfuscation #product line: Lightweight, obfuscation-resilient detection and family identification of Android malware (JG, MH, SM), p. 497.
ICSE-2018-HempelLLC #editing #named #user interface: Deuce: a lightweight user interface for structured editing (BH, JL, GL, RC), pp. 654–664.
ASPLOS-2018-0004MTC #named: Minnow: Lightweight Offload Engines for Worklist Management and Worklist-Directed Prefetching (DZ0, XM, MT, DC), pp. 593–607.
CASE-2018-ZhaoCCPLG #first-order #named: FLUIDS: A First-Order Lightweight Urban Intersection Driving Simulator (HZ, AC, SAC, BP, ML, KG), pp. 697–704.
CGO-2018-RoySKL #detection: Lightweight detection of cache conflicts (PR, SLS, SK, XL0), pp. 200–213.
ICPC-2017-MilojkovicGN #type inference: Exploiting type hints in method argument names to improve lightweight type inference (NM, MG, ON), pp. 77–87.
SANER-2017-PalombaNPZL #detection #smell: Lightweight detection of Android-specific code smells: The aDoctor project (FP, DDN, AP, AZ, ADL), pp. 487–491.
Haskell-2017-AlgehedCJS #named: QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) (MA, KC, MJ, NS), pp. 38–39.
PEPM-2017-SerranoH: Lightweight soundness for towers of language extensions (AS0, JH), pp. 23–34.
PLDI-2017-ChamithSDN: Instruction punning: lightweight instrumentation for x86-64 (BC, BJS, LD, RRN), pp. 320–332.
ICSE-2017-BusariL #analysis #architecture #named #requirements: RADAR: a lightweight tool for requirements and architecture decision analysis (SAB, EL), pp. 552–562.
ASPLOS-2017-KimKKKKNOCL #architecture: Typed Architectures: Architectural Support for Lightweight Scripting (CK, JK, SK, DYK, NK, GN, YHO, HGC, JWL), pp. 77–90.
ASPLOS-2017-MisraCGL #precise #transaction: Enabling Lightweight Transactions with Precision Time (PAM, JSC, JG, ARL), pp. 779–794.
CASE-2017-KooFGPRB #configuration management: Robolink feeder: Reconfigurable bin-picking and feeding with a lightweight cable-driven manipulator (SK, GF, GMG, DP, MR, SB), pp. 41–48.
CC-2017-BiswasCZBW #concurrent #detection: Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.
CAV-2017-WindsorDSP #concurrent #named #verification: Starling: Lightweight Concurrency Verification with Views (MW, MD, BS, MJP), pp. 544–569.
DiGRA-FDG-2016-RyanMW #game studies: A Lightweight Videogame Dialogue Manager (JOR, MM, NWF).
ICPR-2016-ZhuWLZ #gender #learning #network #recognition: Learning a lightweight deep convolutional network for joint age and gender recognition (LZ, KW, LL, LZ0), pp. 3282–3287.
KDD-2016-LazersonKS #distributed #monitoring: Lightweight Monitoring of Distributed Streams (AL, DK, AS), pp. 1685–1694.
ECOOP-2016-ScalasY #programming #scala: Lightweight Session Programming in Scala (AS, NY), p. 28.
Onward-2016-MarterBLH #identifier #programming #readability #similarity #source code #using: Lightweight programming experiments without programmers and programs: an example study on the effect of similarity and number of object identifiers on the readability of source code using natural texts (TM, PB, PL, SH), pp. 1–14.
OOPSLA-2016-HallerL #named #scala: LaCasa: lightweight affinity and object capabilities in Scala (PH, AL), pp. 272–291.
PLDI-2016-FaddegonC #functional #lazy evaluation: Lightweight computation tree tracing for lazy functional languages (MF, OC), pp. 114–128.
POPL-2016-KangKHDV #compilation #verification: Lightweight verification of separate compilation (JK, YK, CKH, DD, VV), pp. 178–190.
ASE-2016-KowarkMUP #repository: Lightweight collection and storage of software repository data with DataRover (TK, CM, MU, HP), pp. 810–815.
FSE-2016-HaoK0J #design #effectiveness #formal method: Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
FSE-2016-MacedoBCCK #analysis #specification: Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.
GPCE-2016-Rompf #composition #exclamation #staging: Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
SLE-2016-Findler #named #semantics: Redex: a language for lightweight semantics engineering (RBF), p. 1.
ASPLOS-2016-ChangKH #kernel #named #programming: DySel: Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model (LWC, HSK, WmWH), pp. 667–680.
ASPLOS-2016-KwonKSKSZX #execution #named: LDX: Causality Inference by Lightweight Dual Execution (YK, DK, WNS, KK, BS, XZ0, DX), pp. 503–515.
CGO-2016-HawkinsDT #monitoring #named #off the shelf #security: BlackBox: lightweight security monitoring for COTS binaries (BH, BD, MBT), pp. 261–272.
CGO-2016-RoyL #named #profiling: StructSlim: a lightweight profiler to guide structure splitting (PR, XL0), pp. 36–46.
TAP-2016-GabmeyerS #graph transformation #hardware #model checking #off the shelf #verification: Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers (SG, MS), pp. 94–111.
ICPC-2015-PavlovicRRR #named: Limpio: LIghtweight MPI instrumentatiOn (MP, MR, AR, PR), pp. 303–306.
AIIDE-2015-ManavalanBS #algorithm #behaviour #generative: A Lightweight Algorithm for Procedural Generation of Emotionally Affected Behavior and Appearance (YBM, VB, MS), pp. 142–148.
CHI-2015-CordeiroBCF #mobile: Rethinking the Mobile Food Journal: Exploring Opportunities for Lightweight Photo-Based Capture (FC, EB, EC, JF), pp. 3207–3216.
CHI-2015-WillettJID #interactive: Lightweight Relief Shearing for Enhanced Terrain Perception on Interactive Maps (WW, BJ, TI, PD), pp. 3563–3572.
CSCW-2015-CiampagliaT #named #wiki: MoodBar: Increasing New User Retention in Wikipedia through Lightweight Socialization (GLC, DT), pp. 734–742.
CSCW-2015-GallacherOBRCHM #interactive: Mood Squeezer: Lightening up the Workplace through Playful and Lightweight Interactions (SG, JO, JB, YR, LC, DH, PM), pp. 891–902.
CSCW-2015-JohnsonGM #artificial reality #collaboration: Handheld or Handsfree?: Remote Collaboration via Lightweight Head-Mounted Displays and Handheld Devices (SJ, MG, BM), pp. 1825–1836.
CIKM-2015-LuCN #bias #named #social #social media #topic: BiasWatch: A Lightweight System for Discovering and Tracking Topic-Sensitive Opinion Bias in Social Media (HL, JC, WN), pp. 213–222.
ECMFA-J-2012-ButtnerC15 #reasoning #string: Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
ECMFA-2015-BruneliereGDKHB #metamodelling #modelling #on the #tool support: On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
ECOOP-2015-SchwerhoffS #automation #verification: Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
OOPSLA-2015-HuAN #android: Versatile yet lightweight record-and-replay for Android (YH, TA, IN), pp. 349–366.
PLATEAU-2015-KristenssonL #using #visualisation: Aiding programmers using lightweight integrated code visualization (POK, CLL), pp. 17–24.
PLDI-2015-ZhangLSLM #flexibility #object-oriented: Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.
ICSE-v1-2015-FilieriGL #adaptation #learning #modelling #performance #probability: Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSE-v2-2015-GligoricEM #named #testing: Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
GPCE-2015-SelgradLKSL #generative: Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
ASPLOS-2015-HicksSKS #debugging #named #runtime #specification: SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
DAC-2015-BeaulieuSSTWW: The SIMON and SPECK lightweight block ciphers (RB, DS, JS, STC, BW, LW), p. 6.
DATE-2015-MundhenkSLFC #authentication #network: Lightweight authentication for secure automotive networks (PM, SS, ML, SAF, SC), pp. 285–288.
HPDC-2015-BerrocalBDLC #data analysis #detection #runtime: Lightweight Silent Data Corruption Detection Based on Runtime Data Analysis for HPC Applications (EB, LABG, SD, ZL, FC), pp. 275–278.
HPDC-2015-OuyangKLP #kernel #performance: Achieving Performance Isolation with Lightweight Co-Kernels (JO, BK, JRL, KTP), pp. 149–160.
LCTES-2015-LiuJLT #compilation #fault #named: Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
PDP-2015-QuaratiCPPB: Lightweight ICT Approaches to Hydro-Meteorological Data Issues (AQ, AC, GP, AP, TB), pp. 759–763.
SOSP-2015-MatveevSFM #concurrent #named #programming: Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.
ICST-2015-XuLCK #approach #bound #detection #thread: A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
QoSA-2014-RaatikainenSM #approach #architecture #case study #evaluation #experience #maturity: Architecture management and evaluation in mature products: experiences from a lightweight approach (MR, JS, TM), pp. 73–82.
JCDL-2014-CastroSR #data transformation #dataset #ontology #research #workflow: Creating lightweight ontologies for dataset description practical applications in a cross-domain research data management workflow (JAC, JRdS, CR), pp. 313–316.
VLDB-2014-WangMO: Lightweight Indexing of Observational Data in Log-Structured Storage (SW, DM, BCO), pp. 529–540.
CSMR-WCRE-2014-Bos #reverse engineering #runtime: Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.
SEFM-2014-ArmstrongGS #higher-order #tool support #verification: Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
FLOPS-2014-YallopW #morphism #polymorphism: Lightweight Higher-Kinded Polymorphism (JY, LW), pp. 119–135.
CHI-2014-Al-AkkadRBRZ #ad hoc #design #evaluation #smarttech: Help beacons: design and evaluation of an ad-hoc lightweight s.o.s. system for smartphones (AAA, LR, AB, DWR, AZ), pp. 1485–1494.
VISSOFT-2014-ToprakWS #assembly #control flow #regular expression #visualisation: Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
KR-2014-Gutierrez-BasultoJ0 #branch #logic: Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).
KR-2014-KonevLOW #learning #logic #ontology: Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).
SEKE-2014-GayedLB #case study #forensics #ontology #process #using: Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process (TFG, HL, MB), pp. 76–81.
SEKE-2014-OdzalyGS #agile #risk management: Lightweight Risk Management in Agile Projects (EEO, DG, DS), pp. 576–581.
PLDI-2014-TorlakB #virtual machine: A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
RE-2014-DanielrappANPEM #requirements: Lightweight requirements engineering assessments in software projects (DD, AA, NN, PP, EE, MM), pp. 354–363.
ASE-2014-HillsKV #php: Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
ASE-2014-HollingPG #generative #named #testing: 8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
FSE-2014-Cleland-HuangRM #traceability: Achieving lightweight trustworthy traceability (JCH, MR, PM), pp. 849–852.
FSE-2014-ZhangWLQRZ #concurrent #debugging #named: AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.
SAC-2014-BarbosaBAC #privacy: Lightweight privacy for smart metering data by adding noise (PB, AB, HA, SC), pp. 531–538.
CASE-2014-HsiehL: A lightweight gravity-balanced exoskeleton for home rehabilitation of upper limbs (HCH, CCL), pp. 972–977.
DATE-2014-MaurichG #configuration management #encryption: Lightweight code-based cryptography: QC-MDPC McEliece encryption on reconfigurable devices (IvM, TG), pp. 1–6.
LCTES-2014-KimBL #concurrent #garbage collection #javascript: Lightweight and block-level concurrent sweeping for javascript garbage collection (HK, SB, JL), pp. 155–164.
PPoPP-2014-DieguesR #memory management #named #transaction: Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.
ISSTA-2014-ZhangC #automation #detection #exception #information management: Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.
TAP-2014-KahkonenH #automation #parallel #source code #testing #thread: Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
ECSA-2013-SilvaMCB #architecture #product line: A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
SIGMOD-2013-PapadopoulosCDG #algebra #authentication #data type #linear #query: Lightweight authentication of linear algebraic queries on data streams (SP, GC, AD, MNG), pp. 881–892.
VLDB-2013-ZhangWYMC #integration #peer-to-peer #privacy: Lightweight Privacy-Preserving Peer-to-Peer Data Integration (YZ, WKW, SMY, NM, DWC), pp. 157–168.
ICPC-2013-MurakamiHHIK #analysis #clone detection #detection #source code: Gapped code clone detection with lightweight source code analysis (HM, KH, YH, HI, SK), pp. 93–102.
VISSOFT-2013-Wehrwein #matrix #reverse engineering #using #visualisation: Lightweight software reverse engineering using augmented matrix visualizations (BW), pp. 1–4.
KEOD-2013-LinnenbergMCSF #automation #energy #evaluation #named #ontology #performance: OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.
KEOD-2013-WaldsteinWH #ontology #parametricity: Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.
MLDM-2013-HuangC #image #segmentation #web: Applying a Lightweight Iterative Merging Chinese Segmentation in Web Image Annotation (CMH, YJC), pp. 183–194.
MLDM-2013-LiuLM #approach #combinator #multi: A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.
ASE-2013-AroraZRYJ #named: iProbe: A lightweight user-level dynamic instrumentation tool (NA, HZ, JR, KY, GJ), pp. 742–745.
ASE-2013-OhmannL #analysis #control flow #debugging: Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.
ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #named #testing: SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ICSE-2013-BellSK #named: Chronicler: lightweight recording to reproduce field failures (JB, NS, GEK), pp. 362–371.
SAC-2013-RieckerBH #detection #energy #network: Lightweight energy consumption based intrusion detection system for wireless sensor networks (MR, SB, MH), pp. 1784–1791.
CGO-2013-TanFG #detection #fault #source code: Lightweight fault detection in parallelized programs (LT, MF, RG), p. 11.
DATE-2013-OjailDLG #embedded #framework #manycore #named: ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
HPCA-2013-AnsariFGTM #named: Illusionist: Transforming lightweight cores into aggressive cores on demand (AA, SF, SG, JT, SAM), pp. 436–447.
HPCA-2013-SudanBLXMLB #architecture #novel #using #web: A novel system architecture for web scale applications using lightweight CPUs and virtualized I/O (KS, SB, SL, MX, DM, GL, RB), pp. 167–178.
PPoPP-2013-ShunB #framework #graph #memory management #named: Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.
SOSP-2013-NguyenLP #framework #graph: A lightweight infrastructure for graph analytics (DN, AL, KP), pp. 456–471.
VMCAI-2013-ZhuJ #composition #dependent type #ml #type inference: Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.
WICSA-ECSA-2012-KoziolekDGVW #architecture #named: MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures (HK, DD, TG, PV, RJW), pp. 253–257.
VLDB-2013-RenTA12 #database #in memory #memory management: Lightweight Locking for Main Memory Database Systems (KR, AT, DJA), pp. 145–156.
ICPC-2012-IshioEI #data flow #interprocedural #source code #visualisation: A lightweight visualization of interprocedural data-flow paths for source code reading (TI, SE, KI), pp. 37–46.
FM-2012-YangKK #formal method #using: Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
CHI-2012-TangMHRIZC #interactive #using #video: Time travel proxy: using lightweight video recordings to create asynchronous, interactive meetings (JCT, JM, AH, AR, KI, CZ, XC), pp. 3111–3120.
CHI-2012-ZhangYELBI: See me, see you: a lightweight method for discriminating user touches on tabletop displays (HZ, XDY, BE, HNL, PB, PI), pp. 2327–2336.
ICEIS-v2-2012-KitanoST #community #framework #web: Lightweight Web Application Framework and Its Application — Helping Improve Community Bus Timetables after Japan Earthquake (YK, HS, AT), pp. 252–257.
ICPR-2012-LeeLCY #random #representation #using: Lightweight Random Ferns using binary representation (SL, SWL, YNC, HSY), pp. 1342–1345.
SIGIR-2012-RaveendranC #mining #summary: Lightweight contrastive summarization for news comment mining (GR, CLAC), pp. 1103–1104.
ECMFA-2012-ButtnerC #ocl #reasoning #string: Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
ECMFA-2012-KolovosRWMP #approach #documentation #xml: A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
TOOLS-EUROPE-J-2011-LangerWWC12 #approach #emf #modelling: EMF Profiles: A Lightweight Extension Approach for EMF Models (PL, KW, MW, JC), pp. 1–29.
ECOOP-2012-RytzOH #polymorphism: Lightweight Polymorphic Effects (LR, MO, PH), pp. 258–282.
POPL-2012-KleinCDEFFMRTF #effectiveness #research: Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
RE-2012-WuestSG #flexibility #modelling #requirements #sketching: Flexible, lightweight requirements modeling with Flexisketch (DW, NS, MG), pp. 323–324.
ICSE-2012-Stolee #semantics #source code #specification: Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.
SAC-2012-HuaS #kernel #memory management #named: Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation (JH, KS), pp. 1470–1477.
DATE-2012-MarongiuBB #clustering #embedded #parallel #performance: Fast and lightweight support for nested parallelism on cluster-based embedded many-cores (AM, PB, LB), pp. 105–110.
LCTES-2012-SallenaveD #embedded #static analysis: Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
PDP-2012-PellegriniPF #c++ #interface: A Lightweight C++ Interface to MPI (SP, RP, TF), pp. 3–10.
ICLP-J-2012-MoralesHCH #compilation #javascript: Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
ICST-2012-SiddiquiMK #analysis #constraints #data flow #theorem proving: Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ICTSS-2012-SantosA #automation #detection #fault #monitoring: Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
WICSA-2011-GhezziG #analysis #architecture #as a service #named: SOFAS: A Lightweight Architecture for Software Analysis as a Service (GG, HCG), pp. 93–102.
SIGMOD-2011-SenellartS #approximate #named #probability #query: ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.
TPDL-2011-PearsonBT #documentation: The Reading Desk: Supporting Lightweight Note-Taking in Digital Documents (JSP, GB, HWT), pp. 438–441.
VLDB-2011-DasNAA #database #migration #named #using: Albatross: Lightweight Elasticity in Shared Storage Databases for the Cloud using Live Data Migration (SD, SN, DA, AEA), pp. 494–505.
VLDB-2011-TzoumasDJ #estimation #independence #modelling #visual notation: Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions (KT, AD, CSJ), pp. 852–863.
ICPC-2011-BettenburgAHS #approach #semistructured data: A Lightweight Approach to Uncover Technical Artifacts in Unstructured Data (NB, BA, AEH, MS), pp. 185–188.
SCAM-2011-CollardDM #fact extraction #semiparsing #tool support: Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.
ICFP-2011-SwamyGLH #ml #monad #programming: Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.
CIG-2011-PenaOPS #game studies #video: EEP - A lightweight emotional model: Application to RPG video game characters (LP, SO, JMPS, JÁS), pp. 142–149.
KEOD-2011-AarnioSK #industrial #semantics: A Lightweight Element Matching Method for Industrial Terminology Harmonization — Exploiting Minimal Semantics based on Naming Conventions (PA, SS, KK), pp. 390–395.
SEKE-2011-ParkK #approach #automation #formal method: Applying Lightweight Formal Approach to Automatic Configuration Inspection (SP, GK), pp. 107–110.
Onward-2011-Bierhoff #automation #reasoning #verification: Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
OOPSLA-2011-SummersM #type system: Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
OOPSLA-2011-VerwaestBLN #flexibility: Flexible object layouts: enabling lightweight language extensions by intercepting slot access (TV, CB, ML, ON), pp. 959–972.
ASE-2011-OverbeyJ #analysis #difference #refactoring #reuse #tool support: Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ICSE-2011-NearMKJ #analysis #dependence #evaluation: A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
ICSE-2011-ShengVEHCZ #concurrent #detection #named: RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
ASPLOS-2011-VolosTS #memory management #named #persistent: Mnemosyne: lightweight persistent memory (HV, AJT, MMS), pp. 91–104.
TAP-2011-TroyaBLV #communication #network #testing: Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.
VMCAI-2011-DonaldsonHK #static analysis: Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.
ECSA-2010-ChristensenHL #architecture #assurance #quality #using: Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.
ECDL-2010-AutayeuGA #classification #ontology #parsing: Lightweight Parsing of Classifications into Lightweight Ontologies (AA, FG, PA), pp. 327–339.
VLDB-2010-AbdessalemCD #named #query #web: ObjectRunner: Lightweight, Targeted Extraction and Querying of Structured Web Data (TA, BC, ND), pp. 1585–1588.
ICSM-2010-CollardMR #adaptation #approach #scalability: A lightweight transformational approach to support large scale adaptive changes (MLC, JIM, BPR), pp. 1–10.
GT-VMT-2010-HassanMS #automaton #interactive: A lightweight abstract machine for interaction nets (AH, IM, SS).
ICEIS-J-2010-ClariziaGN10a #adaptation #automation #ontology #optimisation: An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction (FC, LG, PN), pp. 357–371.
KDIR-2010-Studer #modelling #process #semantics #using #web: Process-oriented Semantic Web Search — Using Lightweight Semantic Models for Supporting the Search Process (RS), p. 7.
RecSys-2010-BaglioniBBCFVP #mobile #privacy #recommendation: A lightweight privacy preserving SMS-based recommendation system for mobile users (EB, LB, LB, UMC, LF, AV, GP), pp. 191–198.
RE-2010-Glinz #modelling #requirements: Very Lightweight Requirements Modeling (MG), pp. 385–386.
FSE-2010-CossetteW #adaptation #analysis #dependence #named #sketching: DSketch: lightweight, adaptable dependency analysis (BC, RJW), pp. 297–306.
FSE-2010-HuangLZ #concurrent #java #multi #named #source code: LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 207–216.
FSE-2010-HuangLZ10a #concurrent #java #multi #named #source code: LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 385–386.
ICSE-2010-TreudeS10a #category theory: Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories (CT, MADS), pp. 231–234.
SAC-2010-SatzgerBKU #network #self #towards: Towards lightweight self-configuration in wireless sensor networks (BS, FB, FK, TU), pp. 791–792.
SAC-2010-TangL #database #framework #testing: A lightweight framework for testing database applications (JT, EL), pp. 1632–1637.
GPCE-2010-RompfO #approach #code generation #composition #domain-specific language #runtime #staging: Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
CGO-2010-LiAH #optimisation: Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.
FASE-2010-LuoZZH #approach #concurrent: A Lightweight and Portable Approach to Making Concurrent Failures Reproducible (QL, SZ, JZ, MH), pp. 323–337.
ISSTA-2010-GruskaWZ #detection #learning: Learning from 6, 000 projects: lightweight cross-project anomaly detection (NG, AW, AZ), pp. 119–130.
SIGMOD-2009-KumarPCMS #health #mobile #named: ELMR: lightweight mobile health records (AK, AP, JC, AM, LS), pp. 1035–1038.
SCAM-2009-SpaccoW: Lightweight Techniques for Tracking Unique Program Statements (JS, CCW), pp. 99–108.
WCRE-1999-BacchelliDLR99a #benchmark #metric #source code: Benchmarking Lightweight Techniques to Link E-Mails and Source Code (AB, MD, ML, RR), pp. 205–214.
FM-2009-ShaoKP #approach #bound #formal method #incremental #using: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
CHI-2009-KleekBPVKS: Note to self: examining personal information keeping in a lightweight note-taking tool (MVK, MSB, KP, GGV, DRK, MMCS), pp. 1477–1480.
CHI-2009-OleksikWTRKSMJ #process: Lightweight tagging expands information and activity management practices (GO, MLW, CST, EMR, GK, GS, NMF, RJ), pp. 279–288.
SEKE-2009-AlvesPCL #approach #development #lifecycle #outsourcing: From Strategy to Solution: A Lightweight Semi-prescriptive Approach for Software Development Lifecycle with Outsourcing Support (NA, SP, AC, ELJ), pp. 672–675.
MoDELS-2009-ThumSS #collaboration #modelling #named: SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
MoDELS-2009-ThumSS #collaboration #modelling #named: SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
PLDI-2009-AndersonGN #concurrent #data type: Lightweight annotations for controlling sharing in concurrent data structures (ZRA, DG, MN), pp. 98–109.
PLDI-2009-MarinoMN #concurrent #detection #effectiveness #named: LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.
ASE-2009-BurnimJSS #detection #infinity #named #runtime: Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
ESEC-FSE-2009-BeltRD #analysis #optimisation #symbolic computation: Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
GTTSE-2009-Sloane #kiama: Lightweight Language Processing in Kiama (AMS), pp. 408–425.
ICSE-2009-SantelicesJYH #multi #using: Lightweight fault-localization using multiple coverage types (RAS, JAJ, YY, MJH), pp. 56–66.
SAC-2009-HammadC #monitoring: Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.
SAC-2009-SilvaR #3d #navigation #visualisation: A lightweight 3D visualization and navigation system on handheld devices (WBS, MAFR), pp. 162–166.
HPCA-2009-StephensonZR #order: Lightweight predication support for out of order processors (MS, LZ, RR), pp. 201–212.
CADE-2009-SebastianiV #analysis #axiom #encoding #logic: Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
WICSA-2008-DagtasNWH #architecture #mobile: An Integrated Lightweight Software Architecture for Mobile Business Applications (SD, YN, HW, LH), pp. 41–50.
HT-2008-HansenG #framework #social #web: Social web applications in the city: a lightweight infrastructure for urban computing (FAH, KG), pp. 175–180.
JCDL-2008-NicholsCBMT #metadata #quality: A lightweight metadata quality tool (DMN, CHC, DB, DM, MBT), pp. 385–388.
ITiCSE-2008-TonderNC #development #named #programming: Jenuity: a lightweight development environment for intermediate level programming courses (MvT, KN, CC), pp. 58–62.
ICSM-2008-ZouL #design #development #evolution: Lightweight support for the evolution of software design and development artifacts (LZ, YL), pp. 474–475.
Haskell-2008-KiselyovS #monad: Lightweight monadic regions (OK, CcS), pp. 1–12.
IFL-2008-TellerSV #fault #ml #performance #polymorphism #type safety: Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.
AIIDE-2008-Horswill #animation #interactive #physics: Lightweight Procedural Animation with Believable Physical Interactions (IH).
SOFTVIS-2008-ParninGN #smell #visualisation: A catalogue of lightweight visualizations to support code smell inspection (CP, CG, ON), pp. 77–86.
CIKM-2008-StecherNN #integration: Wildcards for lightweight information integration in virtual desktops (RS, CN, WN), pp. 797–806.
KR-2008-Bienvenu #abduction #complexity #logic #product line: Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.
MoDELS-2008-KelsenM #approach #modelling #semantics: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MoDELS-2008-KelsenM #approach #modelling #semantics: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
OOPSLA-2008-ShankarAB #dynamic analysis #named: Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.
POPL-2008-Danielsson #analysis #complexity #data type #functional: Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
GPCE-2008-KaminaT: Lightweight dependent classes (TK, TT), pp. 113–124.
OSDI-2008-BhatiaKFP #monitoring: Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.
MBT-2008-PonsG #approach #semantics #validation: A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
ECSA-2007-SantosAB #web #web service: Lightweight Web Services for High Performace Computing (AS, FA, VBP), pp. 225–236.
WICSA-2007-Sangal #architecture #dependence #modelling: Lightweight Dependency Models to Manage Software Architecture (NS), p. 40.
MSR-2007-Masticola #development #mining #repository #using: Lightweight Risk Mitigation for Software Development Projects Using Repository Mining (SPM), p. 13.
Haskell-2007-LiMJT #concurrent #haskell: Lightweight concurrency primitives for GHC (PL, SM, SLPJ, APT), pp. 107–118.
Haskell-2007-MarlowIPG #debugging #haskell #interactive: A lightweight interactive debugger for haskell (SM, JI, BJP, AG), pp. 13–24.
ICFP-2007-SymeNM #pattern matching: Extensible pattern matching via a lightweight language extension (DS, GN, JM), pp. 29–40.
AIIDE-2007-ElsonR: A Lightweight Intelligent Virtual Cinematography System for Machinima Production (DKE, MOR), pp. 8–13.
CIKM-2007-Pasca #repository: Lightweight web-based fact repositories for textual question answering (MP), pp. 87–96.
POPL-2007-OhoriS #fixpoint: Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.
RE-2007-DelgadilloG #concept #named #requirements: Story-Wall: A Concept for Lightweight Requirements Management (LD, OG), pp. 377–378.
RE-2007-SmithG #game studies #requirements #using: Using a Game to Introduce Lightweight Requirements Engineering (RS, OG), pp. 379–380.
ESEC-FSE-2007-Hanna #implementation #named #network #protocol #security #verification: SLEDE: lightweight verification of sensor network security protocol implementations (YH), pp. 591–594.
SAC-2007-KawsarFN #using: A lightweight indoor location model for sentient artefacts using sentient artefacts (FK, KF, TN), pp. 1624–1631.
GPCE-2007-KaminaT #component #scalability: Lightweight scalable components (TK, TT), pp. 145–154.
CC-2007-CheremR #analysis #summary: A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.
DATE-2007-VillanuevaVMBRL #middleware #network: Lightweight middleware for seamless HW-SW interoperability, with application to wireless sensor networks (FJV, DV, FM, JB, FR, JCL), pp. 1042–1047.
HPCA-2007-ClarkHYMF #hardware #using: Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.
ESOP-2007-BarthePR #bytecode #java #verification: A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
CADE-2007-LutzW #logic: Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
SAT-2007-PipatsrisawatD #component #satisfiability: A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.
CBSE-2006-CervantesC #architecture #product line #using #workflow: Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture (HC, SCV), pp. 198–205.
VLDB-2006-BrunoC #design #physics: To Tune or not to Tune? A Lightweight Physical Design Alerter (NB, SC), pp. 499–510.
ITiCSE-2006-CrossCH #ide #named: jGRASP: a lightweight IDE with dynamic object viewers for CS1 and CS2 (JHCI, TDH), p. 356.
ICPC-2006-RooverMGGD #approach #behaviour #documentation #verification: An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification (CDR, IM, KG, KG, TD), pp. 202–211.
MSR-2006-WalkerHHKS #approach #estimation #impact analysis #probability: A lightweight approach to technical risk estimation via probabilistic impact analysis (RJW, RH, IH, PK, AS), pp. 98–104.
WCRE-2006-FischerG #analysis #approach #named #scalability: EvoGraph: A Lightweight Approach to Evolutionary and Structural Analysis of Large Software Systems (MF, HG), pp. 179–188.
FM-2006-Stephan #formal method #plugin #security: Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
AIIDE-2006-Knight #network #simulation #using: Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks (RK), pp. 48–53.
CSCW-2006-FitzpatrickMP #chat #collaboration #cvs #integration: CVS integration with notification and chat: lightweight software team collaboration (GF, PM, AP), pp. 49–58.
CSCW-2006-LiL #approach #editing: A lightweight approach to transparent sharing of familiar single-user editors (DL, JL), pp. 139–148.
SOFTVIS-2006-ParninG #smell #visualisation: Lightweight visualizations for inspecting code smells (CP, CG), pp. 171–172.
SPLC-2006-Sangal #dependence #modelling #product line: Lightweight Dependency Models for Product Lines (NS), p. 228.
FSE-2006-TaghdiriSJ #specification: Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.
CC-2006-YasugiHY #execution #stack: Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.
OSDI-2006-YangSE #fault #named: EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
PDP-2006-CamineroCC #algorithm #multi #network: A New Lightweight CAC Algorithm for High-Performance Multimedia Networks (ACC, BC, CC), pp. 465–472.
IJCAR-2006-Pientka #approach #higher-order #unification: Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach (BP), pp. 362–376.
VLDB-2005-MoroVT #query #xml: Tree-Pattern Queries on a Lightweight XML Processor (MMM, ZV, VJT), pp. 205–216.
CHI-2005-BirnholtzFHB #ad hoc #chat #distributed #scalability: Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.
CAiSE-2005-Franch #modelling #on the #using: On the Lightweight Use of Goal-Oriented Models for Software Package Selection (XF), pp. 551–566.
ICEIS-v4-2005-SannaVPM #communication #mobile #protocol: Lightweight Client-Pull Protocol for Mobile Communication (SS, EDV, AP, CM), pp. 227–231.
ECOOP-2005-DallmeierLZ #fault #java #locality: Lightweight Defect Localization for Java (VD, CL, AZ), pp. 528–550.
ESEC-FSE-2005-BierhoffA #specification #type system: Lightweight object specification with typestates (KB, JA), pp. 217–226.
ESEC-FSE-2005-PetterssonJ #approach #experience #industrial #product line #using #web: Industrial experience with building a web portal product line using a lightweight, reactive approach (UP, SJ), pp. 326–335.
GTTSE-2005-KrahnR #generative #refactoring: Techniques for Lightweight Generator Refactoring (HK, BR), pp. 437–446.
SAC-2005-PiccoBC #named #tuple: LighTS: a lightweight, customizable tuple space supporting context-aware applications (GPP, DB, PC), pp. 413–419.
DATE-2005-NaculG #compilation #embedded #multi #using: Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATE-2005-Takeuchi #debugging #monitoring #using #virtual machine: OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
DocEng-2004-NnadiB #documentation #integration: Lightweight integration of documents and services (NN, MB), pp. 51–53.
HT-2004-BerleantMABDDEGL #approach #documentation: Head-tail display: a lightweight approach to query-dependent document display (DB, JM, MA, JB, RD, TD, LE, CG, KHL), pp. 22–23.
VLDB-2004-SkogsrudBCD #named #trust: Trust-Serv: A Lightweight Trust Negotiation Service (HS, BB, FC, MQD), pp. 1329–1332.
CHI-2004-CountsF #social: Supporting social presence through lightweight photo sharing on and off the desktop (SC, EF), pp. 599–606.
SAC-2004-FoulirasXTM #multi #named #performance #protocol #video: LEMP: Lightweight Efficient Multicast Protocol for video on demand (PEF, SX, NT, AM), pp. 1226–1231.
OSDI-2004-DunaganHJKTW #distributed #named: FUSE: Lightweight Guaranteed Distributed Failure Notification (JD, NJAH, MBJ, DK, MT, AW), pp. 151–166.
JCDL-2003-AndersonAWB #flexibility #library #named #workflow: Metis: Lightweight, Flexible, and Web-Based Workflow Services for Digital Libraries (KMA, AA, NW, LMB), p. 98–?.
IWPC-2003-CollardKM #c++ #xml: An XML-Based Lightweight C++ Fact Extractor (MLC, HHK, JIM), pp. 134–143.
WCRE-2003-Latendresse #generative #named #regular expression #robust #semiparsing: RegReg: a Lightweight Generator of Robust Parsers for Irregular Languages (ML), pp. 206–215.
VISSOFT-2003-Lanza #visualisation: CodeCrawler – A Lightweight Software Visualization Tool (ML), pp. 54–55.
SEKE-2003-OwenM #model checking #named: Lurch: a Lightweight Alternative to Model Checking (DO, TM), pp. 158–165.
ECOOP-2003-MitchellS #automation #java #memory management #named #scalability: LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications (NM, GS), pp. 351–377.
OOPSLA-2003-HarrisF #transaction: Language support for lightweight transactions (TLH, KF), pp. 388–402.
OOPSLA-2003-ZhaoPV #java: Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.
SAC-2003-SterckMPR #framework #java: A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids (HDS, RSM, TP, UR), pp. 1024–1030.
DATE-2003-BlodgetML #approach #configuration management #embedded: A Lightweight Approach for Embedded Reconfiguration of FPGAs (BB, SM, PL), pp. 10399–10401.
DATE-2003-PetrotG #api #implementation #multi #thread: Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.
VLDB-2002-DaynesC #flexibility: Lightweight Flexible Isolation for Language-based Extensible Systems (LD, GC), pp. 718–729.
IWPC-2002-Moonen #impact analysis #semiparsing #using: Lightweight Impact Analysis using Island Grammars (LM), pp. 219–228.
IWPC-2002-TakadaOI #information management #slicing #using: Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.
EDOC-2002-WangR #architecture #corba #performance: An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA (GW, RR), pp. 249–257.
SEKE-2002-GergicKDSPAP #approach #deployment #web #web service: An Approach to lightweight deployment of web services (JG, JK, YD, JS, GP, AA, LP), pp. 635–640.
RE-2002-WooR #approach #automation #relational #reuse #specification #using: Reuse of Scenario Specifications Using an Automated Relational Learner: A Lightweight Approach (HGW, WNR), pp. 173–180.
ICSE-2002-OsterweilKFS #process #question: Lightweight vs. heavyweight processes: is this even the right question? (LJO, PK, MF, WS), p. 649.
HPDC-2002-SunderamK #framework #self: Lightweight Self-Organizing Frameworks for Metacomputing (VSS, DK), p. 113–?.
FME-2001-Jackson #formal method: Lightweight Formal Methods (DJ), p. 1.
VLDB-2000-PardonA #data transformation #internet #named #transaction: CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management (GP, GA), pp. 210–219.
ICFP-2000-ClaessenH #haskell #named #quickcheck #random testing #source code #testing: QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
ICML-2000-WeissI #induction: Lightweight Rule Induction (SMW, NI), pp. 1135–1142.
SAIG-2000-KaminCC #component #generative: Lightweight and Generative Components 2: Binary-Level Components (SNK, MC, LC), pp. 28–50.
ICRE-2000-GervasiN #case study #natural language #requirements #validation: Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.
ICRE-2000-Glinz #approach #consistency #modelling: A Lightweight Approach to Consistency of Scenarios and Class Models (MG), p. 49–?.
SAC-2000-ParkY #distributed #memory management: A Lightweight Casual Logging Scheme for Recoverable Distributed Shared Memory (TP, HYY), pp. 661–666.
SAC-2000-SchimkatMK #message passing: A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.
FASE-2000-ReggioACH #approach #formal method #state machine #uml: Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
GCSE-1999-KaminCC #component #generative: Lightweight and Generative Components I: Source-Level Components (SNK, MC, LC), pp. 49–64.
ICSE-1999-JacksonW #bytecode #modelling: Lightweight Extraction of Object Models from Bytecode (DJ, AW), pp. 194–202.
HPCA-1999-TanakaMH #distributed #hardware #memory management: Lightweight Hardware Distributed Shared Memory Supported by Generalized Combining (KT, TM, KH), pp. 90–99.
ICLP-1999-AppelF #prolog: Lightweight Lemmas in λ-Prolog (AWA, APF), pp. 411–425.
PASTE-1998-JefferyZTB #architecture #execution #monitoring: A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
FM-1998-AgerholmL #approach #formal method: A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.
FM-1998-AgerholmL98a #formal method #tool support: The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
OOPSLA-1998-HarrisS #distributed #internet #object-oriented: Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet (JH, VS), pp. 296–309.
SIGAda-1998-FleenerMS #reuse: A Reusable Lightweight Executive for Command and Control Systems (NF, LM, MS), pp. 81–88.
HCI-SEC-1997-NakajimaAF #interactive #symmetry: Transformation of Human-to-Human Interaction into Asymmetric and Lightweight Computer-Mediated Interaction (AN, FA, YF), pp. 307–310.
OOPSLA-1997-Haines #analysis #design #implementation #thread: An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.
PDP-1997-Errico #mobile #named #parallel #process #using: Swarm: Parallel computing using lightweight mobile processes (LdE), pp. 84–92.
SIGMOD-1996-QuassWGHLMNRRAUW #named #repository #semistructured data: LORE: A Lightweight Object REpository for Semistructured Data (DQ, JW, RG, KH, QL, JM, SN, AR, HR, SA, JDU, JLW), p. 549.
PLILP-1995-VullinghsTS #functional #programming #user interface: Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.
FSE-1995-MurphyN: Lightweight Source Model Extraction (GCM, DN), pp. 116–127.
CSCW-1994-TangIR #distributed #interactive: Supporting Distributed Groups with a Montage of Lightweight Interactions (JCT, EI, MR), pp. 23–34.
AdaEurope-1994-NunezP #constraints #development #process: Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints (FJN, RP), pp. 231–257.
PEPM-1994-LeoneL #code generation #runtime: Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.
POPL-1994-WandS: Selective and Lightweight Closure Conversion (MW, PS), pp. 435–445.
SOSP-1993-SatyanarayananMKSK #memory management: Lightweight Recoverable Virtual Memory (MS, HHM, PK, DCS, JJK), pp. 146–160.
OOPSLA-1992-ChaseLLB #operating system: Lightweight Shared Objects in a 64-Bit Operating System (JSC, HML, EDL, MBH), pp. 397–413.
HPDC-1992-SchmidtBS #adaptation #architecture #flexibility #multi #named #network #performance #protocol: ADAPTIVE: A Flexible and Adaptive Transport System Architecture to Support Lightweight Protocols for Multimedia Applications on High-Speed Networks (DCS, DFB, TS), pp. 174–186.
SOSP-1989-BershadALL: Lightweight Remote Procedure Call (BNB, TEA, EDL, HML), pp. 102–113.