Stem run$ (all stems)

370 papers:

DATE-2015-HuangKGT #scheduling

Run and be safe: mixed-criticality scheduling with temporary processor speedup (PH, PK, GG, LT), pp. 1329–1334.

DATE-2015-HuriauxCS #design #runtime

Design flow and run-time management for compressed FPGA configurations (CH, AC, OS), pp. 1551–1554.

DATE-2015-SkalickySLF #framework #hardware #runtime

A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.

ESOP-2015-TorontoMH #probability #source code

Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.

TACAS-2015-BassetKTW #game studies #multi #probability #synthesis

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.

ICSME-2015-GaoH #architecture #named #web

ArchFLoc: Locating and explaining architectural features in running web applications (YG, DH), pp. 333–335.

CIAA-2015-Giaquinta #automaton #nondeterminism

Run-Length Encoded Nondeterministic KMP and Suffix Automata (EG), pp. 102–113.

LATA-2015-FiciLLP #online

Online Computation of Abelian Runs (GF, TL, AL, ÉPG), pp. 391–401.

FM-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.

CHI-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.

AdaEurope-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.

CAiSE-2015-WeilerGS #detection #performance #runtime #twitter

Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.

KDD-2015-Kohavi #lessons learnt #online #testing

Online Controlled Experiments: Lessons from Running A/B/n Tests for 12 Years (RK), p. 1.

SEKE-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.

MoDELS-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.

SAC-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.

SAC-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.

CC-2015-AckermannRMS #java #optimisation #runtime

A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.

HPCA-2015-LoCIS #monitoring #runtime #using

Run-time monitoring with adjustable overhead using dataflow-guided filtering (DL, TC, MI, GES), pp. 662–674.

ICLP-J-2015-StulovaMH #runtime

Practical run-time checking via unobtrusive property caching (NS, JFM, MVH), pp. 726–741.

LICS-2015-BrazdilKKN #behaviour #probability

Long-Run Average Behaviour of Probabilistic Vector Addition Systems (TB, SK, AK, PN), pp. 44–55.

ASE-2014-Schneider14a #fault #modelling #runtime

Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.

DAC-2014-ChenWLXY #optimisation #runtime

Run-Time Technique for Simultaneous Aging and Power Optimization in GPGPUs (XC, YW, YL, YX, HY), p. 6.

DAC-2014-CuiMSW #detection #hardware #runtime #synthesis

High-Level Synthesis for Run-Time Hardware Trojan Detection and Recovery (XC, KM, LS, KW), p. 6.

DAC-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.

DATE-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.

DATE-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.

DATE-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.

DATE-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.

DATE-2014-WildermannGT #distributed #multi #resource management #runtime

Multi-objective distributed run-time resource management for many-cores (SW, MG, JT), pp. 1–6.

SIGMOD-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.

ITiCSE-2014-StrieweG14a #runtime #using

Code reading exercises using run time traces (MS, MG), p. 346.

ESOP-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.

STOC-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.

IFM-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.

SFM-2014-BoerG #monitoring #runtime

Combining Monitoring with Run-Time Assertion Checking (FSdB, SdG), pp. 217–262.

CHI-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.

EDOC-2014-PourmirzaDG #collaboration #runtime

Switching Parties in a Collaboration at Run-Time (SP, RMD, PWPJG), pp. 136–141.

ICEIS-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.

SEKE-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.

SIGIR-2014-JayasingheWSC

Extending test collection pools without manual runs (GKJ, WW, MS, JSC), pp. 915–918.

SIGIR-2014-VoorheesLE #as a service #evaluation #on the

On run diversity in Evaluation as a Service (EMV, JL, ME), pp. 959–962.

ECOOP-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.

SAC-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.

SAC-2014-SahuR #clustering #runtime

Creating heterogeneity at run time by dynamic cache and bandwidth partitioning schemes (AS, SR), pp. 872–879.

ASPLOS-2014-ArulrajJL #hardware #memory management

Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.

HPCA-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.

HPCA-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.

HPCA-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.

CAV-2014-BrazdilKKN #low cost

Minimizing Running Costs in Consumption Systems (TB, DK, AK, PN), pp. 457–472.

ECSA-2013-PascualPF #architecture #runtime #variability

Run-Time Support to Manage Architectural Variability Specified with CVL (GGP, MP, LF), pp. 282–298.

DAC-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.

DAC-2013-QuanP #algorithm #runtime

A scenario-based run-time task mapping algorithm for MPSoCs (WQ, ADP), p. 6.

DATE-2013-NavasSO #array #configuration management #flexibility #framework #reuse

The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks (BN, IS, JÖ), pp. 833–838.

DATE-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.

SEFM-2013-BoerGW #runtime #verification

Run-Time Verification of Coboxes (FSdB, SdG, PYHW), pp. 259–273.

DUXU-NTE-2013-TrevorrowF #behaviour

Running to Behavior Change (PT, MF), pp. 585–593.

HIMI-HSM-2013-SakuradaH #interface #physics #using

A New Presence Display System Using Physical Interface Running on IP-Phones (TS, YH), pp. 411–420.

HILT-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.

SEKE-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.

SIGIR-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.

ECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime

Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.

MoDELS-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.

MoDELS-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.

ECOOP-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.

SAC-2013-AktasG #assessment #authentication #control flow #runtime

Run-time control flow authentication: an assessment on contemporary x86 platforms (EA, KG), pp. 1859–1866.

SAC-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-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.

ASPLOS-2013-ArulrajCJL #hardware #performance

Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.

CASE-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.

DAC-2012-0001AG #memory management #realtime #runtime

Run-time power-down strategies for real-time SDRAM memory controllers (KC, BA, KG), pp. 988–993.

DAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case

Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.

DATE-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.

DATE-2012-HameedBH #adaptation #architecture #manycore #runtime

Dynamic cache management in multi-core architectures through run-time adaptation (FH, LB, JH), pp. 485–490.

DATE-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.

DATE-2012-WangRR #energy #runtime

Run-time power-gating in caches of GPUs for leakage energy savings (YW, SR, NR), pp. 300–303.

WCRE-2012-AmmarA #diagrams #empirical #evaluation #runtime

Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks (NA, MAA), pp. 367–376.

GT-VMT-2012-Heussner #communication #graph #graph grammar #model checking #process

Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).

HILT-2012-EilersK #adaptation #runtime

Adapting ACATS for use with run-time checks suppressed (DE, TK), pp. 97–102.

ICPR-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.

MoDELS-2012-RamirezCBS #nondeterminism #runtime

Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.

MoDELS-2012-RamirezCBS #nondeterminism #runtime

Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time (AJR, BHCC, NB, PS), pp. 53–69.

Onward-2012-TaeumelSH #programming #runtime

The VIVIDE programming environment: connecting run-time information with programmers’ system knowledge (MT, BS, RH), pp. 117–126.

OOPSLA-2012-StricklandTFF #runtime

Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.

TOOLS-EUROPE-2012-LangrTDD #c++ #runtime

Fake Run-Time Selection of Template Arguments in C++ (DL, PT, TD, JPD), pp. 140–154.

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.

POPL-2012-MonsantoFHW #compilation #network #programming language #runtime

A compiler and run-time system for network programming languages (CM, NF, RH, DW), pp. 217–230.

RE-2012-WelshB #adaptation #evaluation #modelling #requirements #runtime #self

Run-time model evaluation for requirements model-driven self-adaptation (KW, NB), pp. 329–330.

ICSE-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.

SLE-2012-CuadradoGL #runtime

The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.

ECSA-2011-CasanovaSGA #architecture #fault #runtime

Architecture-Based Run-Time Fault Diagnosis (PC, BRS, DG, RA), pp. 261–277.

ASE-2011-WelshSB #requirements #runtime #towards

Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.

ASE-2011-ZhangMPL #monitoring #predict #runtime

Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.

CASE-2011-KaoCW #case study

Preliminary study of run-to-run control utilizing virtual metrology with reliance index (CAK, FTC, WMW), pp. 256–261.

DAC-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.

DATE-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.

DATE-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.

DATE-2011-AnjamNW #multi #runtime

Targeting code diversity with run-time adjustable issue-slots in a chip multiprocessor (FA, MN, SW), pp. 1358–1363.

DATE-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.

DATE-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.

DATE-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.

DATE-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.

DATE-2011-WinterF #runtime #scheduling

Guaranteed service virtual channel allocation in NoCs for run-time task scheduling (MW, GF), pp. 419–424.

ITiCSE-2011-StrieweG11a #automation #programming #runtime #using

Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.

ESOP-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.

TACAS-2011-AlglaveMSS #hardware #named #testing

Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.

WCRE-2011-CheathamR

Function Insight: Highlighting Suspicious Sections in Binary Run Traces (MC, JR), pp. 433–434.

PEPM-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.

ICFP-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.

DUXU-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.

HCI-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.

OOPSLA-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.

GPCE-2011-NystromWD #compilation #named #runtime #scala

Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.

GPCE-2011-SteckLS #modelling #runtime

Model-driven engineering and run-time model-usage in service robotics (AS, AL, CS), pp. 73–82.

PADL-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.

RE-2011-WelshSB #nondeterminism #runtime

Run-time resolution of uncertainty (KW, PS, NB), pp. 355–356.

SAC-2011-KontogiannisWM #clustering #comprehension #reduction #runtime

Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.

ESEC-FSE-2011-CheungSM

Partial replay of long-running applications (AC, ASL, SM), pp. 135–145.

ICSE-2011-FilieriGT #model checking #performance #probability #runtime

Run-time efficient probabilistic model checking (AF, CG, GT), pp. 341–350.

ASPLOS-2011-RansfordSF #named

Mementos: system support for long-running computation on RFID-scale devices (BR, JS, KF), pp. 159–170.

CGO-2011-NuzmanDRRWYCZ

Vapor SIMD: Auto-vectorize once, run everywhere (DN, SD, ER, IR, KW, DY, AC, AZ), pp. 151–160.

ASE-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.

DATE-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.

DATE-2010-KarnerASW #network #runtime #simulation #using

Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.

DATE-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.

DATE-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.

DATE-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.

VLDB-2010-BrunoNR #query #slicing

Slicing Long-Running Queries (NB, VRN, RR), pp. 530–541.

VLDB-2010-DittrichQJKSS

Hadoop++: Making a Yellow Elephant Run Like a Cheetah (Without It Even Noticing) (JD, JAQR, AJ, YK, VS, JS), pp. 518–529.

WCRE-2010-PerscheidSHGH #analysis #behaviour #online #runtime

Immediacy through Interactivity: Online Analysis of Run-time Behavior (MP, BS, RH, FG, MH), pp. 77–86.

PEPM-2010-RudolphT #bytecode #code generation #named #runtime #type safety

Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.

CIAA-2010-DrosteM #regular expression

Regular Expressions on Average and in the Long Run (MD, IM), pp. 211–221.

LATA-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.

SIGAda-2010-RasC #runtime

A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller (JR, AMKC), pp. 13–22.

GPCE-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.

ICSE-2010-SongHCSM #modelling #representation #runtime

SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.

ASPLOS-2010-YuanMXTZP #fault #named #runtime

SherLog: error diagnosis by connecting clues from run-time logs (DY, HM, WX, LT, YZ, SP), pp. 143–154.

HPDC-2010-HeZKDM #case study

Case study for running HPC applications in public clouds (QH, SZ, BK, DCD, TM), pp. 395–401.

HPDC-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.

HPDC-2010-TeodoroHCF #optimisation #runtime

Run-time optimizations for replicated dataflows on heterogeneous environments (GT, TDRH, ÜVÇ, RF), pp. 13–24.

PPoPP-2010-TzannesCBV #adaptation #lazy evaluation #runtime

Lazy binary-splitting: a run-time adaptive work-stealing scheduler (AT, GCC, RB, UV), pp. 179–190.

DAC-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.

DATE-2009-FiorinPS #monitoring #runtime

MPSoCs run-time monitoring through Networks-on-Chip (LF, GP, CS), pp. 558–561.

DATE-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.

PODS-2009-CohenKS #automaton #probability #xml

Running tree automata on probabilistic XML (SC, BK, YS), pp. 227–236.

SIGMOD-2009-KaderBMK #named #optimisation #runtime

ROX: run-time optimization of XQueries (RAK, PAB, SM, MvK), pp. 615–626.

ITiCSE-2009-Rosenbloom #contest #programming

Running a programming contest in an introductory computer science course (AR), p. 347.

CIAA-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.

LATA-2009-MatsubaraKBS #string

A Series of Run-Rich Strings (WM, KK, HB, AS), pp. 578–587.

CHI-2009-SakamotoHII #interface #sketching

Sketch and run: a stroke-based interface for home robots (DS, KH, MI, TI), pp. 197–200.

HCI-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.

HCI-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.

ICEIS-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.

KDD-2009-CrookFKL #web

Seven pitfalls to avoid when running controlled experiments on the web (TC, BF, RK, RL), pp. 1105–1114.

SAC-2009-KokashA #coordination #transaction

Applying Reo to service coordination in long-running business transactions (NK, FA), pp. 1381–1382.

SAC-2009-LeoniGLM #adaptation #mobile #online #process

On-line adaptation of sequential mobile processes running concurrently (MdL, GDG, YL, MM), pp. 1345–1352.

ICSE-2009-EpifaniGMT #adaptation #evolution #parametricity #runtime

Model evolution by run-time parameter adaptation (IE, CG, RM, GT), pp. 111–121.

SPLC-2009-CetinaHZFP #runtime #variability

Strategies for variability transformation at run-time (CC, ØH, XZ, FF, VP), pp. 61–70.

SPLC-2009-JepsenB #product line

Running a software product line: standing still is going backwards (HPJ, DB), pp. 101–110.

HPCA-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.

HPDC-2009-GlasnerV #adaptation #predict #runtime

Adaptive run-time prediction in heterogeneous environments (CG, JV), pp. 61–62.

ICLP-2009-MeraLH #framework #runtime #testing #verification

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.

ASE-2008-AndrewsGWX #effectiveness #random testing

Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.

CASE-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.

DAC-2008-BauerSH #embedded #runtime #set

Run-time instruction set selection in a transmutable embedded processor (LB, MS, JH), pp. 56–61.

DAC-2008-ChaudhuriGFHD #configuration management #embedded #runtime

An 8x8 run-time reconfigurable FPGA embedded in a SoC (SC, SG, FF, PH, JLD), pp. 120–125.

DAC-2008-FaruqueKH #communication #distributed #named #runtime

ADAM: run-time agent-based distributed application mapping for on-chip communication (MAAF, RK, JH), pp. 760–765.

DATE-2008-BauerSKH #embedded #runtime #set

Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set (LB, MS, SK, JH), pp. 752–757.

DATE-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.

DATE-2008-QuSN #configuration management #performance #runtime

Improving the Efficiency of Run Time Reconfigurable Devices by Configuration Locking (YQ, JPS, JN), pp. 264–267.

ESOP-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.

CIAA-2008-BaturoPR #word

The Number of Runs in Sturmian Words (PB, MP, WR), pp. 252–261.

CIAA-2008-MatsumotoHT #automaton #implementation #pattern matching #performance #runtime

A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 201–211.

LATA-2008-Giraud #string

Not So Many Runs in Strings (MG), pp. 232–239.

CSCW-2008-BardzellBPR #effectiveness

Blissfully productive: grouping and cooperation in world of warcraft instance runs (SB, JB, TP, KNR), pp. 357–360.

ICPR-2008-EskofierHK #classification

Classification of perceived running fatigue in digital sports (BE, FH, PK), pp. 1–4.

ICPR-2008-XuanSCTTL #image

Reversible binary image data hiding by run-length histogram modification (GX, YQS, PC, XT, JT, JL), pp. 1–4.

ICMT-2008-WongG #empirical #on the #specification #visualisation

On Specifying and Visualising Long-Running Empirical Studies (PYHW, JG), pp. 76–90.

TOOLS-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.

HPDC-2008-ManosMKCKT #distributed #performance #using

Distributed mpi cross-site run performance using mpig (SM, MDM, OK, PVC, NTK, BRT), pp. 229–230.

WICSA-2007-NavarroLR #architecture #aspect-oriented #requirements

Requirements and Scenarios: Running Aspect-Oriented Software Architectures (EN, PL, IR), p. 23.

ASE-2007-FischerM #consistency #transaction

Ensuring consistency in long running transactions (JF, RM), pp. 54–63.

DATE-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.

DATE-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.

VLDB-2007-ChaudhuriKRP #execution #query

Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.

VLDB-2007-PossNW #analysis #why

Why You Should Run TPC-DS: A Workload Analysis (MP, RON, DW), pp. 1138–1149.

ICSM-2007-Bergin #adaptation #runtime

Runtime Adaptation of Long-Running Applications for Improved Caching (JB), pp. 509–510.

WCRE-2007-GermanGR

A Model to Understand the Building and Running Inter-Dependencies of Software (DMG, JMGB, GR), pp. 140–149.

SEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction

Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.

HCI-IDU-2007-TesorieroMLG #design pattern #human-computer

HCI Design Patterns for PDA Running Space Structured Applications (RT, FMS, MDL, JAG), pp. 1206–1215.

ICSE-2007-YuanM #feedback #runtime #testing #user interface #using

Using GUI Run-Time State as Feedback to Generate Test Cases (XY, AMM), pp. 396–405.

CGO-2007-KotzmannM #analysis #optimisation #runtime

Run-Time Support for Optimizations Based on Escape Analysis (TK, HM), pp. 49–60.

COCV-2007-BloemGJPPW #hardware

Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.

SOSP-2007-TucekLHXZ #named

Triage: diagnosing production run failures at the user’s site (JT, SL, CH, SX, YZ), pp. 131–144.

ISSTA-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.

DAC-2006-ZhuQ #fault tolerance #multi #prototype #runtime

Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery (XZ, WQ), pp. 53–56.

DATE-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.

DATE-2006-PettisRL #automation #operating system #policy #runtime

Automatic run-time selection of power policies for operating systems (NP, JR, YHL), pp. 508–513.

DATE-2006-QuSN #configuration management #parallel #runtime

A parallel configuration model for reducing the run-time reconfiguration overhead (YQ, JPS, JN), pp. 965–969.

SIGMOD-2006-LiuZR #memory management #query #runtime

Run-time operator state spilling for memory intensive long-running queries (BL, YZ, EAR), pp. 347–358.

SCAM-2006-SawinR #algorithm #graph #runtime

Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.

FM-2006-PnueliZ #model checking #runtime #verification

PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.

AdaEurope-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.

SAC-2006-ArastehHS #adaptation #image #segmentation

Adaptive dynamic run-length coding for image segmentation (SA, CCH, ES), pp. 31–36.

FSE-2006-ZhangTG #execution #performance #slicing #source code

Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.

CC-2006-GuoRW #execution #fault #locality

Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.

CAV-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.

CSL-2006-Aehlig #automaton #finite #infinity #semantics

A Finite Semantics of Simply-Typed λ Terms for Infinite Runs of Automata (KA), pp. 104–118.

ISSTA-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.

ASE-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.

DATE-2005-AroraRRJ #embedded #monitoring #runtime

Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring (DA, SR, AR, NKJ), pp. 178–183.

DATE-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.

DATE-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.

VLDB-2005-HaftmannKL #database #execution #parallel

Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.

WRLA-2004-JohnsenOA05 #concurrent #runtime

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.

ICSM-2005-TilevichSH #java #legacy #named #web

Appletizing: Running Legacy Java Code Remotely from a Web Browser (ET, YS, MH), pp. 91–100.

EDOC-2005-KarastoyanovaHCLB #adaptation #runtime

Extending BPEL for Run Time Adaptability (DK, AH, MC, FL, APB), pp. 15–26.

SIGIR-2005-Singhal #challenge

Challenges in running a commercial search engine (AS), p. 432.

OOPSLA-2005-ArnoldWR #performance #repository #using #virtual machine

Improving virtual machine performance using a cross-run profile repository (MA, AW, VTR), pp. 297–311.

GPCE-2005-AktemurJKC #generative #optimisation #runtime

Optimizing Marshalling by Run-Time Program Generation (BA, JJ, SNK, LC), pp. 221–236.

GPCE-2005-KaminAM #generative #optimisation #runtime

Source-Level Optimization of Run-Time Program Generators (SNK, BA, PM), pp. 293–308.

SAC-2005-MilazzoPTU #distributed #runtime

Handling run-time updates in distributed applications (MM, GP, ET, GU), pp. 1375–1380.

SAC-2005-MitchellP #metric #runtime #using

Using object-level run-time metrics to study coupling between objects (ÁM, JFP), pp. 1456–1462.

CC-2005-GapeyevLPS #runtime #xml

XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.

HPCA-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.

HPDC-2005-LangeSD #automation #network #runtime

Automatic dynamic run-time optical network reservations (JRL, AIS, PAD), pp. 255–264.

HPDC-2005-SundararajGD #adaptation #performance #runtime

Increasing application performance in virtual environments through run-time inference and adaptation (AIS, AG, PAD), pp. 47–58.

CBSE-2004-MuskensC #component #multi #predict #runtime

Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems (JM, MRVC), pp. 162–177.

DAC-2004-FrancescoMABCM #approach #hardware #runtime

An integrated hardware/software approach for run-time scratchpad management (FP, PM, DA, LB, FC, JMM), pp. 238–243.

DATE-DF-2004-BoschettiSB #architecture #configuration management #image #runtime

A Run-Time Reconfigurable Datapath Architecture for Image Processing Applications (MRB, ISS, SB), pp. 242–247.

DRR-2004-TaghvaBNCY #proximity

The impact of running headers and footers on proximity searching (KT, JB, TAN, JSC, RY), pp. 1–5.

SIGMOD-2004-ChaudhuriNR #query #sql

Estimating Progress of Long Running SQL Queries (SC, VRN, RR), pp. 803–814.

ESOP-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.

FASE-2004-Bocchi #composition #transaction

Compositional Nested Long Running Transactions (LB), pp. 194–208.

CSMR-2004-DucasseLB #runtime

High-Level Polymetric Views of Condensed Run-time Information (SD, ML, RB), pp. 309–318.

STOC-2004-LovaszV

Hit-and-run from a corner (LL, SV), pp. 310–314.

ICALP-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.

ICEIS-v1-2004-WangJL #process #transaction

A Transaction Model for Long Running Business Processes (JW, BJ, JL), pp. 267–274.

CIKM-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.

SEKE-2004-SetiadiNKM #invariant #java

Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.

OOPSLA-2004-WeimerN #fault #runtime

Finding and preventing run-time error handling mistakes (WW, GCN), pp. 419–431.

LOPSTR-2004-BrasselHHSV #functional #logic programming #profiling #runtime #source code

Run-Time Profiling of Functional Logic Programs (BB, MH, FH, JS, GV), pp. 182–197.

SAC-2004-AnconaC #implementation #runtime

Implementing the essence of reflection: a reflective run-time environment (MA, WC), pp. 1503–1507.

SAC-2004-DengYWL #flexibility #process #runtime #workflow

Enhancement of workflow flexibility by composing activities at run-time (SD, ZY, ZW, HL), pp. 667–673.

ICSE-2004-YanGSAK #architecture #named

DiscoTect: A System for Discovering Architectures from Running Systems (HY, DG, BRS, JA, RK), pp. 470–479.

ASPLOS-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.

DATE-2003-GericotaASF #configuration management #logic #runtime

Run-Time Management of Logic Resources on Reconfigurable Systems (MGG, GRA, MLS, JMF), pp. 10974–10979.

IWPC-2003-GschwindOP #comprehension #runtime #using

Using Run-Time Data for Program Comprehension (TG, JO, MP), pp. 245–250.

PLDI-2003-StroutCF #composition #runtime

Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.

CIAA-2003-GuingneKN #automaton #complexity

Running Time Complexity of Printing an Acyclic Automaton (FG, AK, FN), pp. 131–140.

AdaEurope-2003-MasmanoRRC #ada #linux #realtime

Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.

KDD-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.

CC-2003-BurrowsFW #runtime #source code #type checking

Run-Time Type Checking for Binary Programs (MB, SNF, JLW), pp. 90–105.

CGO-2003-KaminCJ #code generation #java #named #runtime

Jumbo: Run-Time Code Generation for Java and Its Applications (SK, LC, AJ), pp. 48–58.

CBSE-2003-JiaA #feature model #interactive #runtime

Run-Time Management of Feature Interactions (YJ, JMA), p. 7.

CBSE-2003-JongeMC #component #predict #runtime

Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.

DAC-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.

DAC-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.

ICSM-2002-VandewoudeB #component #embedded #evolution #runtime

Run-time Evolution for Embedded Component-Oriented Systems (YV, YB), pp. 242–245.

ASIA-PEPM-2002-AffeldtMSY #bytecode #runtime

Supporting objects in run-time bytecode specialization (RA, HM, ES, AY), pp. 50–60.

AdaEurope-2002-DewarHCW #ada #runtime

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.

ICEIS-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.

ICEIS-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.

ICPR-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.

ICPR-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.

ICPR-v2-2002-ChengCK #behaviour #sequence #video

Recognising Human Running Behaviour in Sports Video Sequences (FC, WJC, JK), pp. 1017–1020.

ICPR-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.

KDD-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.

UML-2002-Selic #question

Does Your Software Creak as It Runs? (BS), p. 162.

TOOLS-USA-2002-ComptonW #runtime

A Run-time System for SCOOP (MC, RW), pp. 119–157.

SAC-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.

HPDC-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.

ASE-2001-GiannakopoulouH #source code #verification

Automata-Based Verification of Temporal Properties on Running Programs (DG, KH), pp. 412–416.

ICDAR-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.

ICDAR-2001-WakedSB #documentation #image #using

Segmenting Document Images Using Diagonal White Runs and Vertical Edges (BW, CYS, SB), pp. 194–199.

FASE-2001-LoginovYHR #debugging #runtime #type checking

Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.

STOC-2001-AdlemanCGH #self

Running time and program size for self-assembled squares (LMA, QC, AG, MDAH), pp. 740–748.

FLOPS-J1-1998-LedererD01 #automation #runtime #verification

Automatic Result Verification by Complete Run-Time Checking of Computations (EFAL, RAD), pp. 97–124.

CIAA-2001-HolzerK #encoding #image #order #using

Improving Raster Image Run-Length Encoding Using Data Order (MH, MK), pp. 161–176.

ICFP-2001-Duggan #type system

Type-Based Hot Swapping of Running Modules (DD), pp. 62–73.

AdaEurope-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.

AdaEurope-2001-Tokar #ada #runtime

New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.

SAC-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.

HPDC-2001-Dinda #online #predict

Online Prediction of the Running Time of Tasks (PAD), pp. 383–382.

LCTES-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.

DAC-2000-LeeS #power management #realtime #runtime

Run-time voltage hopping for low-power real-time systems (SL, TS), pp. 806–809.

CSEET-2000-Wahl #student #testing #usability

Student-Run Usability Testing (NJW), pp. 123–131.

WCRE-2000-UngC #re-engineering #runtime

Dynamic Re-engineering of Binary Code with Run-time Feedbacks (DU, CC), pp. 2–10.

ICPR-v2-2000-FanW #approach

A Run-Length Coding Based Approach to Stroke Extraction of Chinese Characters (KCF, WHW), pp. 2565–2568.

ICPR-v3-2000-AlbregtsenND #adaptation #distance #matrix

Adaptive Gray Level Run Length Features from Class Distance Matrices (FA, BN, HED), pp. 3746–3749.

SAC-2000-Rowstron #comprehension #optimisation

Optimising the Linda in Primitive: Understanding Tuple-Space Run-times (AITR), pp. 227–232.

CC-2000-YuR #parallel #runtime

Techniques for Reducing the Overhead of Run-Time Parallelization (HY, LR), pp. 232–248.

HPCA-2000-LefurgyPM #runtime

Reducing Code Size with Run-Time Decompression (CL, EP, TNM), pp. 218–228.

HPDC-2000-ChangK #adaptation #automation #distributed #runtime

Automatic Configuration and Run-time Adaptation of Distributed Applications (FC, VK), pp. 11–20.

DATE-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.

ICDAR-1999-MisraAC #image #memory management #performance

A Memory Efficient Method for Fast Transposing Run-length Encoded Images (VM, JFA, AKC), pp. 161–164.

VLDB-1999-FlorescuLSY #data-driven #optimisation #runtime

Optimization of Run-time Management of Data Intensive Web-sites (DF, AYL, DS, KY), pp. 627–638.

PEPM-1999-HornofJ #code generation #compilation #runtime

Certifying Compilation and Run-Time Code Generation (LH, TJ), pp. 60–74.

PLDI-1999-DingK #performance #runtime

Improving Cache Performance in Dynamic Applications through Data and Computation Reorganization at Run Time (CD, KK), pp. 229–241.

PLDI-1999-GrantPMCE #evaluation #optimisation #runtime #staged

An Evaluation of Staged Run-Time Optimizations in DyC (BG, MP, MM, CC, SJE), pp. 293–304.

PLDI-1999-MarletCB #for free #incremental #performance #runtime

Efficient Incremental Run-Time Specialization for Free (RM, CC, PB), pp. 281–292.

Best-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.

AdaEurope-1999-Canazzi #ada #framework #runtime

yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.

ECOOP-1999-Kniesel #adaptation #component #runtime #type safety

Type-Safe Delegation for Run-Time Component Adaptation (GK), pp. 351–366.

TOOLS-ASIA-1999-GuangWJ #ada #compilation #distributed #parallel

Parallel Objects in Distributed Ada95 Compiler and Running System — PDEFA (YG, DW, LJ), pp. 320–325.

PPDP-1999-DowdSHCJ #runtime

Run Time Type Information in Mercury (TD, ZS, FH, TCC, DJ), pp. 224–243.

CC-1999-PatelR #implementation #parallel #runtime

Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.

PPoPP-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.

DATE-1998-Lin #compilation #concurrent #performance #runtime #scheduling #source code

Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling (BL), pp. 211–217.

SIGMOD-1998-LarsonG #generative #memory management #sorting

Memory Management During Run Generation in External Sorting (PÅL, GG), pp. 472–483.

PLDI-1998-WicklineLP #code generation #runtime

Run-time Code Generation and Modal-ML (PW, PL, FP), pp. 224–235.

OOPSLA-1998-CartwrightS #java #programming language #runtime

Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.

ALP-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.

ICSE-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.

HPCA-1998-ZhangRT #distributed #hardware #parallel #runtime

Hardware for Speculative Run-Time Parallelization in Distributed Shared-Memory Multiprocessors (YZ, LR, JT), pp. 162–173.

HPDC-1998-MillerHPJ #distributed #simulation

Simulation Steering with SCIRun in a Distributed Environment (MM, CDH, SGP, CRJ), pp. 364–365.

ISMM-1998-KakkadJW #compilation #runtime

Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.

ISMM-1998-LarsonK #memory management

Memory Allocation for Long-Running Server Applications (PÅL, MK), pp. 176–185.

LICS-1998-Alfaro #behaviour #how #probability #verification

How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LdA), pp. 454–465.

PEPM-1997-GrantMPCE #c #runtime

Annotation-Directed Run-Time Specialization in C (BG, MM, MP, CC, SJE), pp. 163–178.

EDOC-1997-Hull #transaction

Global Predicate-Based Locks in Long-Running Transactions (RH), p. 197–?.

ECOOP-1997-EvansD #architecture #distributed #evolution #named #persistent #runtime

DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems (HE, PD), pp. 243–275.

PLILP-1997-Fujinami #automation #code generation #object-oriented #runtime

Automatic Run-Time Code Generation in Object-Oriented Languages (NF), pp. 423–424.

ICSE-1997-BasiliM #experience #how #tutorial

The Experience Factory: How to Build and Run One (Tutorial) (VRB, FEM), pp. 643–644.

HPDC-1997-WeissmanZ #parallel #runtime #scheduling

Run-time Support for Scheduling Parallel Applications in Heterogeneous NOWs (JBW, XZ), pp. 347–355.

SOSP-1997-BugnionDR #multi #named #operating system #scalability

DISCO: Running Commodity Operating Systems on Scalable Multiprocessors (EB, SD, MR), pp. 143–156.

PLDI-1996-LeeL #code generation #ml #optimisation #runtime

Optimizing ML with Run-Time Code Generation (PL, ML), pp. 137–148.

Best-of-PLDI-1996-LeeL96a #code generation #ml #optimisation #runtime

Optimizing ML with run-time code generation (with retrospective) (PL, ML), pp. 540–553.

OOPSLA-1996-DurhamJ #framework #programming language #runtime #visual notation

A Framework for Run-Time Systems and its Visual Programming Language (AMD, REJ), pp. 406–420.

POPL-1996-ConselN #approach #c #runtime

A General Approach for Run-Time Specialization and its Application to C (CC, FN), pp. 145–156.

ASPLOS-1996-DwarkadasCZ #distributed #memory management #runtime

An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System (SD, ALC, WZ), pp. 186–197.

HPDC-1996-IversonOF #distributed #estimation #execution #runtime #statistics

Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, FÖ, GJF), pp. 263–270.

ICDAR-v1-1995-KimK #online #recognition

On-line recognition of run-on Korean characters (PKK, HJK), pp. 54–57.

PLDI-1995-RauchwergerP #parallel #reduction #runtime

The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization (LR, DAP), pp. 218–232.

SAS-1995-JagannathanW #analysis #effectiveness #runtime

Effective Flow Analysis for Avoiding Run-Time Checks (SJ, AKW), pp. 207–224.

CIKM-1995-SoparkarKJA #database #parallel #runtime #source code

Run-Time Parallelization of Sequential Database Programs (NS, PK, HVJ, AA), pp. 74–81.

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

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

PLDI-1994-HolzleU #feedback #optimisation #runtime

Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback (UH, DU), pp. 326–336.

PLDI-1994-NetzerW #debugging #incremental #source code

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.

STOC-1994-VavasisY

An accelerated interior point method whose running time depends only on A (extended abstract) (SAV, YY), pp. 512–521.

LFP-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.

LFP-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.

AdaEurope-1994-Moller #ada #runtime

Run-Time Check Elimination for Ada 9X (PLM), pp. 11–23.

AdaEurope-1994-SilbergR #ada #certification #runtime

FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.

TRI-Ada-1994-Moller #ada #runtime

Run-Time Check Elimination for Ada 9X (PLM), pp. 122–128.

PLILP-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.

SAC-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.

ASPLOS-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.

HPDC-1994-MechosoFS #distributed

Running a Climate Model in a Heterogeneous, Distributed Computer Environment (CRM, JDF, JAS), pp. 79–84.

ICDAR-1993-MonaganR #graph #representation #using

Appropriate base representation using a run graph (GM, MR), pp. 623–626.

VLDB-1993-Hong #database #distributed #performance

Performance of Catalog Management Schemes for Running Access Modules in a Locally Distributed Database System (EKH), pp. 194–205.

AdaEurope-1993-BjornfotALW #ada #distributed #protocol #runtime

Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.

AdaEurope-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.

OOPSLA-1993-BalK #runtime #using

Object Distribution in Orca using Compile-Time and Run-Time Techniques (HEB, MFK), pp. 162–177.

TOOLS-USA-1992-HeyesJQW #object-oriented

An Object-Oriented Run Control Environment for the CEBAF Data Acquisition System (GH, EJ, DRQ, WAWI), pp. 171–183.

ASPLOS-1992-FisherF #branch #predict

Predicting Conditional Branch Directions From Previous Runs of a Program (JAF, SMF), pp. 85–95.

VLDB-1991-DayalHL #process #transaction

A Transactional Model for Long-Running Activities (UD, MH, RL), pp. 113–122.

ICALP-1991-KanepsF #automaton #probability #regular expression

Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata (JK, RF), pp. 174–185.

TAV-1991-GuptaS #approach #detection #performance #runtime

Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races (RG, MS), pp. 98–111.

TAV-1991-Sankar #algebra #consistency #runtime #specification

Run-Time Consistency Checking of Algebraic Specifications (SS), pp. 123–129.

SIGMOD-1990-DayalHL #process #transaction

Organizing Long-Running Activities with Triggers and Transactions (UD, MH, RL), pp. 204–214.

POPL-1990-Rouaix #runtime

Safe Run-time Overloading (FR), pp. 355–366.

CLP-1990-JacobsLW90 #logic programming #multi #runtime #source code

Multiple Specialization of Logic Programs with Run-Time Test (DJ, AL, WHW), pp. 717–731.

VLDB-1989-IyerRV #algorithm #multi

Percentile Finding Algorithm for Multiple Sorted Runs (BRI, GRR, PJV), pp. 135–144.

ASPLOS-1989-Mulder #runtime

Data Buffering: Run-Time Versus Compile-Time Support (HM), pp. 144–151.

ASPLOS-1989-VegdahlP #implementation #runtime

The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.

DAC-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.

SIGIR-1980-LeaS #runtime #using

An Associative File Store Using Fragments for Run-Time Indexing and Compression (RML, EJS), pp. 280–295.

ICALP-1978-Galil #algorithm #on the #string

On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm (ZG), pp. 241–250.

DIPL-1976-FischerL #data access #runtime

Run-time checking of data access in Pascal-like languages (CNF, RJL), pp. 215–230.