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:
system (21)
dynam (16)
control (14)
program (12)
time (10)

Stem instrument$ (all stems)

122 papers:

CASECASE-2015-MinakaisMWLC #design
Design and instrumentation of an intelligent building testbed (MM, SM, JTW, LL, TC), pp. 1–6.
ICPCICPC-2015-PavlovicRRR #lightweight #named
Limpio: LIghtweight MPI instrumentatiOn (MP, MR, AR, PR), pp. 303–306.
SEFMSEFM-2015-ColomboDF #runtime #verification
Investigating Instrumentation Techniques for ESB Runtime Verification (CC, GD, AF), pp. 99–107.
HCIDUXU-DD-2015-SpeicherBG #interface #named #usability
Inuit: The Interface Usability Instrument (MS, AB, MG), pp. 256–268.
ICSTICST-2015-PankumhangR #test coverage
Iterative Instrumentation for Code Coverage in Time-Sensitive Systems (TP, MR), pp. 1–10.
DATEDATE-2014-WanK #embedded
An embedded offset and gain instrument for OpAmp IPs (JW, HGK), pp. 1–4.
CSEETCSEET-2014-BoehmK #education #empirical #re-engineering #research
Combining software engineering education and empirical research via instrumented real-client team project courses (BWB, SK), pp. 209–211.
SCAMSCAM-2014-PetiotBJKS #c #generative #source code #testing
Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
CHICHI-2014-Unander-ScharinUH #interactive #scalability
The vocal chorder: empowering opera singers with a large interactive instrument (CUS, ÅUS, KH), pp. 1001–1010.
HCIDUXU-DP-2014-FarnsworthHHP #data-driven
Cool in Business: Developing a Data-Based Instrument Measuring “Cool” (CF, KH, TH, SP), pp. 232–243.
HCILCT-NLE-2014-OrehovackiBJ #education #quality #web
Exploring the Validity of an Instrument to Measure the Perceived Quality in Use of Web 2.0 Applications with Educational Potential (TO, SB, MJ), pp. 192–203.
SEKESEKE-2014-DagninoC #industrial
Industrial Analytics to Discover Knowledge from Instrumented Networked Machines (AD, DC), pp. 86–89.
MODELSMoDELS-2014-AndolfatoKSSZC #case study #experience #modelling
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MODELSMoDELS-2014-AndolfatoKSSZC #case study #experience #modelling
Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
SPLCSPLC-2014-KodamaSTKT #case study #experience
Experiences with commonality control procedures to develop clinical instrument system (RK, JS, YT, SK, ST), pp. 254–263.
ISSTAISSTA-2014-Zuo #debugging #performance #statistics
Efficient statistical debugging via hierarchical instrumentation (ZZ), pp. 457–460.
ISSTAISSTA-2014-ZuoKS #debugging #mining #performance
Efficient predicated bug signature mining via hierarchical instrumentation (ZZ, SCK, CS), pp. 215–224.
ASEASE-2013-AroraZRYJ #lightweight #named
iProbe: A lightweight user-level dynamic instrumentation tool (NA, HZ, JR, KY, GJ), pp. 742–745.
ASEASE-2013-OhmannL #analysis #control flow #debugging #lightweight
Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.
TACASTACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
HCIDUXU-PMT-2013-OrehovackiH #development #education #usability #validation #web
Development and Validation of an Instrument to Measure the Usability of Educational Artifacts Created with Web 2.0 Applications (TO, NZH), pp. 369–378.
CGOCGO-2013-ChoMHBM #profiling
Instant profiling: Instrumentation sampling for profiling datacenter applications (HKC, TM, REH, DB, SAM), p. 10.
CGOCGO-2013-RuanLWS #framework #on the
On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
CASECASE-2012-ParkPC #automation #design #injection
Design automation of valve gate locations and open timing for injection molding of an automotive instrument panel (CHP, BGP, DHC), pp. 843–845.
DATEDATE-2012-WanK #embedded #monitoring
Monitoring active filters under automotive aging scenarios with embedded instrument (JW, HGK), pp. 1096–1101.
PEPMPEPM-2012-GorbovitskiLSR #optimisation
Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.
TOOLSTOOLS-EUROPE-2012-ZhengAMSBVTQM #bytecode #partial evaluation
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation (YZ, DA, LM, AS, WB, AV, PT, ZQ, MM), pp. 353–368.
ASPLOSASPLOS-2012-FeinerBG #kernel
Comprehensive kernel instrumentation via dynamic binary translation (PF, ADB, AG), pp. 135–146.
CCCC-2012-JimboreanMLC #framework #named #program analysis
VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.
CGOCGO-2012-LueckPP #debugging #interface #named
PinADX: an interface for customizable debugging with dynamic instrumentation (GL, HP, CP), pp. 114–123.
ICSTICST-2012-ChittimalliS #framework #modelling #named #source code
GEMS: A Generic Model Based Source Code Instrumentation Framework (PKC, VS), pp. 909–914.
CASECASE-2011-AramiSAHABMTDLRDFJAR #monitoring
Instrumented prosthesis for knee implants monitoring (AA, MS, OA, WH, SA, AB, EM, ST, HD, VL, PR, CD, PAF, BMJ, KA, PR), pp. 828–835.
PASTEPASTE-2011-BernatM
Anywhere, any-time binary instrumentation (ARB, BPM), pp. 9–16.
WCREWCRE-2011-CodobanMM #design #fault #named #problem
iProblems — An Integrated Instrument for Reporting Design Flaws, Vulnerabilities and Defects (MC, CM, RM), pp. 437–438.
IFLIFL-2011-MiddelkoopEP #functional #source code
Functional Instrumentation of ActionScript Programs with Asil (AM, ABE, WP), pp. 1–16.
HCIHCI-MIIE-2011-KimPCJ #clustering #effectiveness #traversal
The Effective IVIS Menu and Control Type of an Instrumental Gauge Cluster and Steering Wheel Remote Control with a Menu Traversal (SMK, JP, JC, ESJ), pp. 401–410.
HCIIDGD-2011-RinconBCPC #community #human-computer #interactive
Human-Computer Interaction as an Instrument for Strengthening Culture and Language of a Colombian Native Community (SRR, AB, GC, FP, TRC), pp. 556–565.
ESEC-FSEESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
ISSTAISSTA-2011-BernatRM #performance
Efficient, sensitivity resistant binary instrumentation (ARB, KAR, BPM), pp. 89–99.
CASECASE-2010-LeBSK #modelling #realtime #towards #using
Towards virtual instruments for cardiovascular healthcare: Real-time modeling of cardiovascular dynamics using ECG signals (TQL, STSB, AS, RK), pp. 903–910.
CASECASE-2010-RakotondrabeCRN #automation #estimation #framework
Presentation, force estimation and control of an instrumented platform dedicated to automated micromanipulation tasks (MR, CC, KR, KN), pp. 722–727.
KDIRKDIR-2010-PalmeriniRMCV #feature model
Feature Selection for the Instrumented Timed Up and Go in Parkinson’s Disease (LP, LR, SM, LC, FV), pp. 95–99.
OOPSLAOOPSLA-2010-JinTLL #concurrent #debugging
Instrumentation and sampling strategies for cooperative concurrency bug isolation (GJ, AVT, BL, SL), pp. 241–255.
FSEFSE-2010-YilmazP #hardware
Combining hardware and software instrumentation to classify program executions (CY, AAP), pp. 67–76.
ASEASE-2009-RayMACSM #using #validation #verification
Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.
CASECASE-2009-BeraN #using
A Simple instrumentation calibration technique for Electrical Impedance Tomography (EIT) using a 16-electrode phantom (TKB, JN), pp. 347–352.
CASECASE-2009-ChakiC #approach #automation #fuzzy #multi #using
An Automatic decission support system for medical instrument suppliers using fuzzy multifactor based approach (AC, TC), pp. 158–163.
CSMRCSMR-2009-LuciaDGR #behaviour #identification #parsing #visual notation
Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation (ADL, VD, CG, MR), pp. 99–108.
ICPCICPC-2009-EdwardsWSG #feature model
Instrumenting time-sensitive software for feature location (DE, NW, SS, EG), pp. 130–137.
CHICHI-2009-KlokmoseB #interactive #multi #named
VIGO: instrumental interaction in multi-surface environments (CNK, MBL), pp. 869–878.
HCIHCI-NIMT-2009-YamaguchiH #interface
Grasping Interface with Photo Sensor for a Musical Instrument (TY, SH), pp. 542–547.
HCIHCI-NT-2009-MaeshiroMSN #performance #similarity
Hypernetwork Model to Represent Similarity Details Applied to Musical Instrument Performance (TM, MM, KS, SiN), pp. 866–873.
ICEISICEIS-HCI-2009-GarciaDCBSS #design
Scenario-based Design — An Essential Instrument for an Innovative Target Application — Case Report (LSG, AID, MAC, LCEDB, FS, MSS), pp. 113–117.
ISMMISMM-2009-HazelwoodLC #parallel #scalability #thread
Scalable support for multithreaded applications on dynamic binary instrumentation systems (KMH, GL, RC), pp. 20–29.
DATEDATE-2008-VersenSSD #analysis #locality
Test Instrumentation for a Laser Scanning Localization Technique for Analysis of High Speed DRAM devices (MV, AS, JS, DD), pp. 776–779.
CHICHI-2008-KimGSPPW #experience #realtime #user interface
Tracking real-time user experience (TRUE): a comprehensive instrumentation solution for complex systems (JHK, DVG, ES, BP, RJP, DRW), pp. 443–452.
CHICHI-2008-TerryKVSP #named #open source
Ingimp: introducing instrumentation to an end-user open source application (MAT, MK, BVV, BS, TP), pp. 607–616.
ICEISICEIS-AIDSS-2008-MorgadoPR #evaluation #learning #quality
An Evaluation Instrument for Learning Object Quality and Management (EMM, FJGP, ÁBR), pp. 327–332.
CCCC-2008-ZhaoRARW #debugging #how #performance #using
How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation (QZ, RMR, SPA, LR, WFW), pp. 147–162.
ICSTICST-2008-TravisonS #automation #identification #pattern matching
Test Instrumentation and Pattern Matching for Automatic Failure Identification (DT, GS), pp. 377–386.
DATEDATE-2007-FietheMDOZ #configuration management
Reconfigurable system-on-chip data processing units for space imaging instruments (BF, HM, CD, BO, GZ), pp. 977–982.
SCAMSCAM-2007-BinderHM #bytecode #java #re-engineering #runtime #standard
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
PLDIPLDI-2007-NethercoteS #framework #named
Valgrind: a framework for heavyweight dynamic binary instrumentation (NN, JS), pp. 89–100.
HCIHCI-AS-2007-KuramotoSST #motivation
An Entertainment System for Improving Motivation in Repeated Practice of Musical Instruments (IK, YS, YS, YT), pp. 278–283.
HCIHCI-IDU-2007-ZhangRS #bibliography #evaluation #usability
Developing Instrument for Handset Usability Evaluation: A Survey Study (TZ, PLPR, GS), pp. 662–671.
ICEISICEIS-EIS-2007-SteenbergenBB #architecture #development #enterprise
An Instrument for the Development of the Enterprise Architecture Practice (MvS, MvdB, SB), pp. 14–22.
POPLPOPL-2007-YuCIS #javascript #security
JavaScript instrumentation for browser security (DY, AC, NI, IS), pp. 237–249.
CGOCGO-2007-MoseleySRGP #parallel #profiling
Shadow Profiling: Hiding Instrumentation Costs with Parallelism (TM, AS, VJR, DG, RP), pp. 198–208.
CGOCGO-2007-WallaceH #named #performance #realtime
SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance (SW, KMH), pp. 209–220.
ISSTAISSTA-2007-TzorefUY #automation #concurrent #debugging
Instrumenting where it hurts: an automatic concurrent debugging technique (RT, SU, EYT), pp. 27–38.
CASECASE-2006-SenanayakeSCS #analysis
Instrumented Orthopaedics Analysis System (SMNAS, CYS, JC, RGS), pp. 194–199.
DATEDATE-2006-KempfKWALM #estimation #fine-grained #framework #performance #using
A SW performance estimation framework for early system-level-design using fine-grained instrumentation (TK, KK, SW, GA, RL, HM), pp. 468–473.
CHICHI-2006-IsbisterHSL #evaluation
The sensual evaluation instrument: developing an affective evaluation tool (KI, KH, MS, JL), pp. 1163–1172.
ICEISICEIS-HCI-2006-GravierF #adaptation #collaboration #human-computer #named
E-Instrumentation: A Collaborative and Adaptative Intelligent HCI for Remote Control of Devices (CG, JF), pp. 87–93.
WICSAWICSA-2005-RevillardCBO #design
Intelligent Instrument Design With ArchWare ADL (JR, SC, EB, FO), pp. 249–250.
CASECASE-2005-DaiG #development #metric
Development of impulse resistance measurement instrument (WD, SG), pp. 244–248.
ICSMEICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
PLDIPLDI-2005-LukCMPKLWRH #named #program analysis #tool support
Pin: building customized program analysis tools with dynamic instrumentation (CKL, RSC, RM, HP, AK, PGL, SW, VJR, KMH), pp. 190–200.
ICEISICEIS-v2-2005-AprilD #maintenance
Software Maintenance Expert System (SMXPERT) — a Decision Support Instrument (AA, JMD), pp. 142–148.
SACSAC-2005-CabralMS #dot-net #named
RAIL: code instrumentation for .NET (BC, PM, LMS), pp. 1282–1287.
ICSEICSE-2005-MisurdaCRCS #testing
Demand-driven structural testing with dynamic instrumentation (JM, JAC, JLR, BRC, MLS), pp. 156–165.
HPCAHPCA-2005-CorlissLR #debugging #interactive
Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE (MLC, ECL, AR), pp. 303–314.
LCTESLCTES-2005-TitzerP #precise
Nonintrusive precision instrumentation of microcontroller software (BT, JP), pp. 59–68.
PASTEPASTE-2004-BusCSPB #design #flexibility #implementation #tool support
The design and implementation of FIT: a flexible instrumentation toolkit (BDB, DC, BDS, LVP, KDB), pp. 29–34.
ICPRICPR-v2-2004-LeungNL #classification
ICA-FX Features for Classification of Singing Voice and Instrumental Sound (TWL, CWN, RWHL), pp. 367–370.
ICPRICPR-v2-2004-MaddageXW #identification #modelling
Singer Identification Based on Vocal and Instrumental Models (NCM, CX, YW), pp. 375–378.
OOPSLAOOPSLA-2004-FactorSS #approach #library #object-oriented #standard
Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach (MF, AS, KS), pp. 288–300.
OSDIOSDI-2004-CohenCGKS #automation #correlation
Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control (IC, JSC, MG, TK, JS), pp. 231–244.
ICEISICEIS-2002-DelaitreGM
The AEX Method and Its Instrumentation (SD, AG, SM), pp. 473–481.
ICEISICEIS-2002-R-MorenoPMMM #testing
Controlling and Testing a Space Instrument by an AI Planner (MRM, MP, DDML, JM, CM), pp. 405–409.
ISSTAISSTA-2002-TikirH #performance #test coverage #testing
Efficient instrumentation for code coverage testing (MMT, JKH), pp. 86–96.
ASEASE-2001-EgyedB #interface #off the shelf
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability (AE, RB), pp. 223–231.
PLDIPLDI-2001-ArnoldR #cost analysis #framework
A Framework for Reducing the Cost of Instrumented Code (MA, BGR), pp. 168–179.
ICEISICEIS-v2-2001-Rak #design #development #tool support
Modern Tools for Development and Design of Virtual Instruments (RJR), pp. 1166–1169.
ITiCSEITiCSE-2000-OuCLL #learning #web
Instructional instruments for Web group learning systems: the grouping, intervention, and strategy (KLO, GDC, CCL, BJL), pp. 69–72.
CHICHI-2000-Beaudouin-Lafon #design #interactive #user interface
Instrumental interaction: an interaction model for designing post-WIMP user interfaces (MBL), pp. 446–453.
ICEISICEIS-2000-KalininNSP #network #process
Usage of Instrument of Neural Networks in Control of Complex Chemical-Technological Processes (AK, LN, ES, SP), pp. 521–524.
OSDIOSDI-1999-TamchesM #fine-grained #kernel #operating system
Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels (AT, BPM), pp. 117–130.
PPoPPPPoPP-1999-XuMN #thread
Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.
ASEASE-1998-TemplerJ #automation #c #configuration management
A Configurable Automatic Instrumentation Tool for ANSI C (KT, CLJ), p. 249–?.
AdaSIGAda-1998-LeifL #ada #embedded
Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.
HPDCHPDC-1998-ZhangSL #message passing #source code #using
Dynamically Instrumenting Message-Passing Programs Using Virtual Clocks (KZ, CS, KCL), pp. 340–341.
SACSAC-1996-PunyashthitiS #generative
Program generator for RS-232C instruments (AP, DLS), pp. 487–492.
KDDKDD-1995-BuntineP #how
Intelligent Instruments: Discovering How to Turn Spectral Data into Information (WLB, TP), pp. 33–38.
ESECESEC-1995-VidalFG #modelling #performance
Instrumentation of Synchronous Reactive Models for Performance Engineering (AVV, MVF, JGG), pp. 76–89.
CSEETCSEE-1994-Weinberger #approach
Awareness Week at Texas Instruments: An Alternative Approach to Instructor-Led Delivery (BJW), pp. 245–250.
AdaTRI-Ada-1994-Sartore #ada #database #realtime #scalability
Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition (RGS), pp. 406–416.
CIKMCIKM-1994-Johannesson #integration #reasoning
Linguistic Instruments and Qualitative Reasoning for Schema Integration (PJ), pp. 252–262.
ICSEICSE-1994-Johnson #approach #bibliography #perspective #quality
An Instrumented Approach to Improving Software Quality Through Formal Technical Review (PMJ), pp. 113–122.
SIGMODSIGMOD-1993-PolyachenkoA #development #distributed #parallel
Instrumental Complex of Parallel Software System Development and Operating Environment Support for Distributed Processing within Multitransputer Systems, TRANSSOFT (BEP, FIA), pp. 548–549.
PPoPPPPoPP-1993-SarukkaiM #analysis #source code
Perturbation Analysis of High Level Instrumentation for SPMD Programs (SRS, ADM), pp. 44–53.
HTHT-ECHT-1992-Cordell
Musical Instruments of the World (Demonstration) (AOC), pp. 295–296.
SASWSA-1992-MycroftR #graph
Minimal Function Graphs are not Instrumented (AM, MR), pp. 60–67.
ASEKBSE-1991-Liao #automation #generative #monitoring
Requirement Directed Automatic Instrumentation Generation for Program Monitoring and Measuring (YL), pp. 144–150.
CHICHI-1990-Thomsen #paradigm
Business instrument panel: a new paradigm for interfacing with financial data (CTT), pp. 161–166.
CSEETSEI-1988-MooreP
Meeting the Training Needs of Practicing Software Engineers at Texas Instruments (FLM, PRP), pp. 32–44.
OOPSLAOOPSLA-1986-BhaskarPB #object-oriented #synthesis
Virtual Instruments: Object-Oriented Program Synthesis (KSB, JKP, JLB), pp. 303–314.
SOSPSOSP-1977-McDaniel #distributed #kernel #metric #named
METRIC: A Kernel Instrumentation System for Distributed Environments (GM), pp. 93–99.
SOSPSOSP-1973-DayH #interactive #named #operating system
ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control (PD, JH), pp. 28–37.
DACDAC-1972-Robison #automation #design #logic #simulation
Applications of logic simulation in design automation at Texas Instruments (JMR), pp. 138–143.
SOSPSOSP-1969-BryanS #analysis #performance
The UTS time-sharing system: performance analysis and instrumentation (GEB, JES), pp. 147–158.
SOSPSOSP-1969-SaltzerG #multi
The instrumentation of multics (JHS, JG), pp. 167–174.

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.