Stem lightweight$ (all stems)

258 papers:

DAC-2015-BeaulieuSSTWW #lightweight

The SIMON and SPECK lightweight block ciphers (RB, DS, JS, STC, BW, LW), p. 6.

DATE-2015-MundhenkSLFC #authentication #lightweight #network

Lightweight authentication for secure automotive networks (PM, SS, ML, SAF, SC), pp. 285–288.

PLDI-2015-ZhangLSLM #flexibility #lightweight #object-oriented

Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.

CHI-2015-CordeiroBCF #lightweight #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

Lightweight Relief Shearing for Enhanced Terrain Perception on Interactive Maps (WW, BJ, TI, PD), pp. 3563–3572.

CSCW-2015-CiampagliaT #lightweight #named #wiki

MoodBar: Increasing New User Retention in Wikipedia through Lightweight Socialization (GLC, DT), pp. 734–742.

CSCW-2015-GallacherOBRCHM #interactive #lightweight

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 #lightweight

Handheld or Handsfree?: Remote Collaboration via Lightweight Head-Mounted Displays and Handheld Devices (SJ, MG, BM), pp. 1825–1836.

ECMFA-J-2012-ButtnerC15 #lightweight #reasoning #string

Lightweight string reasoning in model finding (FB, JC), pp. 413–427.

ECMFA-2015-BruneliereGDKHB #lightweight #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 #lightweight #verification

Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.

OOPSLA-2015-HuAN #android #lightweight

Versatile yet lightweight record-and-replay for Android (YH, TA, IN), pp. 349–366.

GPCE-2015-SelgradLKSL #generative #lightweight

Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.

ICSE-v1-2015-FilieriGL #adaptation #learning #lightweight #modelling #performance #probability

Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.

ICSE-v2-2015-GligoricEM #lightweight #named #testing

Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.

ASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification

SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.

HPDC-2015-BerrocalBDLC #data analysis #detection #lightweight #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 #lightweight #performance

Achieving Performance Isolation with Lightweight Co-Kernels (JO, BK, JRL, KTP), pp. 149–160.

LCTES-2015-LiuJLT #compilation #fault #lightweight #named

Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.

SOSP-2015-MatveevSFM #concurrent #lightweight #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 #lightweight #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 #lightweight #maturity

Architecture management and evaluation in mature products: experiences from a lightweight approach (MR, JS, TM), pp. 73–82.

ASE-2014-HillsKV #lightweight #php

Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.

ASE-2014-HollingPG #generative #lightweight #named #testing

8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.

CASE-2014-HsiehL #lightweight

A lightweight gravity-balanced exoskeleton for home rehabilitation of upper limbs (HCH, CCL), pp. 972–977.

DATE-2014-MaurichG #configuration management #encryption #lightweight

Lightweight code-based cryptography: QC-MDPC McEliece encryption on reconfigurable devices (IvM, TG), pp. 1–6.

VLDB-2014-WangMO #lightweight

Lightweight Indexing of Observational Data in Log-Structured Storage (SW, DM, BCO), pp. 529–540.

CSMR-WCRE-2014-Bos #lightweight #reverse engineering #runtime

Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.

PLDI-2014-TorlakB #lightweight #virtual machine

A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.

FLOPS-2014-YallopW #lightweight #morphism #polymorphism

Lightweight Higher-Kinded Polymorphism (JY, LW), pp. 119–135.

SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification

Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.

CHI-2014-Al-AkkadRBRZ #ad hoc #design #evaluation #lightweight #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 #lightweight #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 #lightweight #logic

Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).

KR-2014-KonevLOW #learning #lightweight #logic #ontology

Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).

SEKE-2014-GayedLB #case study #forensics #lightweight #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 #lightweight #risk management

Lightweight Risk Management in Agile Projects (EEO, DG, DS), pp. 576–581.

RE-2014-DanielrappANPEM #lightweight #requirements

Lightweight requirements engineering assessments in software projects (DD, AA, NN, PP, EE, MM), pp. 354–363.

SAC-2014-BarbosaBAC #lightweight #privacy

Lightweight privacy for smart metering data by adding noise (PB, AB, HA, SC), pp. 531–538.

FSE-2014-Cleland-HuangRM #lightweight #traceability

Achieving lightweight trustworthy traceability (JCH, MR, PM), pp. 849–852.

FSE-2014-ZhangWLQRZ #concurrent #debugging #lightweight #named

AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.

LCTES-2014-KimBL #concurrent #garbage collection #javascript #lightweight

Lightweight and block-level concurrent sweeping for javascript garbage collection (HK, SB, JL), pp. 155–164.

PPoPP-2014-DieguesR #lightweight #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

Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.

TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread

Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.

ECSA-2013-SilvaMCB #architecture #lightweight #product line

A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.

ASE-2013-AroraZRYJ #lightweight #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

Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.

DATE-2013-OjailDLG #embedded #framework #lightweight #manycore #named

ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.

SIGMOD-2013-PapadopoulosCDG #algebra #authentication #data type #lightweight #linear #query

Lightweight authentication of linear algebraic queries on data streams (SP, GC, AD, MNG), pp. 881–892.

VLDB-2013-ZhangWYMC #integration #lightweight #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 #lightweight #source code

Gapped code clone detection with lightweight source code analysis (HM, KH, YH, HI, SK), pp. 93–102.

VISSOFT-2013-Wehrwein #lightweight #matrix #reverse engineering #using #visualisation

Lightweight software reverse engineering using augmented matrix visualizations (BW), pp. 1–4.

KEOD-2013-LinnenbergMCSF #automation #energy #evaluation #lightweight #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 #lightweight #ontology #parametricity

Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.

MLDM-2013-HuangC #image #lightweight #segmentation #web

Applying a Lightweight Iterative Merging Chinese Segmentation in Web Image Annotation (CMH, YJC), pp. 183–194.

MLDM-2013-LiuLM #approach #combinator #lightweight #multi

A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.

SAC-2013-RieckerBH #detection #energy #lightweight #network

Lightweight energy consumption based intrusion detection system for wireless sensor networks (MR, SB, MH), pp. 1784–1791.

ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #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 #lightweight #named

Chronicler: lightweight recording to reproduce field failures (JB, NS, GEK), pp. 362–371.

CGO-2013-TanFG #detection #fault #lightweight #source code

Lightweight fault detection in parallelized programs (LT, MF, RG), p. 11.

HPCA-2013-AnsariFGTM #lightweight #named

Illusionist: Transforming lightweight cores into aggressive cores on demand (AA, SF, SG, JT, SAM), pp. 436–447.

HPCA-2013-SudanBLXMLB #architecture #lightweight #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 #lightweight #memory management #named

Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.

SOSP-2013-NguyenLP #framework #graph #lightweight

A lightweight infrastructure for graph analytics (DN, AL, KP), pp. 456–471.

VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference

Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.

WICSA-ECSA-2012-KoziolekDGVW #architecture #lightweight #named

MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures (HK, DD, TG, PV, RJW), pp. 253–257.

DATE-2012-MarongiuBB #clustering #embedded #lightweight #parallel #performance

Fast and lightweight support for nested parallelism on cluster-based embedded many-cores (AM, PB, LB), pp. 105–110.

VLDB-2013-RenTA12 #database #in memory #lightweight #memory management

Lightweight Locking for Main Memory Database Systems (KR, AT, DJA), pp. 145–156.

ICPC-2012-IshioEI #data flow #interprocedural #lightweight #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 #lightweight #using

Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.

CHI-2012-TangMHRIZC #interactive #lightweight #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 #lightweight

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 #lightweight #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 #lightweight #random #representation #using

Lightweight Random Ferns using binary representation (SL, SWL, YNC, HSY), pp. 1342–1345.

SIGIR-2012-RaveendranC #lightweight #mining #summary

Lightweight contrastive summarization for news comment mining (GR, CLAC), pp. 1103–1104.

ECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string

Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.

ECMFA-2012-KolovosRWMP #approach #documentation #lightweight #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 #lightweight #modelling

EMF Profiles: A Lightweight Extension Approach for EMF Models (PL, KW, MW, JC), pp. 1–29.

ECOOP-2012-RytzOH #lightweight #polymorphism

Lightweight Polymorphic Effects (LR, MO, PH), pp. 258–282.

POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research

Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.

RE-2012-WuestSG #flexibility #lightweight #modelling #requirements #sketching

Flexible, lightweight requirements modeling with Flexisketch (DW, NS, MG), pp. 323–324.

SAC-2012-HuaS #kernel #lightweight #memory management #named

Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation (JH, KS), pp. 1470–1477.

ICSE-2012-Stolee #lightweight #semantics #source code #specification

Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.

LCTES-2012-SallenaveD #embedded #lightweight #static analysis

Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.

ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight

Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.

ICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.

ICTSS-2012-SantosA #automation #detection #fault #lightweight #monitoring

Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.

WICSA-2011-GhezziG #analysis #architecture #as a service #lightweight #named

SOFAS: A Lightweight Architecture for Software Analysis as a Service (GG, HCG), pp. 93–102.

ASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse #tool support

Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.

SIGMOD-2011-SenellartS #approximate #lightweight #named #probability #query

ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.

VLDB-2011-DasNAA #database #lightweight #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 #lightweight #modelling #visual notation

Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions (KT, AD, CSJ), pp. 852–863.

ICPC-2011-BettenburgAHS #approach #lightweight #semistructured data

A Lightweight Approach to Uncover Technical Artifacts in Unstructured Data (NB, BA, AEH, MS), pp. 185–188.

SCAM-2011-CollardDM #fact extraction #lightweight #semiparsing #tool support

Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.

ICFP-2011-SwamyGLH #lightweight #ml #monad #programming

Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.

KEOD-2011-AarnioSK #industrial #lightweight #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 #lightweight

Applying Lightweight Formal Approach to Automatic Configuration Inspection (SP, GK), pp. 107–110.

Onward-2011-Bierhoff #automation #lightweight #reasoning #verification

Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.

OOPSLA-2011-SummersM #lightweight #type system

Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.

OOPSLA-2011-VerwaestBLN #flexibility #lightweight

Flexible object layouts: enabling lightweight language extensions by intercepting slot access (TV, CB, ML, ON), pp. 959–972.

ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight

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 #lightweight #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 #lightweight #memory management #named #persistent

Mnemosyne: lightweight persistent memory (HV, AJT, MMS), pp. 91–104.

HPCA-2011-MehraraHSM #javascript #parallel #using

Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.

TAP-2011-TroyaBLV #communication #lightweight #network #testing

Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.

VMCAI-2011-DonaldsonHK #lightweight #static analysis

Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.

ECSA-2010-ChristensenHL #architecture #assurance #lightweight #quality #using

Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.

VLDB-2010-AbdessalemCD #lightweight #named #query #web

ObjectRunner: Lightweight, Targeted Extraction and Querying of Structured Web Data (TA, BC, ND), pp. 1585–1588.

FASE-2010-LuoZZH #approach #concurrent #lightweight

A Lightweight and Portable Approach to Making Concurrent Failures Reproducible (QL, SZ, JZ, MH), pp. 323–337.

ICSM-2010-CollardMR #adaptation #approach #lightweight #scalability

A lightweight transformational approach to support large scale adaptive changes (MLC, JIM, BPR), pp. 1–10.

GT-VMT-2010-HassanMS #automaton #interactive #lightweight

A lightweight abstract machine for interaction nets (AH, IM, SS).

ICEIS-J-2010-ClariziaGN10a #adaptation #automation #lightweight #ontology #optimisation

An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction (FC, LG, PN), pp. 357–371.

KDIR-2010-Studer #lightweight #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 #lightweight #mobile #privacy #recommendation

A lightweight privacy preserving SMS-based recommendation system for mobile users (EB, LB, LB, UMC, LF, AV, GP), pp. 191–198.

GPCE-2010-RompfO #approach #code generation #composition #domain-specific language #lightweight #runtime #staging

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.

RE-2010-Glinz #lightweight #modelling #requirements

Very Lightweight Requirements Modeling (MG), pp. 385–386.

SAC-2010-SatzgerBKU #lightweight #network #self #towards

Towards lightweight self-configuration in wireless sensor networks (BS, FB, FK, TU), pp. 791–792.

SAC-2010-TangL #database #framework #lightweight #testing

A lightweight framework for testing database applications (JT, EL), pp. 1632–1637.

FSE-2010-CossetteW #adaptation #analysis #dependence #lightweight #named #sketching

DSketch: lightweight, adaptable dependency analysis (BC, RJW), pp. 297–306.

FSE-2010-HuangLZ #concurrent #java #lightweight #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 #lightweight #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 #lightweight

Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories (CT, MADS), pp. 231–234.

CGO-2010-LiAH #lightweight #optimisation

Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.

ISSTA-2010-GruskaWZ #detection #learning #lightweight

Learning from 6, 000 projects: lightweight cross-project anomaly detection (NG, AW, AZ), pp. 119–130.

ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime

Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.

SIGMOD-2009-KumarPCMS #health #lightweight #mobile #named

ELMR: lightweight mobile health records (AK, AP, JC, AM, LS), pp. 1035–1038.

SCAM-2009-SpaccoW #lightweight

Lightweight Techniques for Tracking Unique Program Statements (JS, CCW), pp. 99–108.

WCRE-1999-BacchelliDLR99a #benchmark #lightweight #metric #source code

Benchmarking Lightweight Techniques to Link E-Mails and Source Code (AB, MD, ML, RR), pp. 205–214.

PLDI-2009-AndersonGN #concurrent #data type #lightweight

Lightweight annotations for controlling sharing in concurrent data structures (ZRA, DG, MN), pp. 98–109.

PLDI-2009-MarinoMN #concurrent #detection #effectiveness #lightweight #named

LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.

FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using

An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.

CHI-2009-KleekBPVKS #lightweight

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 #lightweight #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 #lightweight #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 #lightweight #modelling #named

SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.

MoDELS-2009-ThumSS #collaboration #lightweight #modelling #named

SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.

SAC-2009-HammadC #lightweight #monitoring

Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.

SAC-2009-SilvaR #3d #lightweight #navigation #visualisation

A lightweight 3D visualization and navigation system on handheld devices (WBS, MAFR), pp. 162–166.

ESEC-FSE-2009-BeltRD #analysis #lightweight #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

Lightweight Language Processing in Kiama (AMS), pp. 408–425.

ICSE-2009-SantelicesJYH #lightweight #multi #using

Lightweight fault-localization using multiple coverage types (RAS, JAJ, YY, MJH), pp. 56–66.

HPCA-2009-StephensonZR #lightweight #order

Lightweight predication support for out of order processors (MS, LZ, RR), pp. 201–212.

CADE-2009-SebastianiV #analysis #axiom #encoding #lightweight #logic

Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.

WICSA-2008-DagtasNWH #architecture #lightweight #mobile

An Integrated Lightweight Software Architecture for Mobile Business Applications (SD, YN, HW, LH), pp. 41–50.

HT-2008-HansenG #framework #lightweight #social #web

Social web applications in the city: a lightweight infrastructure for urban computing (FAH, KG), pp. 175–180.

ITiCSE-2008-TonderNC #development #lightweight #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

Lightweight support for the evolution of software design and development artifacts (LZ, YL), pp. 474–475.

IFL-2008-TellerSV #fault #lightweight #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.

SOFTVIS-2008-ParninGN #lightweight #smell #visualisation

A catalogue of lightweight visualizations to support code smell inspection (CP, CG, ON), pp. 77–86.

CIKM-2008-StecherNN #integration #lightweight

Wildcards for lightweight information integration in virtual desktops (RS, CN, WN), pp. 797–806.

KR-2008-Bienvenu #abduction #complexity #lightweight #logic #product line

Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.

MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.

MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.

OOPSLA-2008-ShankarAB #dynamic analysis #lightweight #named

Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.

GPCE-2008-KaminaT #lightweight

Lightweight dependent classes (TK, TT), pp. 113–124.

POPL-2008-Danielsson #analysis #complexity #data type #functional #lightweight

Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.

OSDI-2008-BhatiaKFP #lightweight #monitoring

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.

MBT-2008-PonsG #approach #lightweight #semantics #validation

A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.

ECSA-2007-SantosAB #lightweight #web #web service

Lightweight Web Services for High Performace Computing (AS, FA, VBP), pp. 225–236.

WICSA-2007-Sangal #architecture #dependence #lightweight #modelling

Lightweight Dependency Models to Manage Software Architecture (NS), p. 40.

DATE-2007-VillanuevaVMBRL #lightweight #middleware #network

Lightweight middleware for seamless HW-SW interoperability, with application to wireless sensor networks (FJV, DV, FM, JB, FR, JCL), pp. 1042–1047.

ESOP-2007-BarthePR #bytecode #java #lightweight #verification

A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.

MSR-2007-Masticola #development #lightweight #mining #repository #using

Lightweight Risk Mitigation for Software Development Projects Using Repository Mining (SPM), p. 13.

ICFP-2007-SymeNM #lightweight #pattern matching

Extensible pattern matching via a lightweight language extension (DS, GN, JM), pp. 29–40.

CIKM-2007-Pasca #lightweight #repository

Lightweight web-based fact repositories for textual question answering (MP), pp. 87–96.

GPCE-2007-KaminaT #component #lightweight #scalability

Lightweight scalable components (TK, TT), pp. 145–154.

POPL-2007-OhoriS #fixpoint #lightweight

Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.

RE-2007-DelgadilloG #concept #lightweight #named #requirements

Story-Wall: A Concept for Lightweight Requirements Management (LD, OG), pp. 377–378.

RE-2007-SmithG #game studies #lightweight #requirements #using

Using a Game to Introduce Lightweight Requirements Engineering (RS, OG), pp. 379–380.

SAC-2007-KawsarFN #lightweight #using

A lightweight indoor location model for sentient artefacts using sentient artefacts (FK, KF, TN), pp. 1624–1631.

ESEC-FSE-2007-Hanna #implementation #lightweight #named #network #protocol #security #verification

SLEDE: lightweight verification of sensor network security protocol implementations (YH), pp. 591–594.

CC-2007-CheremR #analysis #lightweight #summary

A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.

HPCA-2007-ClarkHYMF #hardware #lightweight #using

Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.

CADE-2007-LutzW #lightweight #logic

Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.

SAT-2007-PipatsrisawatD #component #lightweight #satisfiability

A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.

CBSE-2006-CervantesC #architecture #lightweight #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 #lightweight #physics

To Tune or not to Tune? A Lightweight Physical Design Alerter (NB, SC), pp. 499–510.

ITiCSE-2006-CrossCH #ide #lightweight #named

jGRASP: a lightweight IDE with dynamic object viewers for CS1 and CS2 (JHCI, TDH), p. 356.

ICPC-2006-RooverMGGD #approach #behaviour #documentation #lightweight #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 #lightweight #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 #lightweight #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 #lightweight #plugin #security

Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.

CSCW-2006-FitzpatrickMP #chat #collaboration #cvs #integration #lightweight

CVS integration with notification and chat: lightweight software team collaboration (GF, PM, AP), pp. 49–58.

CSCW-2006-LiL #approach #editing #lightweight

A lightweight approach to transparent sharing of familiar single-user editors (DL, JL), pp. 139–148.

SOFTVIS-2006-ParninG #lightweight #smell #visualisation

Lightweight visualizations for inspecting code smells (CP, CG), pp. 171–172.

FSE-2006-TaghdiriSJ #lightweight #specification

Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.

SPLC-2006-Sangal #dependence #lightweight #modelling #product line

Lightweight Dependency Models for Product Lines (NS), p. 228.

CC-2006-YasugiHY #execution #lightweight #stack

Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.

OSDI-2006-YangSE #fault #lightweight #named

EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.

IJCAR-2006-Pientka #approach #higher-order #lightweight #unification

Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach (BP), pp. 362–376.

DATE-2005-NaculG #compilation #embedded #lightweight #multi #using

Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.

DATE-2005-Takeuchi #debugging #lightweight #monitoring #using #virtual machine

OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.

VLDB-2005-MoroVT #lightweight #query #xml

Tree-Pattern Queries on a Lightweight XML Processor (MMM, ZV, VJT), pp. 205–216.

CHI-2005-BirnholtzFHB #ad hoc #chat #distributed #lightweight #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 #lightweight #modelling #on the

On the Lightweight Use of Goal-Oriented Models for Software Package Selection (XF), pp. 551–566.

ICEIS-v4-2005-SannaVPM #communication #lightweight #mobile #protocol

Lightweight Client-Pull Protocol for Mobile Communication (SS, EDV, AP, CM), pp. 227–231.

ECOOP-2005-DallmeierLZ #fault #java #lightweight #locality

Lightweight Defect Localization for Java (VD, CL, AZ), pp. 528–550.

SAC-2005-PiccoBC #lightweight #named #tuple

LighTS: a lightweight, customizable tuple space supporting context-aware applications (GPP, DB, PC), pp. 413–419.

ESEC-FSE-2005-BierhoffA #lightweight #specification #type system

Lightweight object specification with typestates (KB, JA), pp. 217–226.

ESEC-FSE-2005-PetterssonJ #approach #experience #industrial #lightweight #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 #lightweight #refactoring

Techniques for Lightweight Generator Refactoring (HK, BR), pp. 437–446.

DocEng-2004-NnadiB #documentation #integration #lightweight

Lightweight integration of documents and services (NN, MB), pp. 51–53.

HT-2004-BerleantMABDDEGL #approach #documentation #lightweight

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 #lightweight #named #trust

Trust-Serv: A Lightweight Trust Negotiation Service (HS, BB, FC, MQD), pp. 1329–1332.

CHI-2004-CountsF #lightweight #social

Supporting social presence through lightweight photo sharing on and off the desktop (SC, EF), pp. 599–606.

SAC-2004-FoulirasXTM #lightweight #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 #lightweight #named

FUSE: Lightweight Guaranteed Distributed Failure Notification (JD, NJAH, MBJ, DK, MT, AW), pp. 151–166.

DATE-2003-BlodgetML #approach #configuration management #embedded #lightweight

A Lightweight Approach for Embedded Reconfiguration of FPGAs (BB, SM, PL), pp. 10399–10401.

DATE-2003-PetrotG #api #implementation #lightweight #multi #thread

Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.

IWPC-2003-CollardKM #c++ #lightweight #xml

An XML-Based Lightweight C++ Fact Extractor (MLC, HHK, JIM), pp. 134–143.

WCRE-2003-Latendresse #generative #lightweight #named #regular expression #robust #semiparsing

RegReg: a Lightweight Generator of Robust Parsers for Irregular Languages (ML), pp. 206–215.

VISSOFT-2003-Lanza #lightweight #visualisation

CodeCrawler – A Lightweight Software Visualization Tool (ML), pp. 54–55.

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

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

ECOOP-2003-MitchellS #automation #java #lightweight #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 #lightweight #transaction

Language support for lightweight transactions (TLH, KF), pp. 388–402.

OOPSLA-2003-ZhaoPV #java #lightweight

Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.

SAC-2003-SterckMPR #framework #java #lightweight

A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids (HDS, RSM, TP, UR), pp. 1024–1030.

VLDB-2002-DaynesC #flexibility #lightweight

Lightweight Flexible Isolation for Language-based Extensible Systems (LD, GC), pp. 718–729.

IWPC-2002-Moonen #impact analysis #lightweight #semiparsing #using

Lightweight Impact Analysis using Island Grammars (LM), pp. 219–228.

IWPC-2002-TakadaOI #information management #lightweight #slicing #using

Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.

EDOC-2002-WangR #architecture #corba #lightweight #performance

An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA (GW, RR), pp. 249–257.

SEKE-2002-GergicKDSPAP #approach #deployment #lightweight #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 #lightweight #relational #reuse #specification #using

Reuse of Scenario Specifications Using an Automated Relational Learner: A Lightweight Approach (HGW, WNR), pp. 173–180.

ICSE-2002-OsterweilKFS #lightweight #process #question

Lightweight vs. heavyweight processes: is this even the right question? (LJO, PK, MF, WS), p. 649.

HPDC-2002-SunderamK #framework #lightweight #self

Lightweight Self-Organizing Frameworks for Metacomputing (VSS, DK), p. 113–?.

FME-2001-Jackson #formal method #lightweight

Lightweight Formal Methods (DJ), p. 1.

VLDB-2000-PardonA #data transformation #internet #lightweight #named #transaction

CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management (GP, GA), pp. 210–219.

FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml

Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.

ICFP-2000-ClaessenH #haskell #lightweight #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

Lightweight Rule Induction (SMW, NI), pp. 1135–1142.

SAIG-2000-KaminCC #component #generative #lightweight

Lightweight and Generative Components 2: Binary-Level Components (SNK, MC, LC), pp. 28–50.

ICRE-2000-GervasiN #case study #lightweight #natural language #requirements #validation

Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.

ICRE-2000-Glinz #approach #consistency #lightweight #modelling

A Lightweight Approach to Consistency of Scenarios and Class Models (MG), p. 49–?.

SAC-2000-ParkY #distributed #lightweight #memory management

A Lightweight Casual Logging Scheme for Recoverable Distributed Shared Memory (TP, HYY), pp. 661–666.

SAC-2000-SchimkatMK #lightweight #message passing

A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.

GCSE-1999-KaminCC #component #generative #lightweight

Lightweight and Generative Components I: Source-Level Components (SNK, MC, LC), pp. 49–64.

ICSE-1999-JacksonW #bytecode #lightweight #modelling

Lightweight Extraction of Object Models from Bytecode (DJ, AW), pp. 194–202.

HPCA-1999-TanakaMH #distributed #hardware #lightweight #memory management

Lightweight Hardware Distributed Shared Memory Supported by Generalized Combining (KT, TM, KH), pp. 90–99.

ICLP-1999-AppelF #lightweight #prolog

Lightweight Lemmas in λ-Prolog (AWA, APF), pp. 411–425.

PASTE-1998-JefferyZTB #architecture #execution #lightweight #monitoring

A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.

FM-1998-AgerholmL #approach #formal method #lightweight

A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.

FM-1998-AgerholmL98a #formal method #lightweight #tool support

The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.

SIGAda-1998-FleenerMS #lightweight #reuse

A Reusable Lightweight Executive for Command and Control Systems (NF, LM, MS), pp. 81–88.

OOPSLA-1998-HarrisS #distributed #internet #lightweight #object-oriented

Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet (JH, VS), pp. 296–309.

HCI-SEC-1997-NakajimaAF #interactive #lightweight #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 #lightweight #thread

An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.

SIGMOD-1996-QuassWGHLMNRRAUW #lightweight #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 #lightweight #programming #user interface

Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.

FSE-1995-MurphyN #lightweight

Lightweight Source Model Extraction (GCM, DN), pp. 116–127.

PEPM-1994-LeoneL #code generation #lightweight #runtime

Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.

CSCW-1994-TangIR #distributed #interactive #lightweight

Supporting Distributed Groups with a Montage of Lightweight Interactions (JCT, EI, MR), pp. 23–34.

AdaEurope-1994-NunezP #constraints #development #lightweight #process

Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints (FJN, RP), pp. 231–257.

POPL-1994-WandS #lightweight

Selective and Lightweight Closure Conversion (MW, PS), pp. 435–445.

SOSP-1993-SatyanarayananMKSK #lightweight #memory management

Lightweight Recoverable Virtual Memory (MS, HHM, PK, DCS, JJK), pp. 146–160.

OOPSLA-1992-ChaseLLB #lightweight #operating system

Lightweight Shared Objects in a 64-Bit Operating System (JSC, HML, EDL, MBH), pp. 397–413.

HPDC-1992-SchmidtBS #adaptation #architecture #flexibility #lightweight #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

Lightweight Remote Procedure Call (BNB, TEA, EDL, HML), pp. 102–113.