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:
time (261)
system (51)
use (36)
program (35)
base (30)

Stem run$ (all stems)

370 papers:

DATEDATE-2015-HuangKGT #scheduling
Run and be safe: mixed-criticality scheduling with temporary processor speedup (PH, PK, GG, LT), pp. 1329–1334.
DATEDATE-2015-HuriauxCS #design #runtime
Design flow and run-time management for compressed FPGA configurations (CH, AC, OS), pp. 1551–1554.
DATEDATE-2015-SkalickySLF #framework #hardware #runtime
A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
ESOPESOP-2015-TorontoMH #probability #source code
Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.
TACASTACAS-2015-BassetKTW #game studies #multi #probability #synthesis
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.
ICSMEICSME-2015-GaoH #architecture #named #web
ArchFLoc: Locating and explaining architectural features in running web applications (YG, DH), pp. 333–335.
CIAACIAA-2015-Giaquinta #automaton #nondeterminism
Run-Length Encoded Nondeterministic KMP and Suffix Automata (EG), pp. 102–113.
LATALATA-2015-FiciLLP #online
Online Computation of Abelian Runs (GF, TL, AL, ÉPG), pp. 391–401.
FMFM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
CHICHI-2015-FlinthamVWABBPP
Run Spot Run: Capturing and Tagging Footage of a Race by Crowds of Spectators (MDF, RV, MLW, EJA, SB, AB, TP, DP, JS), pp. 747–756.
AdaEuropeAdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.
CAiSECAiSE-2015-WeilerGS #detection #performance #runtime #twitter
Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
KDDKDD-2015-Kohavi #lessons learnt #online #testing
Online Controlled Experiments: Lessons from Running A/B/n Tests for 12 Years (RK), p. 1.
SEKESEKE-2015-CostaSRSAP #collaboration #nearest neighbour
A Collaborative Method to Reduce the Running Time and Accelerate the k-Nearest Neighbors Search (AAMC, RRdS, FBAR, GS, HOdA, AP), pp. 105–109.
MoDELSMoDELS-2015-HartmannMFNKT #distributed #modelling #peer-to-peer #runtime
Stream my models: Reactive peer-to-peer distributed models@run.time (TH, AM, FF, GN, JK, YLT), pp. 80–89.
SACSAC-2015-JoCKBO #algorithm #approach #collaboration #cpu #data-driven #on the
On running data-intensive algorithms with intelligent SSD and host CPU: a collaborative approach (YYJ, SC, SWK, DHB, HO), pp. 2060–2065.
SACSAC-2015-RighiVRRCFA #parallel #source code
Rescheduling and checkpointing as strategies to run synchronous parallel programs on P2P desktop grids (RdRR, AV, VFR, GR, CAdC, KF, AMA), pp. 501–504.
CCCC-2015-AckermannRMS #java #optimisation #runtime
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
HPCAHPCA-2015-LoCIS #monitoring #runtime #using
Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.
ICLPICLP-J-2015-StulovaMH #runtime
Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.
LICSLICS-2015-BrazdilKKN #behaviour #probability
Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.
ASEASE-2014-Schneider14a #fault #modelling #runtime
Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
DACDAC-2014-ChenWLXY #optimisation #runtime
Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.
DACDAC-2014-CuiMSW #detection #hardware #runtime #synthesis
High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery (XC, KM, LS, KW), p. 6.
DACDAC-2014-FattahPLPT #manycore #named #runtime
SHiFA: System-Level Hierarchy in Run-Time Fault-Aware Management of Many-Core Systems (MF, MP, PL, JP, HT), p. 6.
DATEDATE-2014-0001GWKAWG #optimisation #performance #runtime
Exploiting expendable process-margins in DRAMs for run-time performance optimization (KC, SG, CW, MK, BA, NW, KG), pp. 1–6.
DATEDATE-2014-LeeF #framework #named #realtime #runtime #scheduling
GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATEDATE-2014-NovoFIAC #approximate #case study #energy #performance #runtime
Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.
DATEDATE-2014-SarmaD #estimation #network #runtime
Minimal sparse observability of complex networks: Application to MPSoC sensor placement and run-time thermal estimation & tracking (SS, ND), pp. 1–6.
DATEDATE-2014-WildermannGT #distributed #multi #resource management #runtime
Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.
SIGMODSIGMOD-2014-CaiGLPVJ #algorithm #comparison #implementation #machine learning #scalability
A comparison of platforms for implementing and running very large scale machine learning algorithms (ZC, ZJG, SL, LLP, ZV, CMJ), pp. 1371–1382.
ITiCSEITiCSE-2014-StrieweG14a #runtime #using
Code reading exercises using run time traces (MS, MG), p. 346.
ESOPESOP-2014-KothaACESB #bound #parallel #runtime
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries (AK, KA, TC, KE, MS, RB), pp. 554–574.
STOCSTOC-2014-Goodrich #algorithm #sorting
Zig-zag sort: a simple deterministic data-oblivious sorting algorithm running in O(n log n) time (MTG), pp. 684–693.
IFMIFM-2014-FathabadiSB #manycore #modelling #process #runtime
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems (ASF, CFS, MJB), pp. 120–135.
SFMSFM-2014-BoerG #monitoring #runtime
Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.
CHICHI-2014-MaurielloGF #design #evaluation #smarttech #social
Social fabric fitness: the design and evaluation of wearable E-textile displays to support group running (MLM, MG, JF), pp. 2833–2842.
EDOCEDOC-2014-PourmirzaDG #collaboration #runtime
Switching Parties in a Collaboration at Run-Time (SP, RMD, PWPJG), pp. 136–141.
ICEISICEIS-v2-2014-SilvaFG #configuration management #product line #runtime #towards
Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.
SEKESEKE-2014-HartmannFNMKT #approach #modelling #reasoning #runtime #using
Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach (TH, FF, GN, BM, JK, YLT), pp. 586–591.
SIGIRSIGIR-2014-JayasingheWSC
Extending test collection pools without manual runs (GKJ, WW, MS, JSC), pp. 915–918.
SIGIRSIGIR-2014-VoorheesLE #as a service #evaluation #on the
On run diversity in Evaluation as a Service (EMV, JL, ME), pp. 959–962.
ECOOPECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
SACSAC-2014-KatebFNMAT #framework #modelling #multi #optimisation #runtime
Generic cloud platform multi-objective optimization leveraging models@run.time (DEK, FF, GN, JAM, MA, YLT), pp. 343–350.
SACSAC-2014-SahuR #clustering #runtime
Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.
ASPLOSASPLOS-2014-ArulrajJL #hardware #memory management
Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
HPCAHPCA-2014-HuangHFS #concurrent #data transformation #detection #metadata #runtime
Low-overhead and high coverage run-time race detection through selective meta-data management (RCH, EH, AF, GES), pp. 96–107.
HPCAHPCA-2014-PugsleyCWCSJLCB #evaluation #runtime
Sandbox Prefetching: Safe run-time evaluation of aggressive prefetchers (SHP, ZC, CW, PfC, RLS, AJ, SLL, KC, RB), pp. 626–637.
HPCAHPCA-2014-ZhaoVZLZ0 #memory management #specification
Over-clocked SSD: Safely running beyond flash memory chip I/O clock specs (KZ, KSV, XZ, JL, NZ, TZ), pp. 536–545.
CAVCAV-2014-BrazdilKKN #low cost
Minimizing Running Costs in Consumption Systems (TB, DK, AK, PN), pp. 457–472.
ECSAECSA-2013-PascualPF #architecture #runtime #variability
Run-Time Support to Manage Architectural Variability Specified with CVL (GGP, MP, LF), pp. 282–298.
DACDAC-2013-AnagnostopoulosTBS #distributed #manycore #resource management #runtime
Distributed run-time resource management for malleable applications on many-core platforms (IA, VT, AB, DS), p. 6.
DACDAC-2013-QuanP #algorithm #runtime
A scenario-based run-time task mapping algorithm for MPSoCs (WQ, ADP), p. 6.
DATEDATE-2013-NavasSO #array #configuration management #flexibility #framework #reuse
The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, ), pp. 833–838.
DATEDATE-2013-ZhaoLBT #detection #manycore #probability #runtime
Run-time probabilistic detection of miscalibrated thermal sensors in many-core systems (JZ, S(L, WB, RT), pp. 1395–1398.
SEFMSEFM-2013-BoerGW #runtime #verification
Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.
HCIDUXU-NTE-2013-TrevorrowF #behaviour
Running to Behavior Change (PT, MF), pp. 585–593.
HCIHIMI-HSM-2013-SakuradaH #interface #physics #using
A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.
HILTHILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
SEKESEKE-2013-KalayciS #adaptation #framework #multi #runtime #workflow
Pattern-based Decentralization and Run-time Adaptation Framework for Multi-site Workflow Orchestrations (SK, SMS), pp. 709–714.
SIGIRSIGIR-2013-ArroyueloGOS #documentation #identifier #performance
Document identifier reassignment and run-length-compressed inverted indexes for improved search performance (DA, SG, MO, VS), pp. 173–182.
ECMFAECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime
Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
MODELSMoDELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using
Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
MODELSMoDELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using
Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.
ECOOPECOOP-2013-AuerbachBCFR #compilation #configuration management #graph #hardware
The Shape of Things to Run — Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime (JSA, DFB, PC, SF, RMR), pp. 679–706.
SACSAC-2013-AktasG #assessment #authentication #control flow #runtime
Run-time control flow authentication: an assessment on contemporary x86 platforms (EA, KG), pp. 1859–1866.
SACSAC-2013-GouwBJW #case study #industrial #java #runtime #source code
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
ESEC-FSEESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime
System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
ASPLOSASPLOS-2013-ArulrajCJL #hardware #performance
Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.
CASECASE-2012-SustoSPNB #approach
An information-theory and Virtual Metrology-based approach to Run-to-Run semiconductor manufacturing control (GAS, AS, SP, GDN, AB), pp. 358–363.
DACDAC-2012-0001AG #memory management #realtime #runtime
Run-time power-down strategies for real-time SDRAM memory controllers (KC, BA, KG), pp. 988–993.
DACDAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case
Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DATEDATE-2012-AnagnostopoulosBKS #distributed #divide and conquer #manycore #runtime
A divide and conquer based distributed run-time mapping methodology for many-core platforms (IA, AB, GK, DS), pp. 111–116.
DATEDATE-2012-HameedBH #adaptation #architecture #manycore #runtime
Dynamic cache management in multi-core architectures through run-time adaptation (FH, LB, JH), pp. 485–490.
DATEDATE-2012-MarianiSPZSB #architecture #configuration management #design #multi #resource management #runtime #using
Using multi-objective design space exploration to enable run-time resource management for reconfigurable architectures (GM, VMS, GP, VZ, CS, KB), pp. 1379–1384.
DATEDATE-2012-WangRR #energy #runtime
Run-time power-gating in caches of GPUs for leakage energy savings (YW, SR, NR), pp. 300–303.
WCREWCRE-2012-AmmarA #diagrams #empirical #evaluation #runtime
Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.
GT-VMTGT-VMT-2012-Heussner #communication #graph #graph grammar #model checking #process
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).
HILTHILT-2012-EilersK #adaptation #runtime
Adapting ACATS for use with run-time checks suppressed (DE, TK), pp. 97–102.
ICPRICPR-2012-SchuldhausKJESL #classification #using
Classification of surfaces and inclinations during outdoor running using shoe-mounted inertial sensors (DS, PK, UJ, BE, HS, ML), pp. 2258–2261.
MODELSMoDELS-2012-RamirezCBS #nondeterminism #runtime
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
MODELSMoDELS-2012-RamirezCBS #nondeterminism #runtime
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.
OnwardOnward-2012-TaeumelSH #programming #runtime
The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.
OOPSLAOOPSLA-2012-StricklandTFF #runtime
Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
TOOLSTOOLS-EUROPE-2012-LangrTDD #c++ #runtime
Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.
POPLPOPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
POPLPOPL-2012-MonsantoFHW #compilation #network #programming language #runtime
A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.
RERE-2012-WelshB #adaptation #evaluation #modelling #requirements #runtime #self
Run-time model evaluation for requirements model-driven self-adaptation (KW, NB), pp. 329–330.
ICSEICSE-2012-PloomSG #migration #process #scalability
Methodology for migration of long running process instances in a global large scale BPM environment in Credit Suisse’s SOA landscape (TP, SS, AG), pp. 977–986.
SLESLE-2012-CuadradoGL #runtime
The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
ECSAECSA-2011-CasanovaSGA #architecture #fault #runtime
Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.
ASEASE-2011-WelshSB #requirements #runtime #towards
Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.
ASEASE-2011-ZhangMPL #monitoring #predict #runtime
Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
CASECASE-2011-KaoCW #case study
Preliminary study of run-to-run control utilizing virtual metrology with reliance index (CAK, FTC, WMW), pp. 256–261.
DACDAC-2011-ZattSSABH #adaptation #energy #estimation #multi #runtime #video
Run-time adaptive energy-aware motion and disparity estimation in multiview video coding (BZ, MS, FS, LVA, SB, JH), pp. 1026–1031.
DATEDATE-2011-AhmedSBH #configuration management #multi #named #runtime
mRTS: Run-time system for reconfigurable processors with multi-grained instruction-set extensions (WA, MS, LB, JH), pp. 1554–1559.
DATEDATE-2011-Al-DujailyMXYP #concurrent #detection #network #runtime #transitive #using
Run-time deadlock detection in networks-on-chip using coupled transitive closure networks (RAD, TSTM, FX, AY, MP), pp. 497–502.
DATEDATE-2011-AnjamNW #multi #runtime
Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.
DATEDATE-2011-BaiDDC #network #program transformation #programming #runtime
Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
DATEDATE-2011-HameedFH #3d #adaptation #architecture #manycore #runtime
Dynamic thermal management in 3D multi-core architecture through run-time adaptation (FH, MAAF, JH), pp. 299–304.
DATEDATE-2011-ShafiqueBAH #configuration management #manycore #resource management #runtime
Minority-Game-based resource allocation for run-time reconfigurable multi-core processors (MS, LB, WA, JH), pp. 1261–1266.
DATEDATE-2011-WannerBZAGS #embedded #scheduling #variability
Variability-aware duty cycle scheduling in long running embedded sensing systems (LFW, RB, SZ, CA, PG, MBS), pp. 131–136.
DATEDATE-2011-WinterF #runtime #scheduling
Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.
ITiCSEITiCSE-2011-StrieweG11a #automation #programming #runtime #using
Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
ESOPESOP-2011-Mine #c #embedded #fault #parallel #runtime #source code #static analysis
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (AM), pp. 398–418.
TACASTACAS-2011-AlglaveMSS #hardware #named #testing
Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
WCREWCRE-2011-CheathamR
Function Insight: Highlighting Suspicious Sections in Binary Run Traces (MC, JR), pp. 433–434.
PEPMPEPM-2011-PlasmeijerAKLNG #evolution #runtime #type safety #workflow
iTasks for a change: type-safe run-time change in dynamically evolving workflows (RP, PA, PWMK, BL, TvN, JHGvG), pp. 151–160.
ICFPICFP-2011-ChyzakD #generative #ml #runtime #using #web
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
HCIDUXU-v2-2011-GajendarJ #design #how
The Inmates Are Still Running the Asylum: How to Share a Design Vision with Engineers (UG, CJ), pp. 276–282.
HCIHCI-DDA-2011-SeisslerBM #adaptation #runtime #smarttech #towards #user interface
Towards Pattern-Driven Engineering of Run-Time Adaptive User Interfaces for Smart Production Environments (MS, KB, GM), pp. 299–308.
OOPSLAOOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #java #runtime
Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
GPCEGPCE-2011-NystromWD #compilation #named #runtime #scala
Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
GPCEGPCE-2011-SteckLS #modelling #runtime
Model-driven engineering and run-time model-usage in service robotics (AS, AL, CS), pp. 73–82.
PADLPADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
RERE-2011-WelshSB #nondeterminism #runtime
Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.
SACSAC-2011-KontogiannisWM #clustering #comprehension #reduction #runtime
Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
ESEC-FSEESEC-FSE-2011-CheungSM
Partial replay of long-running applications (AC, ASL, SM), pp. 135–145.
ICSEICSE-2011-FilieriGT #model checking #performance #probability #runtime
Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.
ASPLOSASPLOS-2011-RansfordSF #named
Mementos: system support for long-running computation on RFID-scale devices (BR, JS, KF), pp. 159–170.
CGOCGO-2011-NuzmanDRRWYCZ
Vapor SIMD: Auto-vectorize once, run everywhere (DN, SD, ER, IR, KW, DY, AC, AZ), pp. 151–160.
ASEASE-2010-MelissonMRRS #architecture #component #configuration management #distributed #runtime
Reconfigurable run-time support for distributed service component architectures (RM, PM, DR, RR, LS), pp. 171–172.
DATEDATE-2010-BraakHKHS #realtime #resource management #runtime
Run-time spatial resource management for real-time applications on heterogeneous MPSoCs (TDtB, PKFH, JK, JH, GJMS), pp. 357–362.
DATEDATE-2010-KarnerASW #network #runtime #simulation #using
Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.
DATEDATE-2010-MarianiAVYPSZ #design #framework #industrial #manycore #resource management #runtime
An industrial design space exploration framework for supporting run-time resource management on multi-core systems (GM, PA, GV, CYC, GP, CS, VZ), pp. 196–201.
DATEDATE-2010-ShafiqueBH #adaptation #energy #estimation #named #predict #runtime #video
enBudget: A Run-Time Adaptive Predictive Energy-Budgeting scheme for energy-aware Motion Estimation in H.264/MPEG-4 AVC video encoder (MS, LB, JH), pp. 1725–1730.
DATEDATE-2010-WenCCL #debugging #named #parallel #runtime #source code
RunAssert: A non-intrusive run-time assertion for parallel programs debugging (CNW, SHC, TFC, TJL), pp. 287–290.
VLDBVLDB-2010-BrunoNR #query #slicing
Slicing Long-Running Queries (NB, VRN, RR), pp. 530–541.
VLDBVLDB-2010-DittrichQJKSS
Hadoop++: Making a Yellow Elephant Run Like a Cheetah (Without It Even Noticing) (JD, JAQR, AJ, YK, VS, JS), pp. 518–529.
WCREWCRE-2010-PerscheidSHGH #analysis #behaviour #online #runtime
Immediacy through Interactivity: Online Analysis of Run-time Behavior (MP, BS, RH, FG, MH), pp. 77–86.
PEPMPEPM-2010-RudolphT #bytecode #code generation #named #runtime #type safety
Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.
CIAACIAA-2010-DrosteM #regular expression
Regular Expressions on Average and in the Long Run (MD, IM), pp. 211–221.
LATALATA-2010-CrochemoreIKRRW #on the #polynomial #string
On the Maximal Number of Cubic Runs in a String (MC, CSI, MK, JR, WR, TW), pp. 227–238.
AdaSIGAda-2010-RasC #runtime
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.
GPCEGPCE-2010-NavasBP #component #embedded #evolution #framework #runtime
A component-based run-time evolution infrastructure for resource-constrained embedded systems (JFN, JPB, JP), pp. 73–82.
ICSEICSE-2010-SongHCSM #modelling #representation #runtime
SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.
ASPLOSASPLOS-2010-YuanMXTZP #fault #named #runtime
SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.
HPDCHPDC-2010-HeZKDM #case study
Case study for running HPC applications in public clouds (QH, SZ, BK, DCD, TM), pp. 395–401.
HPDCHPDC-2010-SivagamaVN #component #framework #middleware #multi #named
Morco: middleware framework for long-running multi-component applications on batch grids (SMS, SSV, RSN), pp. 328–331.
HPDCHPDC-2010-TeodoroHCF #optimisation #runtime
Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.
PPoPPPPoPP-2010-TzannesCBV #adaptation #lazy evaluation #runtime
Lazy binary-splitting: a run-time adaptive work-stealing scheduler (AT, GCC, RB, UV), pp. 179–190.
DACDAC-2009-ShojaeiGBGSH #composition #heuristic #multi #runtime
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management (HS, AHG, TB, MG, SS, RH), pp. 917–922.
DATEDATE-2009-FiorinPS #monitoring #runtime
MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.
DATEDATE-2009-GregertsenS #ada #multi #performance #runtime
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller (KNG, AS), pp. 1572–1575.
PODSPODS-2009-CohenKS #automaton #probability #xml
Running tree automata on probabilistic XML (SC, BK, YS), pp. 227–236.
SIGMODSIGMOD-2009-KaderBMK #named #optimisation #runtime
ROX: run-time optimization of XQueries (RAK, PAB, SM, MvK), pp. 615–626.
ITiCSEITiCSE-2009-Rosenbloom #contest #programming
Running a programming contest in an introductory computer science course (AR), p. 347.
CIAACIAA-J-2008-MatsumotoHT09 #automaton #implementation #pattern matching #performance #runtime
A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 717–733.
LATALATA-2009-MatsubaraKBS #string
A Series of Run-Rich Strings (WM, KK, HB, AS), pp. 578–587.
CHICHI-2009-SakamotoHII #interface #sketching
Sketch and run: a stroke-based interface for home robots (DS, KH, MI, TI), pp. 197–200.
HCIHCI-NT-2009-MiyazakiSY #behaviour #distributed #java #runtime #using #virtual machine
Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
HCIHCI-VAD-2009-BreinerGMMZ #adaptation #runtime #user interface
Run-Time Adaptation of a Universal User Interface for Ambient Intelligent Production Environments (KB, DG, OM, GM, DZ), pp. 663–672.
ICEISICEIS-SAIC-2009-CiuffoI #case study #collaboration #information management #recommendation #using
Using Grids to Support Information Filtering Systems — A Case Study of Running Collaborative Filtering Recommendations on gLite (LNC, EI), pp. 12–18.
KDDKDD-2009-CrookFKL #web
Seven pitfalls to avoid when running controlled experiments on the web (TC, BF, RK, RL), pp. 1105–1114.
SACSAC-2009-KokashA #coordination #transaction
Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.
SACSAC-2009-LeoniGLM #adaptation #mobile #online #process
On-line adaptation of sequential mobile processes running concurrently (MdL, GDG, YL, MM), pp. 1345–1352.
ICSEICSE-2009-EpifaniGMT #adaptation #evolution #parametricity #runtime
Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.
SPLCSPLC-2009-CetinaHZFP #runtime #variability
Strategies for variability transformation at run-time (CC, ØH, XZ, FF, VP), pp. 61–70.
SPLCSPLC-2009-JepsenB #product line
Running a software product line: standing still is going backwards (HPJ, DB), pp. 101–110.
HPCAHPCA-2009-PowellBEMSY #named #parametricity #runtime #using
CAMP: A technique to estimate per-structure power at run-time using a few simple parameters (MDP, AB, JSE, SSM, BRS, SMY), pp. 289–300.
HPDCHPDC-2009-GlasnerV #adaptation #predict #runtime
Adaptive run-time prediction in heterogeneous environments (CG, JV), pp. 61–62.
ICLPICLP-2009-MeraLH #framework #runtime #testing #verification
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.
ASEASE-2008-AndrewsGWX #effectiveness #random testing
Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.
CASECASE-2008-LiQ08a #performance #requirements #scheduling
The impact of the qual-run requirements of APC on the scheduling performance in semiconductor manufacturing (LL, FQ), pp. 242–246.
DACDAC-2008-BauerSH #embedded #runtime #set
Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.
DACDAC-2008-ChaudhuriGFHD #configuration management #embedded #runtime
An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.
DACDAC-2008-FaruqueKH #communication #distributed #named #runtime
ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.
DATEDATE-2008-BauerSKH #embedded #runtime #set
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.
DATEDATE-2008-HolzenspiesHKS #multi #runtime #streaming
Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC) (PKFH, JH, JK, GJMS), pp. 212–217.
DATEDATE-2008-QuSN #configuration management #performance #runtime
Improving the Efficiency of Run Time Reconfigurable Devices by Configuration Locking (YQ, JPS, JN), pp. 264–267.
ESOPESOP-2008-MatthewsA #exclamation #morphism #parametricity #polymorphism #runtime #theorem
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
CIAACIAA-2008-BaturoPR #word
The Number of Runs in Sturmian Words (PB, MP, WR), pp. 252–261.
CIAACIAA-2008-MatsumotoHT #automaton #implementation #pattern matching #performance #runtime
A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 201–211.
LATALATA-2008-Giraud #string
Not So Many Runs in Strings (MG), pp. 232–239.
CSCWCSCW-2008-BardzellBPR #effectiveness
Blissfully productive: grouping and cooperation in world of warcraft instance runs (SB, JB, TP, KNR), pp. 357–360.
ICPRICPR-2008-EskofierHK #classification
Classification of perceived running fatigue in digital sports (BE, FH, PK), pp. 1–4.
ICPRICPR-2008-XuanSCTTL #image
Reversible binary image data hiding by run-length histogram modification (GX, YQS, PC, XT, JT, JL), pp. 1–4.
ICMTICMT-2008-WongG #empirical #on the #specification #visualisation
On Specifying and Visualising Long-Running Empirical Studies (PYHW, JG), pp. 76–90.
TOOLSTOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics #uml
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
HPDCHPDC-2008-ManosMKCKT #distributed #performance #using
Distributed mpi cross-site run performance using mpig (SM, MDM, OK, PVC, NTK, BRT), pp. 229–230.
WICSAWICSA-2007-NavarroLR #architecture #aspect-oriented #requirements
Requirements and Scenarios: Running Aspect-Oriented Software Architectures (EN, PL, IR), p. 23.
ASEASE-2007-FischerM #consistency #transaction
Ensuring consistency in long running transactions (JF, RM), pp. 54–63.
DATEDATE-2007-ClausZMS #configuration management #hardware #using #video
Using partial-run-time reconfigurable hardware to accelerate video processing in driver assistance system (CC, JZ, FHM, WS), pp. 498–503.
DATEDATE-2007-QuSN #configuration management #energy #interactive #runtime #scalability #using
Interactive presentation: Using dynamic voltage scaling to reduce the configuration energy of run time reconfigurable devices (YQ, JPS, JN), pp. 147–152.
VLDBVLDB-2007-ChaudhuriKRP #execution #query
Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.
VLDBVLDB-2007-PossNW #analysis #why
Why You Should Run TPC-DS: A Workload Analysis (MP, RON, DW), pp. 1138–1149.
ICSMEICSM-2007-Bergin #adaptation #runtime
Runtime Adaptation of Long-Running Applications for Improved Caching (JB), pp. 509–510.
WCREWCRE-2007-GermanGR
A Model to Understand the Building and Running Inter-Dependencies of Software (DMG, JMGB, GR), pp. 140–149.
SEFMSEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction
Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
HCIHCI-IDU-2007-TesorieroMLG #design pattern #human-computer
HCI Design Patterns for PDA Running Space Structured Applications (RT, FMS, MDL, JAG), pp. 1206–1215.
ICSEICSE-2007-YuanM #feedback #runtime #testing #user interface #using
Using GUI Run-Time State as Feedback to Generate Test Cases (XY, AMM), pp. 396–405.
CGOCGO-2007-KotzmannM #analysis #optimisation #runtime
Run-Time Support for Optimizations Based on Escape Analysis (TK, HM), pp. 49–60.
COCVCOCV-2007-BloemGJPPW #hardware
Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
SOSPSOSP-2007-TucekLHXZ #named
Triage: diagnosing production run failures at the user’s site (JT, SL, CH, SX, YZ), pp. 131–144.
ISSTAISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
DACDAC-2006-ZhuQ #fault tolerance #multi #prototype #runtime
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery (XZ, WQ), pp. 53–56.
DATEDATE-2006-AlimondaACP #approach #energy #optimisation #pipes and filters #runtime
A control theoretic approach to run-time energy optimization of pipelined processing in MPSoCs (AA, AA, SC, AP), pp. 876–877.
DATEDATE-2006-PettisRL #automation #operating system #policy #runtime
Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.
DATEDATE-2006-QuSN #configuration management #parallel #runtime
A parallel configuration model for reducing the run-time reconfiguration overhead (YQ, JPS, JN), pp. 965–969.
SIGMODSIGMOD-2006-LiuZR #memory management #query #runtime
Run-time operator state spilling for memory intensive long-running queries (BL, YZ, EAR), pp. 347–358.
SCAMSCAM-2006-SawinR #algorithm #graph #runtime
Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.
FMFM-2006-PnueliZ #model checking #runtime #verification
PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.
AdaEuropeAdaEurope-2006-Cheng #ada #detection #realtime #runtime
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems (JC), pp. 167–178.
SACSAC-2006-ArastehHS #adaptation #image #segmentation
Adaptive dynamic run-length coding for image segmentation (SA, CCH, ES), pp. 31–36.
FSEFSE-2006-ZhangTG #execution #performance #slicing #source code
Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
CCCC-2006-GuoRW #execution #fault #locality
Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.
CAVCAV-2006-Harel #aspect-oriented #game studies #source code #verification
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs (DH), pp. 3–4.
CSLCSL-2006-Aehlig #automaton #finite #infinity #semantics
A Finite Semantics of Simply-Typed λ Terms for Infinite Runs of Automata (KA), pp. 104–118.
ISSTAISSTA-2006-KiviluomaKM #architecture #aspect-oriented #behaviour #monitoring #runtime #using
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects (KK, JK, TM), pp. 181–190.
ASEASE-2005-AgarwalSWS #concurrent #detection #runtime #using
Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.
DATEDATE-2005-AroraRRJ #embedded #monitoring #runtime
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.
DATEDATE-2005-NolletMAM #configuration management #hardware #resource management #runtime
Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware Tiles (VN, TM, PA, JYM), pp. 234–239.
DATEDATE-2005-ResanoMC #configuration management #hardware #heuristic #hybrid #runtime #scheduling
A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable Hardware (JR, DM, FC), pp. 106–111.
VLDBVLDB-2005-HaftmannKL #database #execution #parallel
Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.
WRLAWRLA-2004-JohnsenOA05 #concurrent #runtime
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.
ICSMEICSM-2005-TilevichSH #java #legacy #named #web
Appletizing: Running Legacy Java Code Remotely from a Web Browser (ET, YS, MH), pp. 91–100.
EDOCEDOC-2005-KarastoyanovaHCLB #adaptation #runtime
Extending BPEL for Run Time Adaptability (DK, AH, MC, FL, APB), pp. 15–26.
SIGIRSIGIR-2005-Singhal #challenge
Challenges in running a commercial search engine (AS), p. 432.
OOPSLAOOPSLA-2005-ArnoldWR #performance #repository #using #virtual machine
Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.
GPCEGPCE-2005-AktemurJKC #generative #optimisation #runtime
Optimizing Marshalling by Run-Time Program Generation (BA, JJ, SNK, LC), pp. 221–236.
GPCEGPCE-2005-KaminAM #generative #optimisation #runtime
Source-Level Optimization of Run-Time Program Generators (SNK, BA, PM), pp. 293–308.
SACSAC-2005-MilazzoPTU #distributed #runtime
Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.
SACSAC-2005-MitchellP #metric #runtime #using
Using object-level run-time metrics to study coupling between objects (ÁM, JFP), pp. 1456–1462.
CCCC-2005-GapeyevLPS #runtime #xml
XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.
HPCAHPCA-2005-QinLZ #detection #memory management #named
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs (FQ, SL, YZ), pp. 291–302.
HPDCHPDC-2005-LangeSD #automation #network #runtime
Automatic dynamic run-time optical network reservations (JRL, AIS, PAD), pp. 255–264.
HPDCHPDC-2005-SundararajGD #adaptation #performance #runtime
Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.
CBSECBSE-2004-MuskensC #component #multi #predict #runtime
Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems (JM, MRVC), pp. 162–177.
DACDAC-2004-FrancescoMABCM #approach #hardware #runtime
An integrated hardware/software approach for run-time scratchpad management (FP, PM, DA, LB, FC, JMM), pp. 238–243.
DATEDATE-DF-2004-BoschettiSB #architecture #configuration management #image #runtime
A Run-Time Reconfigurable Datapath Architecture for Image Processing Applications (MRB, ISS, SB), pp. 242–247.
DRRDRR-2004-TaghvaBNCY #proximity
The impact of running headers and footers on proximity searching (KT, JB, TAN, JSC, RY), pp. 1–5.
SIGMODSIGMOD-2004-ChaudhuriNR #query #sql
Estimating Progress of Long Running SQL Queries (SC, VRN, RR), pp. 803–814.
ESOPESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
FASEFASE-2004-Bocchi #composition #transaction
Compositional Nested Long Running Transactions (LB), pp. 194–208.
CSMRCSMR-2004-DucasseLB #runtime
High-Level Polymetric Views of Condensed Run-time Information (SD, ML, RB), pp. 309–318.
STOCSTOC-2004-LovaszV
Hit-and-run from a corner (LL, SV), pp. 310–314.
ICALPICALP-2004-AlekhnovichHI #algorithm #bound #exponential #satisfiability
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas (MA, EAH, DI), pp. 84–96.
ICEISICEIS-v1-2004-WangJL #process #transaction
A Transaction Model for Long Running Business Processes (JW, BJ, JL), pp. 267–274.
CIKMCIKM-2004-LuoLLL #data access #fine-grained #named #query #runtime #xml
QFilter: fine-grained run-time XML access control via NFA-based query rewriting (BL, DL, WCL, PL), pp. 543–552.
SEKESEKE-2004-SetiadiNKM #invariant #java
Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.
OOPSLAOOPSLA-2004-WeimerN #fault #runtime
Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.
LOPSTRLOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code
Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.
SACSAC-2004-AnconaC #implementation #runtime
Implementing the essence of reflection: a reflective run-time environment (MA, WC), pp. 1503–1507.
SACSAC-2004-DengYWL #flexibility #process #runtime #workflow
Enhancement of workflow flexibility by composing activities at run-time (SD, ZY, ZW, HL), pp. 667–673.
ICSEICSE-2004-YanGSAK #architecture #named
DiscoTect: A System for Discovering Architectures from Running Systems (HY, DG, BRS, JA, RK), pp. 470–479.
ASPLOSASPLOS-2004-GomaaPV #named #operating system #smt
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system (MAG, MDP, TNV), pp. 260–270.
DATEDATE-2003-GericotaASF #configuration management #logic #runtime
Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.
IWPCIWPC-2003-GschwindOP #comprehension #runtime #using
Using Run-Time Data for Program Comprehension (TG, JO, MP), pp. 245–250.
PLDIPLDI-2003-StroutCF #composition #runtime
Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.
CIAACIAA-2003-GuingneKN #automaton #complexity
Running Time Complexity of Printing an Acyclic Automaton (FG, AK, FN), pp. 131–140.
AdaEuropeAdaEurope-2003-MasmanoRRC #ada #linux #realtime
Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
KDDKDD-2003-BarryZM #architecture #information management #simulation
Architecting a knowledge discovery engine for military commanders utilizing massive runs of simulations (PSB, JZ, MM), pp. 699–704.
CCCC-2003-BurrowsFW #runtime #source code #type checking
Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.
CGOCGO-2003-KaminCJ #code generation #java #named #runtime
Jumbo: Run-Time Code Generation for Java and Its Applications (SK, LC, AJ), pp. 48–58.
CBSECBSE-2003-JiaA #feature model #interactive #runtime
Run-Time Management of Feature Interactions (YJ, JMA), p. 7.
CBSECBSE-2003-JongeMC #component #predict #runtime
Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.
DACDAC-2002-ChandraC #reduction #testing #using
Reduction of SOC test data volume, scan power and testing time using alternating run-length codes (AC, KC), pp. 673–678.
DACDAC-2002-HortaLTP #configuration management #hardware #plugin #runtime
Dynamic hardware plugins in an FPGA with partial run-time reconfiguration (ELH, JWL, DET, DBP), pp. 343–348.
ICSMEICSM-2002-VandewoudeB #component #embedded #evolution #runtime
Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.
PEPMASIA-PEPM-2002-AffeldtMSY #bytecode #runtime
Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.
AdaEuropeAdaEurope-2002-DewarHCW #ada #runtime
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
ICEISICEIS-2002-KrishnaswamyLZ #data mining #distributed #mining #optimisation #predict #runtime
Supporting the Optimisation of Distributed Data Mining by Predicting Application Run Times (SK, SWL, ABZ), pp. 374–381.
ICEISICEIS-2002-ViaeneBDVP #pattern matching #pattern recognition #proving #recognition #state of the art
Proof Running Two State-Of-The-Art Pattern Recognition Techniques in the Field of Direct Marketing (SV, BB, GD, JV, DVdP), pp. 446–454.
ICPRICPR-v1-2002-YamNC #automation #identification #on the
On the Relationship of Human Walking and Running: Automatic Person Identification by Gait (CYY, MSN, JNC), pp. 287–290.
ICPRICPR-v2-2002-AnconaCSD #complexity #detection #image #parametricity #runtime
Object Detection in Images: Run-Time Complexity and Parameter Selection of Support Vector Machines (NA, GC, ES, AD), pp. 426–429.
ICPRICPR-v2-2002-ChengCK #behaviour #sequence #video
Recognising Human Running Behaviour in Sports Video Sequences (FC, WJC, JK), pp. 1017–1020.
ICPRICPR-v3-2002-SuriLSL #3d #automation
Automatic Local Effect of Window/Level on 3-D Scale-Space Ellipsoidal Filtering on Run-Off-Arteries from White Blood Magnetic Resonanc Angiography (JSS, KL, SS, SL), pp. 899–902.
KDDKDD-2002-El-RamlySS #approach #behaviour #mining #runtime
From run-time behavior to usage scenarios: an interaction-pattern mining approach (MER, ES, PGS), pp. 315–324.
UMLUML-2002-Selic #question
Does Your Software Creak as It Runs? (BS), p. 162.
TOOLSTOOLS-USA-2002-ComptonW #runtime
A Run-time System for SCOOP (MC, RW), pp. 119–157.
SACSAC-2002-KrishnaswamyLZ #data mining #estimation #metric #mining #quality #runtime
Application run time estimation: a quality of service metric for web-based data mining services (SK, SWL, ABZ), pp. 1153–1159.
HPDCHPDC-2002-Plale #data type #memory management #runtime
Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering (BP), pp. 171–178.
ASEASE-2001-GiannakopoulouH #source code #verification
Automata-Based Verification of Temporal Properties on Running Programs (DG, KH), pp. 412–416.
ICDARICDAR-2001-MoriSHMM #feature model #recognition #robust
Robust Feature Extraction Based on Run-Length Compensation for Degraded Handwritten Character Recognition (MM, MS, NH, HM, NM), pp. 650–654.
ICDARICDAR-2001-WakedSB #documentation #image #using
Segmenting Document Images Using Diagonal White Runs and Vertical Edges (BW, CYS, SB), pp. 194–199.
FASEFASE-2001-LoginovYHR #debugging #runtime #type checking
Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.
STOCSTOC-2001-AdlemanCGH #self
Running time and program size for self-assembled squares (LMA, QC, AG, MDAH), pp. 740–748.
FLOPSFLOPS-J1-1998-LedererD01 #automation #runtime #verification
Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.
CIAACIAA-2001-HolzerK #encoding #image #order #using
Improving Raster Image Run-Length Encoding Using Data Order (MH, MK), pp. 161–176.
ICFPICFP-2001-Duggan #type system
Type-Based Hot Swapping of Running Modules (DD), pp. 62–73.
AdaEuropeAdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
AdaEuropeAdaEurope-2001-Tokar #ada #runtime
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
SACSAC-2001-ZaninGA #adaptation #low cost #named #network
ADAPT — a low-cost videoconference model for personal computers running on IP networks (FAZ, LZG, MJBA), pp. 446–447.
HPDCHPDC-2001-Dinda #online #predict
Online Prediction of the Running Time of Tasks (PAD), pp. 383–382.
LCTESLCTES-OM-2001-KimH #embedded #hybrid #power management #realtime #runtime #scalability
Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor (MK, SH), pp. 11–19.
DACDAC-2000-LeeS #power management #realtime #runtime
Run-time voltage hopping for low-power real-time systems (SL, TS), pp. 806–809.
CSEETCSEET-2000-Wahl #student #testing #usability
Student-Run Usability Testing (NJW), pp. 123–131.
WCREWCRE-2000-UngC #re-engineering #runtime
Dynamic Re-engineering of Binary Code with Run-time Feedbacks (DU, CC), pp. 2–10.
ICPRICPR-v2-2000-FanW #approach
A Run-Length Coding Based Approach to Stroke Extraction of Chinese Characters (KCF, WHW), pp. 2565–2568.
ICPRICPR-v3-2000-AlbregtsenND #adaptation #distance #matrix
Adaptive Gray Level Run Length Features from Class Distance Matrices (FA, BN, HED), pp. 3746–3749.
SACSAC-2000-Rowstron #comprehension #optimisation
Optimising the Linda in Primitive: Understanding Tuple-Space Run-times (AITR), pp. 227–232.
CCCC-2000-YuR #parallel #runtime
Techniques for Reducing the Overhead of Run-Time Parallelization (HY, LR), pp. 232–248.
HPCAHPCA-2000-LefurgyPM #runtime
Reducing Code Size with Run-Time Decompression (CL, EP, TNM), pp. 218–228.
HPDCHPDC-2000-ChangK #adaptation #automation #distributed #runtime
Automatic Configuration and Run-time Adaptation of Distributed Applications (FC, VK), pp. 11–20.
DATEDATE-1999-KaulV #clustering #design #latency #runtime
Temporal Partitioning combined with Design Space Exploration for Latency Minimization of Run-Time Reconfigured Designs (MK, RV), pp. 202–209.
ICDARICDAR-1999-MisraAC #image #memory management #performance
A Memory Efficient Method for Fast Transposing Run-length Encoded Images (VM, JFA, AKC), pp. 161–164.
VLDBVLDB-1999-FlorescuLSY #data-driven #optimisation #runtime
Optimization of Run-time Management of Data Intensive Web-sites (DF, AYL, DS, KY), pp. 627–638.
PEPMPEPM-1999-HornofJ #code generation #compilation #runtime
Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.
PLDIPLDI-1999-DingK #performance #runtime
Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time (CD, KK), pp. 229–241.
PLDIPLDI-1999-GrantPMCE #evaluation #optimisation #runtime #staged
An Evaluation of Staged Run-Time Optimizations in DyC (BG, MP, MM, CC, SJE), pp. 293–304.
PLDIPLDI-1999-MarletCB #for free #incremental #performance #runtime
Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.
PLDIBest-of-PLDI-1999-GrantPMCE99a #evaluation #optimisation #runtime #staged
An evaluation of staged run-time optimizations in DyC (with retrospective) (BG, MP, MM, CC, SJE), pp. 656–669.
AdaEuropeAdaEurope-1999-Canazzi #ada #framework #runtime
yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.
ECOOPECOOP-1999-Kniesel #adaptation #component #runtime #type safety
Type-Safe Delegation for Run-Time Component Adaptation (GK), pp. 351–366.
TOOLSTOOLS-ASIA-1999-GuangWJ #ada #compilation #distributed #parallel
Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.
PPDPPPDP-1999-DowdSHCJ #runtime
Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.
CCCC-1999-PatelR #implementation #parallel #runtime
Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.
PPoPPPPoPP-1999-TangSY #execution #memory management #multi #runtime #thread
Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.
DATEDATE-1998-Lin #compilation #concurrent #performance #runtime #scheduling #source code
Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling (BL), pp. 211–217.
SIGMODSIGMOD-1998-LarsonG #generative #memory management #sorting
Memory Management During Run Generation in External Sorting (PÅL, GG), pp. 472–483.
PLDIPLDI-1998-WicklineLP #code generation #runtime
Run-time Code Generation and Modal-ML (PW, PL, FP), pp. 224–235.
OOPSLAOOPSLA-1998-CartwrightS #java #programming language #runtime
Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
PPDPALP-PLILP-1998-SmausHK #logic programming #source code #termination
Termination of Logic Programs with block Declarations Running in Several Modes (JGS, PMH, AK), pp. 73–88.
ICSEICSE-1998-BinkleyS #dependence #maintenance #metric #predict #runtime #validation
Validation of the Coupling Dependency Metric as a Predictor of Run-Time Failures and Maintenance Measures (ABB, SRS), pp. 452–455.
HPCAHPCA-1998-ZhangRT #distributed #hardware #parallel #runtime
Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.
HPDCHPDC-1998-MillerHPJ #distributed #simulation
Simulation Steering with SCIRun in a Distributed Environment (MM, CDH, SGP, CRJ), pp. 364–365.
ISMMISMM-1998-KakkadJW #compilation #runtime
Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
ISMMISMM-1998-LarsonK #memory management
Memory Allocation for Long-Running Server Applications (PÅL, MK), pp. 176–185.
LICSLICS-1998-Alfaro #behaviour #how #probability #verification
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LdA), pp. 454–465.
PEPMPEPM-1997-GrantMPCE #c #runtime
Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.
EDOCEDOC-1997-Hull #transaction
Global Predicate-Based Locks in Long-Running Transactions (RH), p. 197–?.
ECOOPECOOP-1997-EvansD #architecture #distributed #evolution #named #persistent #runtime
DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems (HE, PD), pp. 243–275.
PPDPPLILP-1997-Fujinami #automation #code generation #object-oriented #runtime
Automatic Run-Time Code Generation in Object-Oriented Languages (NF), pp. 423–424.
ICSEICSE-1997-BasiliM #experience #how #tutorial
The Experience Factory: How to Build and Run One (Tutorial) (VRB, FEM), pp. 643–644.
HPDCHPDC-1997-WeissmanZ #parallel #runtime #scheduling
Run-time Support for Scheduling Parallel Applications in Heterogeneous NOWs (JBW, XZ), pp. 347–355.
SOSPSOSP-1997-BugnionDR #multi #named #operating system #scalability
DISCO: Running Commodity Operating Systems on Scalable Multiprocessors (EB, SD, MR), pp. 143–156.
PLDIPLDI-1996-LeeL #code generation #ml #optimisation #runtime
Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.
PLDIBest-of-PLDI-1996-LeeL96a #code generation #ml #optimisation #runtime
Optimizing ML with run-time code generation (with retrospective) (PL, ML), pp. 540–553.
OOPSLAOOPSLA-1996-DurhamJ #framework #programming language #runtime #visual notation
A Framework for Run-Time Systems and its Visual Programming Language (AMD, REJ), pp. 406–420.
POPLPOPL-1996-ConselN #approach #c #runtime
A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.
ASPLOSASPLOS-1996-DwarkadasCZ #distributed #memory management #runtime
An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System (SD, ALC, WZ), pp. 186–197.
HPDCHPDC-1996-IversonOF #distributed #estimation #execution #runtime #statistics
Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, , GJF), pp. 263–270.
ICDARICDAR-v1-1995-KimK #online #recognition
On-line recognition of run-on Korean characters (PKK, HJK), pp. 54–57.
PLDIPLDI-1995-RauchwergerP #parallel #reduction #runtime
The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.
SASSAS-1995-JagannathanW #analysis #effectiveness #runtime
Effective Flow Analysis for Avoiding Run-Time Checks (SJ, AKW), pp. 207–224.
CIKMCIKM-1995-SoparkarKJA #database #parallel #runtime #source code
Run-Time Parallelization of Sequential Database Programs (NS, PK, HVJ, AA), pp. 74–81.
PEPMPEPM-1994-LeoneL #code generation #lightweight #runtime
Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.
PLDIPLDI-1994-HolzleU #feedback #optimisation #runtime
Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback (UH, DU), pp. 326–336.
PLDIPLDI-1994-NetzerW #debugging #incremental #source code
Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.
STOCSTOC-1994-VavasisY
An accelerated interior point method whose running time depends only on A (extended abstract) (SAV, YY), pp. 512–521.
LISPLFP-1994-AdityaFH #garbage collection #re-engineering #runtime #using
Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction (SA, CHF, JEH), pp. 12–23.
LISPLFP-1994-HuelsbergenLA #data type #runtime #thread #using
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation (LH, JRL, AA), pp. 79–90.
AdaEuropeAdaEurope-1994-Moller #ada #runtime
Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.
AdaEuropeAdaEurope-1994-SilbergR #ada #certification #runtime
FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
AdaTRI-Ada-1994-Moller #ada #runtime
Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.
PPDPPLILP-1994-HundehegeLX #hybrid #memory management #optimisation #program transformation #runtime #semantics
Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.
SACSAC-1994-Bennet #distributed #message passing #parallel #runtime #source code
Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs (TB), pp. 510–514.
ASPLOSASPLOS-1994-ArgadeCT #monitoring #operating system #runtime
A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications (PVA, DKC, CT), pp. 122–131.
HPDCHPDC-1994-MechosoFS #distributed
Running a Climate Model in a Heterogeneous, Distributed Computer Environment (CRM, JDF, JAS), pp. 79–84.
ICDARICDAR-1993-MonaganR #graph #representation #using
Appropriate base representation using a run graph (GM, MR), pp. 623–626.
VLDBVLDB-1993-Hong #database #distributed #performance
Performance of Catalog Management Schemes for Running Access Modules in a Locally Distributed Database System (EKH), pp. 194–205.
AdaEuropeAdaEurope-1993-BjornfotALW #ada #distributed #protocol #runtime
Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.
AdaEuropeAdaEurope-1993-BurnsWH #ada #modelling #performance #runtime #scheduling
The Impact of an Ada Run-Time System’s Performance Characteristics on Scheduling Models (AB, AJW, ADH), pp. 240–248.
OOPSLAOOPSLA-1993-BalK #runtime #using
Object Distribution in Orca using Compile-Time and Run-Time Techniques (HEB, MFK), pp. 162–177.
TOOLSTOOLS-USA-1992-HeyesJQW #object-oriented
An Object-Oriented Run Control Environment for the CEBAF Data Acquisition System (GH, EJ, DRQ, WAWI), pp. 171–183.
ASPLOSASPLOS-1992-FisherF #branch #predict
Predicting Conditional Branch Directions From Previous Runs of a Program (JAF, SMF), pp. 85–95.
VLDBVLDB-1991-DayalHL #process #transaction
A Transactional Model for Long-Running Activities (UD, MH, RL), pp. 113–122.
ICALPICALP-1991-KanepsF #automaton #probability #regular expression
Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata (JK, RF), pp. 174–185.
ISSTATAV-1991-GuptaS #approach #detection #performance #runtime
Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.
ISSTATAV-1991-Sankar #algebra #consistency #runtime #specification
Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.
SIGMODSIGMOD-1990-DayalHL #process #transaction
Organizing Long-Running Activities with Triggers and Transactions (UD, MH, RL), pp. 204–214.
POPLPOPL-1990-Rouaix #runtime
Safe Run-time Overloading (FR), pp. 355–366.
ICLPCLP-1990-JacobsLW90 #logic programming #multi #runtime #source code
Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.
VLDBVLDB-1989-IyerRV #algorithm #multi
Percentile Finding Algorithm for Multiple Sorted Runs (BRI, GRR, PJV), pp. 135–144.
ASPLOSASPLOS-1989-Mulder #runtime
Data Buffering: Run-Time Versus Compile-Time Support (HM), pp. 144–151.
ASPLOSASPLOS-1989-VegdahlP #implementation #runtime
The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.
DACDAC-1987-LadjadjM #benchmark #metric
Benchmark Runs of the Subscripted D-Algorithm with Observation Path Mergers on the Brglez-Fujiwara Circuits (ML, JFM), pp. 509–515.
SIGIRSIGIR-1980-LeaS #runtime #using
An Associative File Store Using Fragments for Run-Time Indexing and Compression (RML, EJS), pp. 280–295.
ICALPICALP-1978-Galil #algorithm #on the #string
On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm (ZG), pp. 241–250.
AdaDIPL-1976-FischerL #data access #runtime
Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.

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.