Stem execut$ (all stems)

1065 papers:

DAC-2015-ChenMRC #execution #paradigm #performance

Opportunistic turbo execution in NTC: exploiting the paradigm shift in performance bottlenecks (HC, DM, SR, KC), p. 6.

DAC-2015-KehrQBS #communication #execution #legacy #manycore #parallel

Parallel execution of AUTOSAR legacy applications on multicore ECUs with timed implicit communication (SK, EQ, BB, GS), p. 6.

DAC-2015-RoloffSHT #architecture #parallel #simulation

Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (SR, DS, FH, JT), p. 6.

DATE-2015-DaneseGP #automation #behaviour #execution #modelling

Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.

DATE-2015-DoumaAP #estimation #execution #performance #precise

Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.

DATE-2015-Ibing #architecture #execution #symbolic computation

Architecture description language based retargetable symbolic execution (AI), pp. 241–246.

DATE-2015-PaulinoFBC #configuration management #execution #hardware #using

Transparent acceleration of program execution using reconfigurable hardware (NMCP, JCF, JB, JMPC), pp. 1066–1071.

DATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime

Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.

SIGMOD-2015-JiZJNHF #data type #execution #quality #query

Quality-Driven Continuous Query Execution over Out-of-Order Data Streams (YJ, HZ, ZJ, AN, GH, CF), pp. 889–894.

SIGMOD-2015-WeimerCCCCDLMMM #execution #framework #named

REEF: Retainable Evaluator Execution Framework (MW, YC, BGC, TC, CC, CD, YL, TM, DM, SM, BM, SN, RR, SR, RS, BS, JW), pp. 1343–1355.

VLDB-2015-BuxBLHDL #execution #named #scalability #workflow

SAASFEE: Scalable Scientific Workflow Execution Engine (MB, JB, CL, KH, JD, UL), pp. 1892–1903.

VLDB-2015-HanD #execution #graph #parallel

Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.

VLDB-2015-LeiZRE #execution #pipes and filters

Shared Execution of Recurring Workloads in MapReduce (CL, ZZ, EAR, MYE), pp. 714–725.

VLDB-2015-Liroz-GistauAV #execution #named #parallel #performance

FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.

ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case

Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.

SCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing

Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.

MSR-2015-VasquezWBMP #android #execution #generative #mining

Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.

SANER-2015-NagyMC #approach #concept #query #sql

Where was this SQL query executed? a static concept location approach (CN, LM, AC), pp. 580–584.

PLDI-2015-LuciaR #execution #programming

A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.

PLDI-2015-RenJKAK #execution #hardware #performance #recursion #source code

Efficient execution of recursive programs on commodity vector hardware (BR, YJ, SK, KA, MK), pp. 509–520.

AdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel

An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.

SEKE-2015-ElerDE #exception #execution #generative #symbolic computation #testing

Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.

SEKE-2015-WangSZ #detection #execution #symbolic computation

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.

MoDELS-2015-KhalilD #evolution #execution #incremental #state machine #symbolic computation

Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.

POPL-2015-Agten0P #c #composition #verification

Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.

POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.

SAC-2015-DionisisCP #adaptation #execution #feedback #framework #hybrid #monitoring #using

A hybrid framework for WS-BPEL scenario execution adaptation, using monitoring and feedback data (MD, VC, GP), pp. 1672–1679.

SAC-2015-ElyasovPHRVC #equivalence #execution #testing

AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.

SAC-2015-FonsecaNRP #execution #parallel #realtime

A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.

SAC-2015-FukudaL #library

A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.

SAC-2015-PapeBH #adaptation #data type #execution #optimisation #performance

Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution (TP, CFB, RH), pp. 1970–1977.

SAC-2015-Rubio-MonteroPG #adaptation #evaluation #framework #monte carlo

Evaluation of an adaptive framework for resilient Monte Carlo executions (AJRM, MARP, RMG), pp. 448–455.

SAC-2015-ShahzadJKKKH #execution #in the cloud #mobile

Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.

ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation

Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.

ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation

Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.

ESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation

Targeted program transformations for symbolic execution (CC), pp. 906–909.

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread

Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.

ESEC-FSE-2015-NguyenNDKN #detection #execution #semantics #variability

Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.

ESEC-FSE-2015-SenNGC #execution #multi #named #summary #symbolic computation #using

MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.

ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation

Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.

ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing

Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.

ICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing

DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.

ICSE-v1-2015-YuBC #approach #fault #multi #testing

Does the Failing Test Execute a Single or Multiple Faults? An Approach to Classifying Failing Tests (ZY, CB, KYC), pp. 924–935.

ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation

Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.

SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving

Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.

ASPLOS-2015-HosekC #execution #framework #performance

VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.

ASPLOS-2015-KimKSZX #comparison #execution #fine-grained #on the fly

Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.

ASPLOS-2015-YetimMM #communication #execution #fault #named #parallel

CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.

CGO-2015-JiaoLHM #concurrent #energy #execution #kernel

Improving GPGPU energy-efficiency through concurrent kernel execution and DVFS (QJ, ML, HPH, TM), pp. 1–11.

HPDC-2015-KaxirasKNRS #approach #distributed #execution #memory management #scalability

Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory (SK, DK, MN, AR, KFS), pp. 3–14.

SOSP-2015-RaychevMM #execution #symbolic computation #using

Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.

CAV-2015-FisherKPW #execution #network

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.

ICLP-2015-AriasC #execution #interface #towards

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).

ICLP-2015-DovierFPV #execution #parallel

Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV).

ICLP-2015-ElsawyZA #execution #revisited

CHR Exhaustive Execution — Revisited (AE, AZ, SA).

ICST-2015-CseppentoM #symbolic computation #tool support

Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.

ICST-2015-FarzanHV #concurrent #execution #testing

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.

ICST-2015-HonfiVM #execution #named #symbolic computation #visualisation

SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.

ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.

ICST-2015-YiYGWLZ #execution #symbolic computation

Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.

ISSTA-2015-AdamsenMM #android #execution #testing

Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.

ISSTA-2015-ClappAA #data flow #mining #named #specification

Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.

ISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation

Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.

ISSTA-2015-WangZT #case study #execution #experience #how #symbolic computation #testing

Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE (XW, LZ, PT), pp. 199–210.

RTA-2015-Talcott #execution #formal method #logic #modelling

Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.

CBSE-2014-Attouchi0BM #execution #memory management #monitoring #multitenancy

Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.

CBSE-2014-PresslerVBR #component #deployment #embedded #estimation #execution

Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.

ASE-2014-DingesA #execution #generative #using

Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.

ASE-2014-KauslerS #constraints #evaluation #execution #string #symbolic computation #theorem proving

Evaluation of string constraint solvers in the context of symbolic execution (SK, ES), pp. 259–270.

ASE-2014-LuckowPDFV #approximate #execution #nondeterminism #probability #source code #symbolic computation

Exact and approximate probabilistic symbolic execution for nondeterministic programs (KSL, CSP, MBD, AF, WV), pp. 575–586.

ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing

Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.

ASE-2014-RajanSSK #execution #using

Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.

ASE-2014-RomanoE #library #memory management #named #runtime

symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.

ASE-2014-ZuddasJPMO #comprehension #debugging #named

MIMIC: locating and understanding bugs by analyzing mimicked executions (DZ, WJ, FP, LM, AO), pp. 815–826.

DAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi

A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.

DATE-2014-AlhammadP #execution #manycore #parallel #predict #thread

Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.

DATE-2014-CaplanMMM #execution #reliability #trade-off

Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.

DATE-2014-DuricPSUCVB #execution #named #power management

EVX: Vector execution on low power EDGE cores (MD, OP, AS, OSÜ, AC, MV, DB), pp. 1–4.

VLDB-2014-JayachandranTKN #execution #interactive #query

Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.

VLDB-2014-ToNP #architecture #named #sql #symmetry

SQL/AA: Executing SQL on an Asymmetric Architecture (QCT, BN, PP), pp. 1625–1628.

VLDB-2014-VemuriVPL #execution #scalability

Execution Primitives for Scalable Joins and Aggregations in Map Reduce (SV, MV, KP, RL), pp. 1462–1473.

VLDB-2014-WuWHN #execution #nondeterminism #predict #query

Uncertainty Aware Query Execution Time Prediction (WW, XW, HH, JFN), pp. 1857–1868.

CSEET-2014-Wong #challenge #education #experience #lessons learnt #re-engineering

Experience of teaching Executive Master’s program in Software Engineering: Challenges, lessons learned, and path forward (WEW), pp. 186–187.

CSMR-WCRE-2014-Kamiya #algorithm #execution #keyword

An algorithm for keyword search on an execution path (TK), pp. 328–332.

CSMR-WCRE-2014-PerscheidFH #debugging #execution

Follow the path: Debugging state anomalies along execution histories (MP, TF, RH), pp. 124–133.

ICPC-2014-MatsumuraIKI #execution #java #performance #visualisation

Repeatedly-executed-method viewer for efficient visualization of execution paths and states in Java (TM, TI, YK, KI), pp. 253–257.

PLDI-2014-DavidY #bytecode #code search

Tracelet-based code search in executables (YD, EY), p. 37.

PLDI-2014-GuptaSS #execution #parallel #source code

Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.

PLDI-2014-SridharanGS #adaptation #execution #parallel #performance #source code

Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.

SEFM-2014-RodriguezFHM #erlang #execution #state machine #uml #verification

Execution and Verification of UML State Machines with Erlang (RJR, LÅF, ÁHN, JM), pp. 284–289.

SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.

SFM-2014-BubelMH #analysis #execution #modelling

Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.

ICFP-2014-FredrikssonG #distributed #execution #semantics

Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.

GRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification

Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.

ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation

Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.

HILT-2014-Seidewitz #execution #modelling #uml

UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.

CAiSE-2014-ChanYGM #development #execution #mining #process

Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.

EDOC-2014-0001HPW #execution #framework #implementation #modelling

Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.

ICEIS-v2-2014-ShumskyRW #calculus #execution #process

Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.

KDIR-2014-Bleiweiss #execution #machine learning #using

SoC Processor Discovery for Program Execution Matching Using Unsupervised Machine Learning (AB), pp. 192–201.

SEKE-2014-HuHCC #diagrams #execution #model transformation #uml

Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.

SEKE-2014-SchotsRS #analysis #performance #process

A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.

MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml

Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.

MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml

Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.

ECOOP-2014-FilarettiM #execution #php #semantics

An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.

ECOOP-2014-LeeKZ #concurrent #execution #multi

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.

OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread

Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.

LOPSTR-2014-ElsawyZA #execution #text-to-text

Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.

LOPSTR-2014-Vidal #execution #generative #prolog #testing

Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.

PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.

SAC-2014-Benner-WicknerBBG #execution

Execution support for agenda-driven case management (MBW, MB, TB, VG), pp. 1371–1377.

SAC-2014-NogueiraMV #case study #execution

An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.

FSE-2014-FilieriPVG #execution #statistics #symbolic computation

Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.

ICSE-2014-AvgerinosRCB #execution #symbolic computation

Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.

ICSE-2014-Godefroid #execution

Micro execution (PG), pp. 539–549.

ICSE-2014-NguyenKN #execution #testing #variability #web

Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.

ASPLOS-2014-AndrusHADVN #android #execution #named

Cider: native execution of iOS apps on android (JA, AVH, NA, CD, NV, JN), pp. 367–382.

ASPLOS-2014-BucurKC #execution #prototype #symbolic computation

Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.

ASPLOS-2014-YuHZX #execution #performance

Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.

CGO-2014-PanditG #execution #kernel #multi #source code

Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices (PP, RG), p. 273.

CGO-2014-WuDSABGY #execution #query #relational

Red Fox: An Execution Environment for Relational Query Processing on GPUs (HW, GFD, TS, MA, SB, MG, SY), p. 44.

HPCA-2014-BalasubramanianS #comprehension #execution #physics #reliability

Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.

HPCA-2014-HayengaNL #architecture #execution #named #performance

Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.

HPDC-2014-MaratheHLSRS #effectiveness #execution

Exploiting redundancy for cost-effective, time-constrained execution of HPC applications on amazon EC2 (AM, RH, DKL, BRdS, BR, MS), pp. 279–290.

LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.

PPoPP-2014-IsaacsGBBSH #execution #identification #logic #parallel

Extracting logical structure and identifying stragglers in parallel execution traces (KEI, TG, AB, PTB, MS, BH), pp. 397–398.

PPoPP-2014-LeeKZ #concurrent #execution #multi

Infrastructure-free logging and replay of concurrent execution on multiple cores (KHL, DK, XZ), pp. 371–372.

ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.

ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation

Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.

ISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance

Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.

ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using

Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.

SMT-2014-PalikarevaC #execution #multi #symbolic computation

Multi-solver Support in Symbolic Execution (HP, CC), p. 15.

TAP-2014-HentschelHB #bound #execution #symbolic computation #visualisation

Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.

TAP-2014-KampmannGZ #bound #execution #named #performance #verification

JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.

VMCAI-2014-GustavssonGL #analysis #execution #parallel #using

Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.

CBSE-2013-HeinzemannB #architecture #component #configuration management

Executing reconfigurations in hierarchical component architectures (CH, SB), pp. 3–12.

CBSE-2013-LednickiCS #analysis #execution #worst-case

Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.

QoSA-2013-BerardinelliLM #analysis #execution #non-functional

Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.

ASE-2013-HolderSDT #android #execution

Cloud Twin: Native execution of android applications on the Windows Phone (EH, ES, MD, ET), pp. 598–603.

ASE-2013-HuangMM #proving #smt #using

Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.

ASE-2013-KwonZX #execution #framework #independence #named

PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.

ASE-2013-SumnerZ #analysis #execution #identification

Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.

ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing

Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.

DAC-2013-SinghDK #energy #execution #multi #optimisation #streaming

Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.

DATE-2013-DoganBCABA #analysis #embedded #execution #multi #power management

Synchronizing code execution on ultra-low-power embedded multi-channel signal analysis platforms (AYD, RB, JC, GA, AB, DA), pp. 396–399.

SIGMOD-2013-Hartig #execution #linked data #named #open data #query #traversal #web

SQUIN: a traversal based query execution system for the web of linked data (OH), pp. 1081–1084.

SIGMOD-2013-LimB #execution #optimisation #query

Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.

VLDB-2013-BellamkondaLJZLC #adaptation #big data #execution #parallel

Adaptive and Big Data Scale Parallel Execution in Oracle (SB, HGL, UJ, YZ, VL, TC), pp. 1102–1113.

VLDB-2013-ChunCCRSW #execution #framework #named

REEF: Retainable Evaluator Execution Framework (BGC, TC, CC, RR, RS, MW), pp. 1370–1373.

VLDB-2013-WuCHN #concurrent #database #execution #predict #query #towards

Towards Predicting Query Execution Time for Concurrent and Dynamic Database Workloads (WW, YC, HH, JFN), pp. 925–936.

FASE-2013-LeoniDG #branch #execution #process

Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.

TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.

ICPC-2013-Kamiya #clone detection #detection #named #semantics

Agec: An execution-semantic clone detection tool (TK), pp. 227–229.

ICPC-2013-TrumperDT #comparison #execution #multi #visual notation

Multiscale visual comparison of execution traces (JT, JD, ACT), pp. 53–62.

ICSM-2013-AnandEKSBK #abstraction #analysis #bytecode #framework #memory management #stack

An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables (KA, KE, AK, MS, RB, ADK), pp. 90–99.

ICSM-2013-Kwon #automation #distributed #energy #execution #fault tolerance #re-engineering

Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.

ICSM-2013-SyerJNHNF #execution #performance

Leveraging Performance Counters and Execution Logs to Diagnose Memory-Related Performance Issues (MDS, ZMJ, MN, AEH, MNN, PF), pp. 110–119.

PASTE-2013-DingesCA #automation #concurrent #execution #set

Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.

SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing

A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.

WCRE-2013-NayrollesMV #detection #execution #mining

Improving SOA antipatterns detection in Service Based Systems by mining execution traces (MN, NM, PV), pp. 321–330.

WCRE-2013-Pichler #execution #specification #symbolic computation

Specification extraction by symbolic execution (JP), pp. 462–466.

WCRE-2013-WalkinshawTD #finite #modelling #state machine

Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.

PLDI-2013-HuangZD #concurrent #named

CLAP: recording local executions to reproduce concurrency failures (JH, CZ, JD), pp. 141–152.

LATA-2013-CuiDFI #automaton #execution

Execution Information Rate for Some Classes of Automata (CC, ZD, TRF, OHI), pp. 226–237.

SEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation

Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.

CHI-2013-VermeulenLHC #execution

Crossing the bridge over norman’s gulf of execution: revealing feedforward’s true identity (JV, KL, EvdH, KC), pp. 1931–1940.

HCI-AMTE-2013-FleischmannSS #execution #modelling #process #semantics

Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.

VISSOFT-2013-PalepuJ #behaviour #visualisation

Visualizing constituent behaviors within executions (VKP, JAJ), pp. 1–4.

AdaEurope-2013-AsensioLCN #analysis #approach #execution #safety #worst-case

Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.

CAiSE-2013-BarhamgiBOCCMT #execution #privacy

Secure and Privacy-Preserving Execution Model for Data Services (MB, DB, SO, NCB, FC, MM, HT), pp. 35–50.

CAiSE-2013-ConfortiLRA #execution #process

Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.

EDOC-2013-LenhardW #execution #process

Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.

KDD-2013-KengneFTIRWS #execution #multi #scalability #sequence

Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.

SEKE-2013-BassoWPO #how #question #reuse #tool support

How do You Execute Reuse Tasks Among Tools? (FPB, CMLW, RMP, TCO), pp. 721–726.

ECMFA-2013-0002G #debugging #execution #model transformation

End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.

MoDELS-2013-TisiPC #atl #execution #parallel

Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.

MoDELS-2013-TisiPC #atl #execution #parallel

Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.

OOPSLA-2013-BaoZ #detection #execution #float #on the fly #problem

On-the-fly detection of instability problems in floating-point program execution (TB, XZ), pp. 817–832.

OOPSLA-2013-CarbinMR #hardware #reliability #source code #verification

Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.

OOPSLA-2013-LiSWL #execution #symbolic computation

Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.

LOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem

Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.

PPDP-2013-LamC #constraints #distributed #execution

Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.

RE-2013-Cleland-HuangCH #design #empirical #requirements #using

Using tracelab to design, execute, and baseline empirical requirements engineering experiments (JCH, AC, JHH), pp. 338–339.

SAC-2013-HeckelerSK #component #execution #robust #testing #using

Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.

SAC-2013-JancewiczKMRS #execution

Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals (RJJ, AK, LDM, AR, AAS), pp. 1816–1823.

SAC-2013-KumarR #algorithm #data type #identification #online

Online identification of frequently executed acyclic paths by leveraging data stream algorithms (GK, SR), pp. 1694–1695.

SAC-2013-LaurentBG #debugging #modelling #uml

Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.

SAC-2013-PayetDKV #analysis #execution #scalability

EARs in the wild: large-scale analysis of execution after redirect vulnerabilities (PP, AD, CK, GV), pp. 1792–1799.

ESEC-FSE-2013-BraioneDP #execution #lazy evaluation #symbolic computation #term rewriting

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (PB, GD, MP), pp. 411–421.

ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using

Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.

ICSE-2013-HatcliffRCB #execution #framework #symbolic computation #verification

Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.

ICSE-2013-HosekC #execution #multi

Safe software updates via multi-version execution (PH, CC), pp. 612–621.

ICSE-2013-MaozS #specification

Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.

ICSE-2013-SumnerZ #comparative #difference

Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.

ICSE-2013-YangKP #execution #named #symbolic computation

Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.

ICSE-2013-ZhengZ #detection #execution #static analysis #web

Path sensitive static analysis of web applications for remote code execution vulnerability detection (YZ, XZ), pp. 652–661.

SLE-2013-ArusoaieLR #execution #framework #symbolic computation

A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.

SLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling

Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.

SLE-2013-MayerhoferLWK #domain-specific language #execution #named

xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.

ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification

Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.

ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread

ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.

CGO-2013-AnantpurG #dependence #execution #runtime

Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.

HPCA-2013-RhuE #control flow #execution #gpu #performance

The dual-path execution model for efficient GPU control flow (MR, ME), pp. 591–602.

HPCA-2013-WangCWMZLN #architecture #execution #parallel

A multiple SIMD, multiple data (MSMD) architecture: Parallel execution of dynamic and static SIMD fragments (YW, SC, JW, JM, KZ, WL, XN), pp. 603–614.

CAV-2013-EsparzaLNNSS #execution #ltl #model checking

A Fully Verified Executable LTL Model Checker (JE, PL, RN, TN, AS, JGS), pp. 463–478.

CAV-2013-PalikarevaC #execution #multi #symbolic computation

Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.

ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification

A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.

ICTSS-2013-Ibing #eclipse #execution #parallel #symbolic computation

Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.

ICTSS-2013-SapraMCGC #execution #fault #python #source code #symbolic computation #using

Finding Errors in Python Programs Using Dynamic Symbolic Execution (SS, MM, SC, AG, EMC), pp. 283–289.

ISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface

Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.

TAP-2013-InsaSR #algorithm #debugging #execution #using

Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.

TAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing

Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.

ASE-2012-JamrozikFTH #execution #symbolic computation

Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.

CASE-2012-LeeB #execution #framework #lifecycle #simulation #using

Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.

DAC-2012-ChoiOKH #architecture #data flow #graph #manycore

Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.

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-BeaumontHN #architecture #execution #hardware #replication #security #using

SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware (MRB, BDH, TN), pp. 1000–1005.

DATE-2012-CanedoF #cyber-physical #execution #industrial #parallel #towards

Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.

HT-2012-HartigF #execution #linked data #open data #query #traversal

Foundations of traversal based query execution over linked data (OH, JCF), pp. 43–52.

SIGMOD-2012-AlagiannisBBIA #execution #named #performance #query

NoDB: efficient query execution on raw data files (IA, RB, MB, SI, AA), pp. 241–252.

SIGMOD-2012-SimitsisWCD #data flow #execution #multi #optimisation

Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.

VLDB-2012-GawadeK #analysis #execution #framework #interactive #named #query #visual notation

Stethoscope: A platform for interactive visual analysis of query execution plans (MG, MLK), pp. 1926–1929.

ESOP-2012-HabermaierK #correctness #execution #on the

On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.

FASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using

Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.

CSMR-2012-Dovgalyuk #debugging #dynamic analysis #execution #multi

Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.

CSMR-2012-JaszSBOG #impact analysis #using

Impact Analysis Using Static Execute After in WebKit (JJ, LS, ÁB, CO, TG), pp. 95–104.

SCAM-2012-SchrettnerJGBG #clustering #dependence #impact analysis #using

Impact Analysis in the Presence of Dependence Clusters Using Static Execute after in WebKit (LS, JJ, TG, ÁB, TG), pp. 24–33.

SCAM-2012-Vidal #execution #symbolic computation #termination #verification

Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.

WCRE-2012-MediniAGPT #approach #execution #named

SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.

WCRE-2012-NodaKA #abstraction #execution

Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.

WCRE-2012-QiSQZZR #execution #modelling

Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.

PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation

Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.

PLDI-2012-RamanZLA #execution #flexibility #named #parallel

Parcae: a system for flexible parallel execution (AR, AZ, JWL, DIA), pp. 133–144.

SAS-2012-EmmiL #distributed #source code

Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.

FM-2012-LazarASEMLR #semantics

Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.

IFM-2012-RochaCMS #execution #interactive #verification

A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.

AdaEurope-2012-GregertsenS #execution #hardware #performance #using

Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.

EDOC-2012-Holmes #design #execution #modelling

From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.

ICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing #testing

Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.

SEKE-2012-HaoWZ #classification #empirical #machine learning

An Empirical Study of Execution-Data Classification Based on Machine Learning (DH, XW, LZ), pp. 283–288.

SEKE-2012-LiuLLGCYL #automation #execution #parallel #testing

Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.

SEKE-2012-VicenteDMM #comprehension #execution #kernel #operating system

Improving Program Comprehension in Operating System Kernels with Execution Trace Information (EV, GD, RM, MdAM), pp. 174–179.

ECMFA-2012-Seidewitz #execution #manycore #uml

Executable UML: From Multi-domain to Multi-core (ES), p. 1.

Onward-2012-BainomugishaVRCM #fresh look #programming

Interruptible context-dependent executions: a fresh look at programming context-aware applications (EB, JV, CDR, ALC, WDM), pp. 67–84.

OOPSLA-2012-HuangZ #agile #concurrent #debugging #execution #named #reduction

LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.

OOPSLA-2012-HuangZ12a #concurrent #execution #source code

Execution privatization for scheduler-oblivious concurrent programs (JH, CZ), pp. 737–752.

OOPSLA-2012-SiddiquiK #analysis #execution #scalability #symbolic computation #using

Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.

OOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order #symbolic computation

Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.

PPDP-2012-MarpleBMG #execution #set #source code

Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.

PADL-2012-AlbertAG #concurrent #execution #symbolic computation

Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.

PADL-2012-GuzmanCCH #approach

A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.

PADL-2012-Lesniak #algorithm #graph #haskell #named

Palovca: Describing and Executing Graph Algorithms in Haskell (ML), pp. 153–167.

POPL-2012-EllisonR #c #execution #semantics

An executable formal semantics of C with applications (CE, GR), pp. 533–544.

SAC-2012-ObaidAMS #database #execution #mobile #query

Query execution on a mobile database system (AO, AMA, HM, NS), pp. 569–571.

SAC-2012-SiddiquiK #execution #staged #symbolic computation

Staged symbolic execution (JHS, SK), pp. 1339–1346.

SAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml

Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.

FSE-2012-CanaveraEM #adaptation #execution #mining

Mining the execution history of a software system to infer the best time for its adaptation (KRC, NE, SM), p. 18.

ICSE-2012-MarinescuC #execution #symbolic computation #testing

make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.

SLE-2012-CombemaleHJBB #execution #metamodelling #modelling

Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.

ASPLOS-2012-DeVuystVT #execution #migration #multi

Execution migration in a heterogeneous-ISA chip multiprocessor (MD, AV, DMT), pp. 261–272.

HPCA-2012-DuanZAT #commit #execution #named

BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.

HPCA-2012-QianST #design #execution #named #smt

BulkSMT: Designing SMT processors for atomic-block execution (XQ, BS, JT), pp. 153–164.

OSDI-2012-GordonJMMC #execution #migration #named

COMET: Code Offload by Migrating Execution Transparently (MSG, DAJ, SAM, ZMM, XC), pp. 93–106.

OSDI-2012-Kapritsos0QCAD #all about #manycore #replication

All about Eve: Execute-Verify Replication for Multi-Core Servers (MK, YW, VQ, AC, LA, MD), pp. 237–250.

CAV-2012-JaffarMNS #execution #named #symbolic computation #verification

TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.

ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation

Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.

ICST-2012-MateoU #execution #music #reduction

Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.

ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.

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

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

ICST-2012-TonellaMNJLH #approximate #execution #modelling

Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs (PT, AM, DCN, YJ, KL, MH), pp. 21–30.

ICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability

Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.

ISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation

Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.

ISSTA-2012-YangPK #execution #symbolic computation

Memoized symbolic execution (GY, CSP, SK), pp. 144–154.

TAP-2012-Pasareanu #execution #model checking #symbolic computation #testing

Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.

VMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation

Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.

QoSA-ISARCS-2011-HofigD #analysis #execution

Failure-dependent execution time analysis (KH, DD), pp. 115–122.

ASE-2011-AnandH #execution #java #source code #symbolic computation

Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.

ASE-2011-ChakrabortyS #approach #framework #towards

Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.

ASE-2011-SilvaBB #execution #process

Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.

DATE-2011-MeyerGCLS #cost analysis #execution #safety #using

Reducing the cost of redundant execution in safety-critical systems using relaxed dedication (BHM, NJG, BHC, JL, KS), pp. 1249–1254.

SIGMOD-2011-Bajda-PawlikowskiASP #execution #performance #query

Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.

SIGMOD-2011-BaoDM #on the fly #recursion #workflow

Labeling recursive workflow executions on-the-fly (ZB, SBD, TM), pp. 493–504.

SIGMOD-2011-PandisTBKPJA #execution #tool support #transaction

A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.

VLDB-2011-HeY #transaction

High-throughput transaction executions on graphics processors (BH, JXY), pp. 314–325.

VLDB-2012-PavloJZ11 #execution #modelling #on the #optimisation #parallel #predict #transaction

On Predictive Modeling for Optimizing Transaction Execution in Parallel OLTP Systems (AP, EPCJ, SBZ), pp. 85–96.

FASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation

Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.

CSMR-2011-SilvaPAM #execution #on the

On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.

ICPC-2011-Medini #automation #concept #execution #mining #scalability

Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.

ICPC-2011-PirzadehSHM #concept #execution

The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.

ICSM-2011-PirzadehHS #analysis #execution #mining

Exploiting text mining techniques in the analysis of execution traces (HP, AHL, MS), pp. 223–232.

PASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.

WCRE-2011-MyersS #execution #using

Focusing on Execution Traces Using Diver (DM, MADS), pp. 439–440.

WCRE-2011-ShangJAHGNF #case study #evolution #execution #scalability

An Exploratory Study of the Evolution of Communicated Information about the Execution of Large Software Systems (WS, ZMJ, BA, AEH, MWG, MNN, PF), pp. 335–344.

PLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using

Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.

PLDI-2011-PersonYRK #execution #incremental #symbolic computation

Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.

PLDI-2011-PrasadAG #automation #compilation #execution #matlab #source code

Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.

PLDI-2011-RamanKOLA #distributed #parallel #using

Parallelism orchestration using DoPE: the degree of parallelism executive (AR, HK, TO, JWL, DIA), pp. 26–37.

PLDI-2011-ZhouCC #algorithm #execution

An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.

SAS-2011-MaKFH #execution #symbolic computation

Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.

HCI-DDA-2011-BomsdorfGHM #configuration management #design #execution #modelling #runtime

Configurable Executable Task Models Supporting the Transition from Design Time to Runtime (BB, SG, MH, JTM), pp. 155–164.

HCI-DDA-2011-FeuerstackP #execution #interface #modelling #multimodal

Building Multimodal Interfaces Out of Executable, Model-Based Interactors and Mappings (SF, EBP), pp. 221–228.

AdaEurope-2011-Burns #hardware #parallel #programming language #realtime

Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.

SIGAda-2011-BeltHRCHD #contract #execution #symbolic computation #using

Enhancing spark’s contract checking facilities using symbolic execution (JB, JH, R, PC, DH, XD), pp. 47–60.

SIGAda-2011-EilersK #execution #testing

Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.

EDOC-2011-BruningG #execution #metamodelling #modelling #uml #workflow

UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.

EDOC-2011-WoutersG #execution #modelling #named

xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.

ICEIS-v3-2011-JuniorNI #bibliography #execution #identification #legacy #source code

Survey and Proposal of a Method for Business Rules Identification in Legacy Systems Source Code and Execution Logs (WARJ, GSdN, CI), pp. 207–213.

KEOD-2011-Tinsley #ontology #realtime

OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.

SEKE-2011-AlmeidaMA #analysis #execution #process #using

Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded Theory (CDAdA, TCM, AA), pp. 792–797.

SEKE-2011-FaureFHUV #execution #ubiquitous

User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing (MF, LF, MH, CU, SV), pp. 302–307.

ECMFA-2011-CariouBFB #contract #execution #verification

Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.

ECMFA-2011-CombemaleGR #domain-specific language #semantics

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.

ECMFA-2011-EllnerADJKP #distributed #execution #modelling #process

A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.

MoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation

Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.

MoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation

Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.

ECOOP-2011-Bergel #execution #smalltalk

Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.

OOPSLA-2011-WeeratungeZJ #using

Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.

TOOLS-EUROPE-2011-BockischSMA #bibliography #execution

An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.

TOOLS-EUROPE-2011-RodriguezSV #dependence #execution #metamodelling #modelling

Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.

PADL-2011-Kaivola #execution #framework #functional #validation

Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.

SAC-2011-RodriguezSV #approach #composition #execution #multi

Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.

ESEC-FSE-2011-MirghasemiBP #execution #named

Querypoint: moving backwards on wrong values in the buggy execution (SM, JJB, CP), pp. 436–439.

ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing

Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.

ICSE-2011-GeTXT #execution #named #symbolic computation #verification

DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.

ICSE-2011-MilicevicRYJ #declarative #execution #imperative

Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.

ICSE-2011-OhHVP #concurrent #debugging #execution #framework #multi #named #thread

LIME: a framework for debugging load imbalance in multi-threaded execution (JO, CJH, GV, MP), pp. 201–210.

ICSE-2011-SumnerBZP #analysis #nondeterminism #performance

Coalescing executions for fast uncertainty analysis (WNS, TB, XZ, SP), pp. 581–590.

SLE-2011-SeibelHNG #black box #composition #execution #model transformation

A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.

CGO-2011-MehraraM #execution #web

Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.

LCTES-2011-ThomasFK #execution #monitoring

Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.

PPoPP-2011-FischerMR #concurrent #modelling

Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.

PPoPP-2011-JenistaED #execution #named

OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.

PPoPP-2011-YiSF #execution #reasoning

Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.

SOSP-2011-MickensD #execution #named #robust #web

Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.

CAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.

ICST-2011-TsankovJOS #dynamic analysis #execution

Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.

ISSTA-2011-PasareanuRV #execution #symbolic computation

Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.

ISSTA-2011-SumnerBZ #comparison #execution

Selecting peers for execution comparison (WNS, TB, XZ), pp. 309–319.

CBSE-2010-AllierSSV #component #consistency #execution #object-oriented #using

Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces (SA, HAS, SS, SV), pp. 216–231.

CBSE-2010-GamaD #component #execution #self

A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution (KG, DD), pp. 130–149.

ASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation

A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.

ASE-2010-PasareanuR #bytecode #execution #java #symbolic computation

Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.

DATE-2010-IqbalSH #estimation #execution #named #order #pipes and filters #recursion

RMOT: Recursion in model order for task execution time estimation in a software pipeline (NI, MAS, JH), pp. 953–956.

DATE-2010-IqbalSH10a #estimation #execution #graph #monte carlo #named

DAGS: Distribution agnostic sequential Monte Carlo scheme for task execution time estimation (NI, MAS, JH), pp. 1645–1648.

DATE-2010-OnoTKSNF #evaluation #execution #modelling #performance

A modeling method by eliminating execution traces for performance evaluation (KO, MT, RK, YS, TN, NF), pp. 1337–1340.

DATE-2010-SubramanyanSSL #execution #fault tolerance #multi #performance

Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors (PS, VS, KKS, EL), pp. 1572–1577.

VLDB-2010-BotanDDHMT #analysis #execution #named #semantics

SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems (IB, RD, ND, LMH, RJM, NT), pp. 232–243.

VLDB-2010-MozafariZZ #execution #query #regular expression #relational #sequence #word #xml

From Regular Expressions to Nested Words: Unifying Languages and Query Execution for Relational and XML Sequences (BM, KZ, CZ), pp. 150–161.

VLDB-2010-PandisJHA #execution #transaction

Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.

VLDB-2011-KlingOD #database #execution #generative #performance #xml

Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.

TACAS-2010-Belinfante #execution #modelling #named #online

JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.

CSMR-2010-AsadiPAG #approach #concept #execution #heuristic #identification

A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.

ICPC-2010-LammelP #comprehension #domain-specific language

Vivisection of a Non-Executable, Domain-Specific Language — Understanding (the Usage of) the P3P Language (RL, EP), pp. 104–113.

ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing

Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.

SCAM-2010-KetterlinC #behaviour #execution #memory management #source code

Recovering the Memory Behavior of Executable Programs (AK, PC), pp. 189–198.

WCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation

Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.

PEPM-2010-LakhotiaBSM #analysis #bytecode #obfuscation

Context-sensitive analysis of obfuscated x86 executables (AL, DRB, AS, AM), pp. 131–140.

PLDI-2010-KhooCF #execution #symbolic computation #type checking

Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.

SEFM-2010-TudoseO #design pattern #execution #symbolic computation #testing #using

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.

ICFP-2010-BuissonD #configuration management #execution #named

ReCaml: execution state as the cornerstone of reconfigurations (JB, FD), pp. 27–38.

ICFP-2010-McCreightCT #compilation #framework #garbage collection

A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.

IFL-2010-BoeijinkHK #functional #lazy evaluation

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.

IFL-2010-GiorgidzeGSW #execution #haskell

Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.

SOFTVIS-2010-JohnsonM #concurrent #execution #named #source code #visualisation

Beat: a tool for visualizing the execution of object orientated concurrent programs (PJ, SM), pp. 225–226.

ICEIS-ISAS-2010-FernandesPMP #execution #optimisation #process

Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.

ICEIS-ISAS-2010-RauberR #adaptation #architecture #execution #manycore #parallel

Adaptive Execution of Software Systems on Parallel Multicore Architectures (TR, GR), pp. 191–198.

ICEIS-J-2010-PreisslerHL10a #concept #execution #process #streaming #xml

An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.

CIKM-2010-ShinPWL #data type #execution #named #online

i-SEE: integrated stream execution environment over on-line data streams (SJS, HKP, HJW, WSL), pp. 1959–1960.

KDD-2010-LaoC #execution #modelling #performance #query #random #retrieval

Fast query execution for retrieval models based on path-constrained random walks (NL, WWC), pp. 881–888.

SEKE-2010-KalayciDFES #adaptation #distributed #execution #workflow

Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.

SEKE-2010-KhwajaU #execution #implementation #realtime #specification

Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.

SEKE-2010-Suarez-FigueroaGMV #development #ontology #scheduling

gOntt, a Tool for Scheduling and Executing Ontology Development Projects (MdCSF, AGP, ÓMG, MV), pp. 614–619.

SEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards

Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.

ECMFA-2010-EichbergMKM #execution #modelling

Model-Driven Engineering of Machine Executable Code (ME, MM, SK, MM), pp. 104–115.

ECMFA-2010-OnoTKSNF #abstraction #embedded #execution #modelling #performance

A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces (KO, MT, RK, YS, TN, NF), pp. 233–244.

ICMT-2010-JouaultT #atl #execution #incremental #towards

Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.

MoDELS-v2-2010-GorpE #execution #java #modelling #process

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.

ECOOP-2010-SamimiAM #execution #specification

Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.

ECOOP-2010-StadenCM #execution #logic #object-oriented #specification #verification

Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.

TOOLS-EUROPE-2010-ArnaudDDPBS #execution

Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.

LOPSTR-2010-InsaS #algorithm #debugging #execution #scalability

Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.

PPDP-2010-BolzLS #execution #prolog #towards #virtual machine

Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.

PADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification

Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.

SAC-2010-LuNB #dependence #execution

Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.

SAC-2010-YuRCW #execution #scheduling

Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution time (YY, SR, NC, XW), pp. 334–339.

FSE-2010-DeAntoniMTRBMGRS #execution #named

RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.

FSE-2010-SumnerZ #memory management

Memory indexing: canonicalizing addresses across executions (WNS, XZ), pp. 217–226.

FSE-2010-YilmazP #hardware

Combining hardware and software instrumentation to classify program executions (CY, AAP), pp. 67–76.

ICSE-2010-Hill #execution #integration #modelling #named #testing

CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.

ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using

Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.

ICSE-2010-Nagappan #analysis #execution

Analysis of execution log files (MN), pp. 409–412.

SLE-2010-BandenerSE #behaviour #debugging #execution #specification #visual notation

Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.

SPLC-2010-GhanamM #execution #feature model #modelling #testing #using

Linking Feature Models to Code Artifacts Using Executable Acceptance Tests (YG, FM), pp. 211–225.

ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime #thread

CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.

CGO-2010-MarsVHS #detection #execution #online

Contention aware execution: online contention detection and response (JM, NV, RH, MLS), pp. 257–265.

HPCA-2010-DoudalisP #execution #hardware #named

HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.

HPCA-2010-HiltonR #energy #execution #named

BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.

HPCA-2010-XekalakisC #branch #execution #multi

Handling branches in TLS systems with Multi-Path Execution (PX, MC), pp. 1–12.

LCTES-2010-FischmeisterB #execution #monitoring

Sampling-based program execution monitoring (SF, YB), pp. 133–142.

OSDI-2010-KimWZK #using

Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.

OSDI-2010-WuCY #execution

Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.

PPoPP-2010-AleenSP #execution #predict #streaming

Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.

CAV-2010-AlbarghouthiGWC #analysis #symbolic computation

Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.

ICLP-J-2010-BetzRF #constraints #execution

A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.

ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.

ICST-2010-SilvaJA #cost analysis #execution #machine learning #symmetry #testing

Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing (DGeS, MJ, BTdA), pp. 275–284.

ICST-2010-YanCZZZ #clustering #execution

A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.

ICTSS-2010-LakhotiaTHH #constraints #execution #float #named #search-based #symbolic computation #theorem proving

FloPSy — Search-Based Floating Point Constraint Solving for Symbolic Execution (KL, NT, MH, JdH), pp. 142–157.

ISSTA-2010-DanielGM #execution #on the #symbolic computation #using

On test repair using symbolic execution (BD, TG, DM), pp. 207–218.

ISSTA-2010-SantelicesH #dependence #execution #multi #scalability #symbolic computation

Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.

ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing

Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.

CBSE-2009-HauckKKR #component #execution #modelling #performance #predict

Modelling Layered Component Execution Environments for Performance Prediction (MH, MK, KK, RHR), pp. 191–208.

WICSA-ECSA-2009-AriasAA #execution #scalability

Defining execution viewpoints for a large and complex software-intensive system (TBCA, PA, PA), pp. 1–10.

DATE-2009-OzturkK #compilation #execution #memory management #using

Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.

DATE-2009-VayrynenSL #execution #fault tolerance #multi #optimisation

Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.

DATE-2009-VecchieTS #compilation #execution #imperative

Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.

SIGMOD-2009-GrustMRS #execution #named

FERRY: database-supported program execution (TG, MM, JR, TS), pp. 1063–1066.

VLDB-2009-YangRW #execution #mining #multi #streaming

A Shared Execution Strategy for Multiple Pattern Mining Requests over Streaming Data (DY, EAR, MOW), pp. 874–885.

ESOP-2009-BarthwalN #execution #parsing

Verified, Executable Parsing (AB, MN), pp. 160–174.

FoSSaCS-2009-Alur #reasoning

Temporal Reasoning about Program Executions (RA), p. 15.

ICSM-2009-DaraLLST #execution #testing #using

Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.

ICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards

Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.

ICSM-2009-VoigtBD #execution

Object aware execution trace exploration (SV, JB, JD), pp. 201–210.

PEPM-2009-MoretBV #execution #named #profiling

CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.

FM-2009-VakkalankaVGK #execution #semantics #theory and practice

Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.

IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation

Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.

ICFP-2009-Steele #execution #functional #parallel

Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.

VISSOFT-2009-BohnetKD #execution #visualisation

Visualizing massively pruned execution traces to facilitate trace exploration (JB, MK, JD), pp. 57–64.

AdaEurope-2009-MarrefB #analysis #worst-case

Predicated Worst-Case Execution-Time Analysis (AM, GB), pp. 134–148.

CAiSE-2009-WeberRZW #approach #declarative #empirical #execution #process

The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.

ICEIS-DISI-2009-GorawskiD #algorithm #distributed #execution #performance #query

Algorithms for Efficient Top-K Spatial Preference Query Execution in a Heterogeneous Distributed Environment (MG, KD), pp. 43–48.

ICEIS-DISI-2009-SofokleousAK #execution #generative #symbolic computation #testing

Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.

ICEIS-J-2009-BoukhebouzeABM #execution #process #self #towards

Towards Self-healing Execution of Business Processes Based on Rules (MB, YA, ANB, ZM), pp. 501–512.

SEKE-2009-AlbuquerqueR #execution #process

A Real Execution of a Software Process Improvement: An Opportunity to Execute a Combination of Approaches (ABA, ARR), pp. 661–665.

MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification

A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.

MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing

Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.

MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification

A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.

MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing

Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.

OOPSLA-2009-PluquetLW #graph #in memory #performance #version control

Executing code in the past: efficient in-memory object graph versioning (FP, SL, RW), pp. 391–408.

GPCE-2009-RadermacherCGT #case study #component #execution #generative #modelling #realtime #specification

Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.

PADL-2009-GuzmanCH #execution #program transformation #towards

Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.

SAC-2009-BohnetVD #debugging #execution #locality

Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.

SAC-2009-CatanoW #case study #java #ml #specification

Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.

SAC-2009-MendesPDB #ad hoc #execution #named #process #specification #web #web service

WebFlowAH: an environment for ad-hoc specification and execution of web services-based processes (RM, PFP, FCD, TVB), pp. 692–693.

SAC-2009-ZhaoZL #abstraction #multi #object-oriented #source code

Abstraction of multiple executions of object-oriented programs (CZ, KZ, YL), pp. 549–550.

SAC-2009-ZurowskaD #execution #web #web service

Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.

ESEC-FSE-2009-BeltRD #analysis #lightweight #optimisation #symbolic computation

Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.

ESEC-FSE-2009-VangalaCT #clustering #comparison #execution #testing #using

Test case comparison and clustering using program profiles and static execution (VV, JC, PT), pp. 293–294.

ESEC-FSE-2009-WangCGY #concurrent

Symbolic pruning of concurrent program executions (CW, SC, AG, YY), pp. 23–32.

ICSE-2009-BuseW #execution

The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.

ASPLOS-2009-SulemanMQP #architecture #execution #manycore #symmetry

Accelerating critical section execution with asymmetric multi-core architectures (MAS, OM, MKQ, YNP), pp. 253–264.

ASPLOS-2009-TucekXZ #execution #online #performance #validation

Efficient online validation with delta execution (JT, WX, YZ), pp. 193–204.

CGO-2009-UdupaGT #execution #pipes and filters #source code

Software Pipelined Execution of Stream Programs on GPUs (AU, RG, MJT), pp. 200–209.

HPDC-2009-ClaudelHR #adaptation #deployment

TakTuk, adaptive deployment of remote executions (BC, GH, OR), pp. 91–100.

HPDC-2009-HeadG #execution #parallel #performance #scalability #xml

Performance enhancement with speculative execution based parallelism for processing large-scale xml-based application data (MRH, MG), pp. 21–30.

LCTES-2009-UdupaGT #execution #multi #source code

Synergistic execution of stream programs on multicores with accelerators (AU, RG, MJT), pp. 99–108.

PPoPP-2009-AllenSS #dependence #execution #parallel #set

Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.

SOSP-2009-ParkZXYKLL #execution #multi #named #probability #sketching

PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.

CAV-2009-KaivolaGNTWPSTFRN #execution #testing #validation #verification

Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation (RK, RG, NN, AT, JW, SP, AS, CT, VF, ER, AN), pp. 414–429.

ICLP-2009-Ashley-RollmanLGPC #independence #scalability

A Language for Large Ensembles of Independently Executing Nodes (MPAR, PL, SCG, PP, JC), pp. 265–280.

ICLP-2009-Koninck #execution

Execution Control for CHR (LDK), pp. 479–483.

ICST-2009-SilvaAJ #approach #estimation #execution #functional #testing

A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.

ICST-2009-WolovickDQ #execution #optimisation #realtime #testing

Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.

ISSTA-2009-SaebjornsenWPQS #bytecode #detection

Detecting code clones in binary executables (AS, JW, TP, DJQ, ZS), pp. 117–128.

ISSTA-2009-SaxenaPMS #execution #source code #symbolic computation

Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.

TAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing

Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.

TAP-2009-Rapin #bound #execution #model checking #symbolic computation

Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.

ASE-2008-InkumsahX #execution #object-oriented #source code #symbolic computation #testing

Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution (KI, TX), pp. 297–306.

DAC-2008-LiangM #analysis #execution #modelling #probability

Cache modeling in probabilistic execution time analysis (YL, TM), pp. 319–324.

DATE-2008-HohenauerELAMBS #execution #optimisation

Retargetable Code Optimization for Predicated Execution (MH, FE, RL, GA, HM, GB, BS), pp. 1492–1497.

DATE-2008-ParkSP #embedded #execution #using

Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.

VLDB-2008-ChaudhuriNR #execution #feedback #framework #query

A pay-as-you-go framework for query execution feedback (SC, VRN, RR), pp. 1141–1152.

VLDB-2008-DeutchM #execution #query #type checking #type inference

Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.

TACAS-2008-AnandGT #composition #execution #symbolic computation

Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.

TACAS-2008-BalakrishnanR #bytecode

Analyzing Stripped Device-Driver Executables (GB, TWR), pp. 124–140.

CSMR-2008-LienhardGGN #execution #testing

Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.

ICPC-2008-BohnetVD #comprehension #execution

Locating and Understanding Features of Complex Software Systems by Synchronizing Time-, Collaboration- and Code-Focused Views on Execution Traces (JB, SV, JD), pp. 268–271.

ICPC-2008-SatoST #comprehension #execution #source code #user interface #visualisation

Support for Understanding GUI Programs by Visualizing Execution Traces Synchronized with Screen Transitions (TS, BS, JT), pp. 272–275.

ICSM-2008-JaszBGR #dependence

Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.

ICSM-2008-Lo #execution #mining #specification

Mining specifications in diversified formats from execution traces (DL), pp. 420–423.

WCRE-2008-AriasAA #dependence #execution #scalability

Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.

PLDI-2008-KudlurM #execution #manycore #source code

Orchestrating the execution of stream programs on multicore platforms (MK, SAM), pp. 114–124.

PLDI-2008-XinSZ #execution #performance

Efficient program execution indexing (BX, WNS, XZ), pp. 238–248.

ICFP-2008-Lampson #execution #lazy evaluation

Lazy and speculative execution in computer systems (BWL), pp. 1–2.

IFL-2008-KoopmanPA #execution #semantics

An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.

CAiSE-2008-VanderfeestenRA #execution #workflow

Product Based Workflow Support: Dynamic Workflow Execution (ITPV, HAR, WMPvdA), pp. 571–574.

EDOC-2008-ScheiblerML #as a service #execution #power of

EAI as a Service — Combining the Power of Executable EAI Patterns and SaaS (TS, RM, FL), pp. 107–116.

SEKE-2008-DaiXWLL #execution #process

Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.

SEKE-2008-FunkPC #execution #specification

Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.

SEKE-2008-KhwajaU #execution #modelling #named #specification

RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.

SEKE-2008-MuhlenfeldMMS #execution #modelling #ontology #process #using

Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.

SEKE-2008-SandersZ #contract #design #execution #java

Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.

SEKE-2008-ScheithauerWT #documentation #execution #process #semantic gap

Bridging the Semantic Gap Between Process Documentation and Process Execution (GS, GW, CT), pp. 549–554.

ECMDA-FA-2008-WaheedIM #action semantics #analysis #data flow #execution #modelling #semantics #uml

Data Flow Analysis of UML Action Semantics for Executable Models (TW, MZZI, ZIM), pp. 79–93.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

ECOOP-2008-ZiarekWAMSJ #execution #java #transaction

A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.

OOPSLA-2008-XianSJ #execution #java #parallel #source code #thread

Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.

PPDP-2008-MeraLCH #automaton #estimation #execution #towards

Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.

PPDP-2008-SulzmannL #constraints #execution #parallel

Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.

PADL-2008-CasasCH #execution #implementation #independence #strict #towards

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.

SAC-2008-BraghettoFP #algebra #execution #process #using

Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.

SAC-2008-CramptonK #execution #modelling #on the #workflow

On delegation and workflow execution models (JC, HK), pp. 2137–2144.

SAC-2008-RamnathR #adaptation #enterprise #execution #modelling

Integrating goal modeling and execution in adaptive complex enterprises (RR, JR), pp. 532–539.

SAC-2008-RossiT #execution #modelling #named #process

EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.

SAC-2008-VizzariPS #3d #execution #framework #simulation #visualisation

A framework for execution and 3D visualization of situated cellular agent based crowd simulations (GV, GP, FSCdS), pp. 18–22.

FSE-2008-LinZ #execution

Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.

FSE-2008-PersonDEP #difference #execution #symbolic computation

Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.

ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation

DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.

ICSE-2008-WangZXAS #approach #debugging #detection #execution #natural language #using

An approach to detecting duplicate bug reports using natural language and execution information (XW, LZ, TX, JA, JS), pp. 461–470.

ICSE-2008-WhittleWH #case study #execution #modelling #security

Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.

ASPLOS-2008-McCunePPRS #execution #how #recommendation

How low can you go?: recommendations for hardware-supported minimal TCB code execution (JMM, BP, AP, MKR, AS), pp. 14–25.

ASPLOS-2008-SulemanQP #concurrent #execution #multi #power management #thread

Feedback-driven threading: power-efficient and high-performance execution of multi-threaded workloads on CMPs (MAS, MKQ, YNP), pp. 277–286.

CC-2008-RepsB #analysis #bytecode

Improved Memory-Access Analysis for x86 Executables (TWR, GB), pp. 16–35.

CGO-2008-RamanVRA #execution #named #parallel

Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.

HPDC-2008-DiamosY #execution #named #runtime

Harmony: an execution model and runtime for heterogeneous many core systems (GFD, SY), pp. 197–200.

HPDC-2008-SotomayorKF #execution #using #virtual machine

Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.

ISMM-2008-PizloPS #execution

Path specialization: reducing phased execution overheads (FP, EP, BS), pp. 81–90.

PPoPP-2008-DingC #concurrent #profiling

All-window profiling of concurrent executions (CD, TMC), pp. 265–266.

ICLP-2008-CiprianoDM #compilation #declarative #modelling

Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.

ICLP-2008-GuzmanCH #execution #program transformation #sketching

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.

ICLP-2008-KimmigCRDR #execution #on the #performance #source code

On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.

ICST-2008-BardinH #bytecode #testing

Structural Testing of Executables (SB, PH), pp. 22–31.

ICST-2008-LindstromOA #empirical #execution #realtime #testing

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications (BL, AJO, SFA), pp. 112–120.

ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation

Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.

ISSTA-2008-PasareanuMBGLPP #execution #symbolic computation #testing

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (CSP, PCM, DHB, KGB, MRL, SP, MP), pp. 15–26.

CBSE-2007-LauU #case study #component #execution

A Study of Execution Environments for Software Components (KKL, VU), pp. 107–123.

CBSE-2007-PadillaOO #component #composition #modelling #testing

An Execution-Level Component Composition Model Based on Component Testing Information (GP, CMdO, CLO), pp. 203–210.

ASE-2007-Abi-AntounA #execution #object-oriented #source code #tool support

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.

ASE-2007-ChangR #execution #validation

Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.

ASE-2007-LiuMPR #execution #feature model #information retrieval

Feature location via information retrieval based filtering of a single scenario execution trace (DL, AM, DP, VR), pp. 234–243.

ASE-2007-LoMK #execution #mining #specification

Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.

DAC-2007-KirnerS #analysis #execution #modelling #worst-case

Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.

DAC-2007-XianLL #energy #execution #multi #nondeterminism #realtime #scheduling

Energy-Aware Scheduling for Real-Time Multiprocessor Systems with Uncertain Task Execution Time (CX, YHL, ZL), pp. 664–669.

DATE-2007-AarajRRJ #analysis #energy #execution #framework

Energy and execution time analysis of a software-based trusted platform module (NA, AR, SR, NKJ), pp. 1128–1133.

DATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification #uml

Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.

DATE-2007-NooriMMIG #adaptation #generative #interactive #multi

Interactive presentation: Generating and executing multi-exit custom instructions for an adaptive extensible processor (HN, FM, KM, KI, MG), pp. 325–330.

SIGMOD-2007-ElhemaliGGJ #execution #sql

Execution strategies for SQL subqueries (ME, CAGL, TG, MJ), pp. 993–1004.

SIGMOD-2007-YangLOT #execution #monitoring #network #query

In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.

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-GedikYB

Executing Stream Joins on the Cell Processor (BG, PSY, RB), pp. 363–374.

TACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation

Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.

TACAS-2007-AnandPV #execution #java #named #symbolic computation

JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.

TACAS-2007-HarelS #flexibility #source code

Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.

ICPC-2007-CornelissenHZMWD #comprehension #execution #sequence #using

Understanding Execution Traces Using Massive Sequence and Circular Bundle Views (BC, DH, AZ, LM, JJvW, AvD), pp. 49–58.

ICSM-2007-BeszedesGJTGR #maintenance

Computation of Static Execute After Relation with Applications to Software Maintenance (ÁB, TG, JJ, GT, TG, VR), pp. 295–304.

ICSM-2007-JoshiO #named

SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions (SJ, AO), pp. 234–243.

WCRE-2007-SousaMUK #detection #execution

Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.

PLDI-2007-ZhangTGG #execution #fault #towards

Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.

SEFM-2007-DengRH #algorithm #execution #object-oriented #source code #symbolic computation #towards

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.

ICFP-2007-PlasmeijerAK #execution #interactive #named #specification #web

iTasks: executable specifications of interactive work flow systems for the web (RP, PA, PWMK), pp. 141–152.

GT-VMT-2007-KraemerH #collaboration #execution #specification #state machine

Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).

HCI-IDU-2007-GeorgiakakisRPP #design #design pattern #tool support #usability

DEPTH TOOLKIT: A Web-Based Tool for Designing and Executing Usability Evaluations of E-Sites Based on Design Patterns (PG, SR, YP, GP), pp. 453–462.

VISSOFT-2007-Hamou-Lhadj #effectiveness #execution #scalability #visualisation

Effective Exploration and Visualization of Large Execution Traces (AHL), pp. 152–153.

ICEIS-AIDSS-2007-NiuLZ #concept #framework #modelling

Enriching Executives’ Situation Awareness and Mental Models — A Conceptual ESS Framework (LN, JL, GZ), pp. 510–516.

ICEIS-AIDSS-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-DISI-2007-CarreiraGPW #data transformation #execution #optimisation

One-to-many data transformation operations — optimization and execution on an RDBMS (PJFC, HG, JLMP, AW), pp. 21–27.

ICEIS-DISI-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-EIS-2007-Barjis #execution #modelling

Developing Executable Models of Business Systems (JB), pp. 5–13.

ICEIS-EIS-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-HCI-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

ICEIS-J-2007-ShethG07a #execution #middleware #non-functional #process #semantics #workflow

The 4 x 4 Semantic Model: Exploiting Data, Functional, Non-functional and Execution Semantics Across Business Process, Workflow, Partner Services and Middleware Services Tiers (APS, KG), pp. 16–26.

ICEIS-SAIC-2007-ShethG #execution #middleware #non-functional #process #semantics #workflow

The 4×4 semantic model — exploiting data, functional, non-functional and execution semantics across business process, workflow, partner services and middleware services tiers (APS, KG), pp. 1–4.

SEKE-2007-GuD #component #embedded #execution #integration #multi

QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.

ECMDA-FA-2007-FuentesS #aspect-oriented #execution #modelling #uml

Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.

PADL-2007-MeraLPCH #execution #profiling #static analysis

Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.

SAC-MT-J-2006-AlanenLP07 #diagrams #model transformation

Creating and reconciling diagrams after executing model transformations (MA, TL, IP), pp. 155–178.

SAC-2007-NarendraO #approach #composition #execution #modelling #web #web service

Modeling web service composition and execution via a requirements-driven approach (NCN, BO), pp. 1642–1648.

SAC-2007-PaulK #precise #slicing #using

Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.

ESEC-FSE-2007-MiranskyyMGDWG #approach #execution #multi #scalability

An iterative, multi-level, and scalable approach to comparing execution traces (AVM, NHM, MG, MD, MW, DG), pp. 537–540.

ESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing

Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.

CGO-2007-DaiLH #execution #network #pipes and filters #using

Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors (JD, LL, BH), pp. 312–324.

CGO-2007-ReddiCCS #persistent #reuse

Persistent Code Caching: Exploiting Code Reuse Across Executions and Applications (VJR, DC, RC, MDS), pp. 74–88.

HPCA-2007-QuinonesPG #branch #execution #predict

Improving Branch Prediction and Predicated Execution in Out-of-Order Processors (EQ, JMP, AG), pp. 75–84.

LCTES-2007-HuangHG #embedded #energy #execution #optimisation #pipes and filters #streaming #throughput

Joint throughput and energy optimization for pipelined execution of embedded streaming applications (PKH, MH, SG), pp. 137–139.

LCTES-2007-Kastner #abstract interpretation #analysis #execution #worst-case

Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.

LCTES-2007-YanL #architecture #clustering #execution

Stream execution on wide-issue clustered VLIW architectures (SY, BL), pp. 158–160.

SOSP-2007-CriswellLDA #architecture #execution #operating system

Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.

ICLP-2007-Palshikar #execution #graph grammar #prolog #representation

Representation and Execution of a Graph Grammar in Prolog (GKP), pp. 442–443.

ISSTA-2007-dAmorimLM #execution #object-oriented #performance #source code

Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.

ISSTA-2007-EnglerD #automation #execution #scalability

Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.

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.

TAP-2007-GallRT #execution #refinement #symbolic computation #testing

Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.

VMCAI-2007-BalakrishnanR #bytecode #named

DIVINE: DIscovering Variables IN Executables (GB, TWR), pp. 1–28.

ASE-2006-DengLR #bound #execution #named #symbolic computation

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems (XD, JL, R), pp. 157–166.

ASE-2006-LedruB #execution #generative #named #specification

Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.

DATE-2006-ArpinenKSHH #configuration management #distributed #execution #framework #multi #uml

Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications (TA, PK, ES, MH, TDH), pp. 1324–1329.

DATE-2006-KimHG #execution #parallel #using

Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.

SIGMOD-2006-AbadiMF #database #execution

Integrating compression and execution in column-oriented database systems (DJA, SM, MF), pp. 671–682.

SIGMOD-2006-LooCGGHMRRS #declarative #execution #network #optimisation

Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.

VLDB-2006-DennyF #adaptation #execution

Adaptive Execution of Variable-Accuracy Functions (MD, MJF), pp. 547–558.

ICPC-2006-SafyallahS #dynamic analysis #execution #mining #using

Dynamic Analysis of Software Systems using Execution Pattern Mining (HS, KS), pp. 84–88.

WCRE-2006-BinkleyGHLM #concept #empirical #execution #slicing

An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.

WCRE-2006-LimRL #bytecode

Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.

WCRE-2006-Ribic #concept #decompiler #embedded #equivalence #execution #implementation #programming language

Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.

PLDI-2006-FeiM #execution #monitoring #named #runtime

Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.

SEFM-2006-RaymondJR #random

Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.

IFL-2006-BonenfantFHH #execution #functional #worst-case

Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.

SOFTVIS-2006-Kahn

Time travelling animated program executions (KK), pp. 185–186.

SOFTVIS-2006-PauwKM #execution #visualisation #web #web service

Execution patterns for visualizing web services (WDP, SK, JFM), pp. 37–45.

SOFTVIS-2006-Reiss #abstraction #execution #using #visualisation

Visualizing program execution using user abstractions (SPR), pp. 125–134.

AdaEurope-2006-Curtis #execution #uml

SPARK Annotations Within Executable UML (DC), pp. 83–93.

AdaEurope-2006-NarayananKBK #execution

Secure Execution of Computations in Untrusted Hosts (SHKN, MTK, RRB, IK), pp. 106–118.

EDOC-2006-BendraouGB #abstraction #execution #modelling #named #process #uml

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions (RB, MPG, XB), pp. 297–306.

EDOC-2006-OgasawaraTY #execution #modelling #process

Estimating Structures of Business Process Models from Execution Logs (SO, KT, TY), pp. 106–115.

ICEIS-AIDSS-2006-Hanna #execution #nondeterminism

Coalition Formation with Uncertain Task Execution (HH), pp. 164–169.

ICML-2006-NevmyvakaFK #execution #learning

Reinforcement learning for optimized trade execution (YN, YF, MK), pp. 673–680.

SEKE-2006-SartipiS #analysis #concept #evaluation #execution #mining

Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation (KS, HS), pp. 302–308.

SEKE-2006-SunZLT #component #composition #design #execution #framework #logic

Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

SAC-2006-AlanenLP #diagrams #model transformation

Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.

SAC-2006-CasallasVAL #enterprise #execution #modelling #named #simulation

xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.

SAC-2006-DobrzanskiK #approach #execution #modelling #refactoring #uml

An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.

SAC-2006-Kerrigan #execution #web #web service

Web service selection mechanisms in the Web Service Execution Environment (WSMX) (MK), pp. 1664–1668.

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

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

ICSE-2006-CanforaSZ #java

Developing and executing java AWT applications on limited devices with TCPTE (GC, GDS, EZ), pp. 787–790.

ICSE-2006-XieMY #automation #state machine

Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.

ASPLOS-2006-MishraCCVGB #execution #named

Tartan: evaluating spatial computation for whole program execution (MM, TJC, TC, GV, SCG, MB), pp. 163–174.

CC-2006-GuoRW #execution #fault #locality

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

CC-2006-YasugiHY #execution #lightweight #stack

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

CGO-2006-ChenGSUWZLZ #execution #framework #java

Java JNI Bridge: A Framework for Mixed Native ISA Execution (MC, SG, SS, VU, YW, QZ, EL, YZ), pp. 65–75.

HPCA-2006-ManovitH #consistency #memory management #verification

Completely verifying memory consistency of test program executions (CM, SH), pp. 166–175.

HPDC-2006-SilbersteinGSL #execution #grid #multi #scheduling

Scheduling Mixed Workloads in Multi-grids: The Grid Execution Hierarchy (MS, DG, AS, ML), pp. 291–302.

PPoPP-2006-SpringerLRF #clustering #energy #execution #source code

Minimizing execution time in MPI programs on an energy-constrained, power-scalable cluster (RS, DKL, BR, VWF), pp. 230–238.

ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.

ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification

Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.

TestCom-2006-GastonGRT #execution #symbolic computation

Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.

ASE-2005-DenmatDR #data mining #execution #mining

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information (TD, MD, OR), pp. 396–399.

ASE-2005-KapfhammerSM #execution #testing

Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.

DATE-2005-SchattkowskyMR #approach #configuration management #execution #hardware #modelling #specification

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware (TS, WM, AR), pp. 692–697.

SIGMOD-2005-MelnikBHR #execution #model management

Supporting Executable Mappings in Model Management (SM, PAB, AYH, ER), pp. 167–178.

VLDB-2005-HaftmannKL #database #execution #parallel

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

VLDB-2005-IvanovaR #execution #parallel #query

Customizable Parallel Execution of Scientific Stream Queries (MI, TR), pp. 157–168.

VLDB-2005-Sion #assurance #database #execution #outsourcing #query

Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.

TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.

CSMR-2005-Hamou-LhadjBAL #behaviour #design #execution #modelling

Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.

CSMR-2005-ZaidmanCDP #comprehension #execution #mining #process

Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process (AZ, TC, SD, JP), pp. 134–142.

ICSM-2005-BriandLL #aspectj #distributed #using

Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.

IWPC-2005-FischerOGG #analysis #evolution #execution

System Evolution Tracking through Execution Trace Analysis (MF, JO, HCG, TG), pp. 237–246.

PASTE-2005-KhurshidS #execution #library #symbolic computation

Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.

SAS-2005-ChenKK #execution #memory management #reliability

Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.

IFL-2005-BradyH #execution #framework #static analysis

A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.

CHI-2005-IqbalAZB #comprehension #execution #towards

Towards an index of opportunity: understanding changes in mental workload during task execution (STI, PDA, XSZ, BPB), pp. 311–320.

SOFTVIS-2005-JohannesSW #algorithm #analysis #animation #using #visualisation

Algorithm animation using shape analysis: visualising abstract executions (DJ, RS, RW), pp. 17–26.

ICEIS-v2-2005-LinhalisM #component #execution #imperative #natural language

Execution of Imperative Natural Language Requisitions Based on UNL Interlingua and Software Components (FL, DdAM), pp. 254–259.

SEKE-2005-SalimCKG #execution #specification #towards

Towards Executable Specification: Combining i* and AgentSpeak(L) (FS, CFC, AK, AG), pp. 739–742.

MoDELS-2005-MullerFJ #execution #metalanguage #object-oriented #weaving

Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.

MoDELS-2005-MullerFJ #execution #metalanguage #object-oriented #weaving

Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.

ESEC-FSE-2005-HaranKOPS #classification #execution

Applying classification techniques to remotely-collected program execution data (MH, AFK, AO, AAP, APS), pp. 146–155.

ESEC-FSE-2005-ZhangG #execution

Matching execution histories of program versions (XZ, RG), pp. 197–206.

ICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #sequence #using

Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.

ICSE-2005-CookR #execution #query #static typing

Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.

ICSE-2005-LavazzaB #automation #execution #metric

Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.

CC-2005-BalakrishnanGRT #bytecode #framework #named

CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.

LCTES-2005-FarcasFPT #component #execution #logic #realtime

Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.

PPoPP-2005-JungLLH #adaptation #architecture #execution #multi #smt

Adaptive execution techniques for SMT multiprocessor architectures (CJ, DL, JL, SH), pp. 236–246.

PPoPP-2005-YangBHM #correctness #monitoring #source code #trust #verification

Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.

SOSP-2005-NightingaleCF #distributed #execution #file system

Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.

SOSP-2005-SeshadriLSPDK #execution #legacy #named #verification

Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems (AS, ML, ES, AP, LvD, PKK), pp. 1–16.

CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.

TestCom-2005-ZanderDSD #approach #execution #modelling #testing

From U2TP Models to Executable Tests with TTCN-3 — An Approach to Model Driven Testing (JZ, ZRD, IS, GD), pp. 289–303.

DAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code

Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.

DATE-v2-2004-MaxiaguineKT #execution

Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.

DATE-v2-2004-PisharathCK #approach #database #execution #in memory #query

Data Windows: A Data-Centric Approach for Query Execution in Memory-Resident Databases (JP, ANC, MTK), pp. 1352–1353.

DATE-v2-2004-SchattkowskyM #embedded #execution #modelling #realtime #specification

Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.

SIGMOD-2004-CruanesDG #execution #parallel #sql

Parallel SQL Execution in Oracle 10g (TC, BD, BG), pp. 850–854.

VLDB-2004-CunninghamGG #execution #optimisation

PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS (CC, GG, CAGL), pp. 998–1009.

VLDB-2004-SrivastavaW #execution

Memory-Limited Execution of Windowed Stream Joins (US, JW), pp. 324–335.

CSMR-2004-ZaidmanD #clustering #execution #process

Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.

IWPC-2004-BackerDV #composition #execution #visualisation #web #web service

Web Services Composition, Execution and Visualization (MDB, GD, JV), pp. 264–265.

IWPC-2004-DanicicLH #execution #slicing #using

Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.

SCAM-2004-BinkleyDGHKO #execution #formal method #slicing

Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.

SCAM-2004-RoblesG #analysis #execution #source code

Executable Source Code and Non-Executable Source Code: Analysis and Relationships (GR, JMGB), pp. 149–157.

WCRE-2004-TonellaC #concept analysis #execution #mining

Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.

IFM-2004-MorilloV #compilation

A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.

SEFM-2004-ZhangXW #constraints #execution #generative #symbolic computation #testing #theorem proving #using

Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques (JZ, CX, XW), pp. 242–250.

ICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive #tool support

Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.

CHI-2004-AdamczykB #execution

If not now, when?: the effects of interruption at different moments within task execution (PDA, BPB), pp. 271–278.

AdaEurope-2004-ZamoranoAPP #ada #implementation

Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.

EDOC-2004-KathBBEFH #behaviour #corba #execution #modelling #towards

Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL (OK, AB, MB, KPE, MF, CH), pp. 267–274.

ICEIS-v2-2004-ZhuangZNTZ #execution #realtime

Dynamic Negotiation for Real-Time Manufacturing Execution (LZ, JZ, BN, YT, YZ), pp. 321–326.

ICPR-v1-2004-JohnstonFD #clustering #execution #grid #image #performance

An Event-Based Execution Model for Efficient Image Processing on Workstation Clusters and the Grid (DJJ, MF, ACD), pp. 732–735.

KDD-2004-KolterM #bytecode #detection #learning

Learning to detect malicious executables in the wild (JZK, MAM), pp. 470–478.

UML-2004-PitkanenS #execution #incremental #modelling #uml

A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.

OOPSLA-2004-NandaCS #execution #web #web service

Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.

GPCE-2004-HauserK #compilation #execution #graph #process

Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.

PADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation

Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.

POPL-2004-SittampalamML #execution #incremental #specification

Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.

SAC-2004-LischkaK #execution #modelling

Modeling and execution of E-Learning resources (JL, DK), pp. 971–972.

ICSE-2004-AkgulMP #assembly #execution #performance #slicing

A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.

ICSE-2004-BrunE #fault #machine learning

Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.

ICSE-2004-OrsoJHS #named #visualisation

Gammatella: Visualization of Program-Execution Data for Deployed Software (AO, JAJ, MJH, JTS), pp. 699–700.

ASPLOS-2004-DesikanSBK #architecture #scalability

Scalable selective re-execution for EDGE architectures (RD, SS, DB, SWK), pp. 120–132.

ASPLOS-2004-SuhLZD #data flow #execution #information management

Secure program execution via dynamic information flow tracking (GES, JWL, DZ, SD), pp. 85–96.

CC-2004-BalakrishnanR #bytecode #memory management

Analyzing Memory Accesses in x86 Executables (GB, TWR), pp. 5–23.

HPCA-2004-Michaud #capacity #execution #manycore #migration

Exploiting the Cache Capacity of a Single-Chip Multi-Core Processor with Execution Migration (PM), pp. 186–197.

HPDC-2004-WeinbergJDFH #execution #matrix #query #using

Gridflow Description, Query, and Execution at SCEC using the SDSC Matrix (JW, AJ, AD, MF, YH), pp. 262–263.

CAV-2004-Arons #algorithm #execution #verification

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.

CAV-2004-GopalakrishnanYS #execution #memory management #order #performance #verification

QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings (GG, YY, HS), pp. 401–413.

ICLP-2004-LangevineD #debugging #monitoring #visualisation

A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.

ICLP-2004-SchrijversW #constraints #execution

Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.

TestCom-2004-Vassiliou-GiolesDS #execution #using

Execution of External Applications using TTCN-3 (TVG, GD, IS), pp. 209–223.

ASE-2003-Roychoudhury #concurrent #multi #thread

Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.

DATE-2003-CardosoW #c #source code

From C Programs to the Configure-Execute Model (JMPC, MW), pp. 10576–10581.

DATE-2003-SchmitzAE #co-evolution #design #embedded #energy #execution #multi

A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities (MTS, BMAH, PE), pp. 10960–10965.

VLDB-2003-AnciauxBP #execution #memory management #query #requirements

Memory Requirements for Query Execution in Highly Constrained Devices (NA, LB, PP), pp. 694–705.

VLDB-2003-LongS #execution #query #scalability

Optimized Query Execution in Large Search Engines with Global Page Ordering (XL, TS), pp. 129–140.

ITiCSE-2003-Yehezkel #execution

Making program execution comprehensible one level above the machine language (CY), pp. 124–128.

ESOP-2003-GeilenB #execution #network #process #requirements

Requirements on the Execution of Kahn Process Networks (MG, TB), pp. 319–334.

TACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing

Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.

IWPC-2003-ChanHMY #execution #object-oriented #scalability #visualisation

Scaling an Object-Oriented System Execution Visualizer through Sampling (AC, RH, GCM, ATTY), pp. 237–244.

SCAM-2003-KissJLG #bytecode #interprocedural #slicing

Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.

WCRE-2003-SnavelyDA #bytecode #reverse engineering

Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables (NS, SKD, GRA), pp. 4–13.

FME-2003-BouquetL #case study #execution #generative #java #testing #transaction

Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.

SOFTVIS-2003-OrsoJH #visualisation

Visualization of Program-Execution Data for Deployed Software (AO, JAJ, MJH), pp. 67–76.

VISSOFT-2003-Hamou-LhadjL #complexity #execution #object-oriented

Techniques for Reducing the Complexity of Object-Oriented Execution Traces (AHL, TCL), pp. 35–40.

AdaEurope-2003-GonzalezH #ada

A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.

CAiSE-2003-HallerS #consistency #execution #information management #peer-to-peer #process

Consistent Process Execution in Peer-to-Peer Information Systems (KH, HS), pp. 289–307.

ICEIS-v1-2003-FatoohiG #distributed #execution #using #web

A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.

SEKE-2003-AstesianoMMR #execution #multi #prototype #specification

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques (EA, MM, VM, GR), pp. 578–585.

HPCA-2003-IbrahimBR #execution #multi

Slipstream Execution Mode for CMP-Based Multiprocessors (KZI, GTB, ER), pp. 179–190.

HPCA-2003-MutluSWP #execution #scalability

Runahead Execution: An Alternative to Very Large Instruction Windows for Out-of-Order Processors (OM, JS, CW, YNP), pp. 129–140.

PPoPP-2003-GoelRM #parallel #representation

Compactly representing parallel program executions (AG, AR, TM), pp. 191–202.

SOSP-2003-SekarVBBD #approach #execution

Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.

SOSP-2003-YinMVAD #execution #fault tolerance

Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.

VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification

Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.

DATE-2002-MishraDNT #automation #execution #functional #multi #pipes and filters #verification

Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units (PM, NDD, AN, HT), pp. 36–43.

SIGMOD-2002-HacigumusILM #sql

Executing SQL over encrypted data in the database-service-provider model (HH, BRI, CL, SM), pp. 216–227.

SIGMOD-2002-Weininger #execution #performance

Efficient execution of joins in a star schema (AW), pp. 542–545.

VLDB-2002-BlottK #database #execution #in memory #protocol #transaction

An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems (SB, HFK), pp. 706–717.

FASE-2002-XieB #design #execution #model checking #object-oriented #reduction

Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.

FASE-2002-XieLB #design #execution #model checking #named #object-oriented

ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs (FX, VL, JCB), pp. 331–335.

TACAS-2002-ChaH #constraints #distributed #execution #realtime #validation

Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.

WRLA-2002-EkerKLLT #biology #execution #logic #modelling #network

Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.

WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus

An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.

ICSM-2002-MoeS #distributed #execution #using

Using Execution Trace Data to Improve Distributed Systems (JM, KS), pp. 640–648.

IWPC-2002-Hamou-LhadjL #analysis #execution #scalability

Compression Techniques to Simplify the Analysis of Large Execution Traces (AHL, TCL), pp. 159–168.

PASTE-2002-AkgulM #debugging #execution

Instruction-level reverse execution for debugging (TA, VJM), pp. 18–25.

WCRE-2002-SchwarzDA #execution #revisited

Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.

ICGT-2002-Harel #behaviour #requirements #why

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (DH), pp. 6–7.

ICGT-2002-ReisRASN #execution #graph transformation #process #semantics #using

Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.

VISSOFT-2002-DiehlK #execution #visual notation

Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.

AdaEurope-2002-BinderL #embedded #execution #java #kernel #reliability #using

Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.

ICEIS-2002-Al-JumailyCM #constraints #execution #relational

An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.

ICEIS-2002-Gusikhin #execution #framework #integration

Analytical Framework for Data Integration in Manufacturing Execution Systems (OYG), p. 7.

UML-2002-JorgensenC #design #execution #middleware #modelling #pervasive

Executable Design Models for a Pervasive Healthcare Middleware System (JBJ, SC), pp. 140–149.

OOPSLA-2002-MarellyHK #execution #multi #sequence chart

Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.

SAC-2002-Abu-GhazalehP #execution #mobile #performance #towards #verification

Verification caching: towards efficient and secure mobile code execution environments (NBAG, DSP), pp. 964–968.

SAC-2002-AntoniouA #declarative #execution

Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.

SAC-2002-GoumasAK #architecture #automation #code generation #parallel

Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.

SAC-2002-MorvanH #execution #memory management #parallel #query

Dynamic memory allocation strategies for parallel query execution (FM, AH), pp. 897–901.

ICSE-2002-NittoLSTT #execution #process #uml

Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.

ASPLOS-2002-KimY #algorithm #compilation #design #evaluation

Design and evaluation of compiler algorithms for pre-execution (DK, DY), pp. 159–170.

ASPLOS-2002-RajwarG #execution #source code #transaction

Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.

HPCA-2002-WangWCGKS #execution #memory management

Memory Latency-Tolerance Approaches for Itanium Processors: Out-of-Order Execution vs. Speculative Precomputation (PHW, HW, JDC, EG, RMK, JPS), pp. 187–196.

HPDC-2002-LaszewskiGPF #execution #grid #named #query

InfoGram: A Grid Service that Supports Both Information Queries and Job Execution (GvL, JG, CJP, ITF), pp. 333–342.

HPDC-2002-MatthewsHJL #automation #backtracking #debugging #source code

Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs (GM, RH, SJ, PFL), p. 150–?.

LCTES-SCOPES-2002-JhumkaHCS #consistency #design #embedded #execution #on the

On systematic design of globally consistent executable assertions in embedded software (AJ, MH, VC, NS), pp. 75–84.

ICLP-2002-DucasseL #analysis #automation #execution

Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.

ICLP-2002-HayashiCO #execution #logic programming

Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.

ASE-2001-GuptaR #metric

Program Execution-Based Module Cohesion Measurement (NG, PR), p. 144–?.

ASE-2001-Lee #automation #documentation #execution #requirements #specification

Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.

ASE-2001-LenceviciusMR #design #execution

Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.

ASE-2001-XieLB #execution #model checking #set #uml

Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.

DATE-2001-GiustoMH #embedded #estimation #execution #reliability

Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.

PODS-2001-Schuldt #execution #order #process #protocol #transaction

Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).

ITiCSE-2001-LiningtonD #execution

Picture program execution (JL, MD), p. 175.

ESOP-2001-BartheDJSS #execution #framework #semantics

A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.

FASE-2001-EshuisW #diagrams #execution #process #realtime #semantics #uml

A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.

ICSM-2001-SouderMS #framework #named

Form: A Framework for Creating Views of Program Executions (TSS, SM, MS), p. 612–?.

IWPC-2001-EisenbarthKS #comprehension #concept analysis #execution #using

Feature-Driven Program Understanding Using Concept Analysis of Execution Traces (TE, RK, DS), pp. 300–309.

IWPC-2001-MoeC #comprehension #distributed #execution

Understanding Distributed Systems via Execution Trace Data (JM, DAC), pp. 60–67.

CHI-2001-KierasMB #execution #modelling #towards

Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.

SVIS-2001-PauwJMSVY #execution #java #source code #visualisation

Visualizing the Execution of Java Programs (WDP, EJ, NM, GS, JMV, JY), pp. 151–162.

SIGAda-2001-ChenBY #adaptation #algorithm #detection #using

Detecting concurrently executed pairs of statements using an adapted MHP algorithm (ZC, BX, HY), pp. 107–114.

CAiSE-2001-SunyePHGJ #action semantics #execution #modelling #semantics #uml #using

Using UML Action Semantics for Executable Modeling and Beyond (GS, FP, WMH, ALG, JMJ), pp. 433–447.

ICEIS-v1-2001-NijbakkerW #design #information management

Knowledge-Powered Executive Information System Design (SN, BJW), pp. 75–80.

SEKE-2001-HoudekSE #detection #empirical #execution #fault #specification

Defect Detection for Executable Specifications — An Experiment (FH, TS, DE), pp. 10–18.

SEKE-2001-Mellor #abstraction #execution

Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.

UML-2001-EshuisW #algorithm #execution #graph #process #uml

An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.

ECOOP-2001-TatsuboriSCI #bytecode #distributed #execution #java #legacy

A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.

OOPSLA-2001-BrechtALP #execution #garbage collection #java

Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications (TB, EA, CL, HP), pp. 353–366.

TOOLS-USA-2001-Webre #bibliography #perspective

Object Technology: An Executive Overview (HW), p. 331.

SAC-2001-ChenW #specification #user interface #visual notation

A graphical user interface for executing formal specifications (XC, TW), pp. 648–652.

SAC-2001-StaudtKR #data flow #execution #process #semistructured data

Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.

ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #symbolic computation #using #verification

Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.

ICSE-2001-BertolinoIM #architecture #execution #testing

An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.

ICSE-2001-DickinsonLP #analysis #clustering #execution

Finding Failures by Cluster Analysis of Execution Profiles (WD, DL, AP), pp. 339–348.

ICSE-2001-ReissR #encoding

Encoding Program Executions (SPR, MR), pp. 221–230.

CC-2001-AycockH #earley #parsing

Directly-Executable Earley Parsing (JA, RNH), pp. 229–243.

HPCA-2001-WangWKRS #execution #scheduling

Register Renaming and Scheduling for Dynamic Execution of Predicated Code (PHW, HW, RMK, KR, JPS), pp. 15–25.

PPoPP-2001-KimOEFV #analysis #execution #framework #optimisation

Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.

CAV-2001-Moore #execution #modelling #state machine #symbolic computation

Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.

DATE-2000-YooLJRCC #execution #performance

Fast Hardware-Software Coverification by Optimistic Execution of Real Processor (SY, JeL, JJ, KR, YC, KC), pp. 663–668.

SIGMOD-2000-WaasG #cost analysis #execution #query

Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer (FW, CAGL), pp. 499–509.

ITiCSE-2000-Exton #comprehension #concurrent #execution #named #object-oriented

Elucidate: a tool to aid comprehension of concurrent object oriented execution (CE), pp. 33–36.

TACAS-2000-AronsP #comparison #execution #verification

A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.

ICSM-2000-HuMDL #analysis #c #c++ #compilation #execution #symbolic computation #using

C/C++ Conditional Compilation Analysis using Symbolic Execution (YH, EM, MD, BL), pp. 196–206.

AdaEurope-2000-Ringler #analysis #execution #source code #worst-case

Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.

CAiSE-2000-ObermairS #execution #transaction

Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.

ICPR-v2-2000-KosmalaRB #execution #online #recognition

On-Line Handwritten Formula Recognition with Integrated Correction Recognition and Execution (AK, GR, AB), pp. 2590–2593.

ICPR-v4-2000-MendezMOH #execution #simulation

Remote Robot Execution through WWW Simulation (STPM, FTM, FO, FACH), pp. 4503–4506.

TOOLS-EUROPE-2000-HartwichT #distributed #execution #object-oriented #performance

Operation Execution Groups: Efficient Operation Processing in Widely Distributed Object Systems (CH, ST), pp. 157–168.

TOOLS-USA-2000-Ritchie #bibliography #perspective

Object Technology: An Executive Overview (CR), pp. 387–390.

SPLC-2000-DoerrS #architecture #dependence #execution #product line

Freeing product line architectures from execution dependencies (BSD, DS), pp. 313–330.

HPDC-2000-ThainL #execution #named

Bypass: A Tool for Building Split Execution Systems (DT, ML), pp. 79–86.

LCTES-2000-CortiBG #approximate #execution #multi #worst-case

Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.

CAV-2000-Velev #execution #verification

Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.

WICSA-1999-VeraPL #architecture #execution

Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.

DATE-1999-PasquierC #execution #realtime #simulation

An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.

SIGMOD-1999-IvesFFLW #adaptation #execution #integration #query

An Adaptive Query Execution System for Data Integration (ZGI, DF, MF, AYL, DSW), pp. 299–310.

FASE-1999-BruniMM #calculus #execution #process #specification

Executable Tile Specifications for Process Calculi (RB, JM, UM), pp. 60–76.

ICSM-1999-Kajko-Mattsson99b #execution #experience #maintenance #process

Experience Paper: Maintenance at ABB (II): Change Execution Processes (MKM), pp. 307–315.

ICSM-1999-LapierreMSAFT #automation #execution #generative #linear #programming #testing #using

Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees (SL, EM, GS, GA, RF, PT), pp. 189–198.

ICEIS-1999-Falsarella #corba #execution #framework #implementation #multi #using

Multi Language and Multi Platform Suport for Agent Execution Using CORBA Platform-An Implementation (OMF), p. 772.

ICEIS-1999-HilaireLK #execution #multi #specification #towards

Towards an Executable Specification of Multi-Agent Systems (VH, TL, AK), pp. 232–239.

TOOLS-USA-1999-ColletR #constraints #ocl #performance #towards

Towards Efficient Support for Executing the Object Constraint Language (PC, RR), p. 399–?.

TOOLS-USA-1999-OmoriIY #design pattern #execution #named

Answerer: A Design Pattern for Dynamical Conditional Execution (MO, NI, JiY), pp. 158–161.

PPDP-1999-Ruiz-AndinoASR #constraints #execution #finite #modelling #parallel #programming

Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.

PADL-1999-CadoliPSV #execution #named #problem #specification

NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.

SAC-1999-HermannGA #adaptation #design #execution #internet #multi

Design and Execution of Adaptive Multimedia Applications in the Internet (ACH, LPG, MJBA), pp. 624–629.

HPCA-1999-HilyS #effectiveness #execution #multi #thread

Out-of-Order Execution may not be Cost-Effective on Processors Featuring Simultaneous Multithreading (SH, AS), pp. 64–67.

HPCA-1999-ParcerisaG #multi #thread

The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.

HPCA-1999-TullsenG #architecture #compilation #execution #parallel #thread

Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.

OSDI-1999-ChangG #automation #execution #generative

Automatic I/O Hint Generation Through Speculative Execution (FWC, GAG), pp. 1–14.

OSDI-1999-FordHLMT #execution #interface #kernel #modelling

Interface and Execution Models in the Fluke Kernel (BF, MH, JL, RM, PT), pp. 101–115.

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.

ICLP-1999-CiarliniF #execution #hybrid #symbolic computation

Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.

ICLP-1999-JahierD #approach #monitoring

A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.

IWTCS-1999-Vassiliou-GiolesSBWL #distributed #execution #testing

Configuration and Execution Support for Distributed Tests (TVG, IS, MB, MW, ML), pp. 61–76.

TLCA-1999-Ohori #compilation #execution #morphism

A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.

DAC-1998-LakshminarayanaRJ #behaviour #control flow #execution #scheduling

Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.

SIGMOD-1998-KabraD #execution #performance #query

Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans (NK, DJD), pp. 106–117.

VLDB-1998-CarinoO #execution #optimisation #parallel

Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.

ESOP-1998-CairesM #concurrent #execution #logic #specification

Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi (LC, LM), pp. 42–56.

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

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

PLDI-1998-SastryPS #execution #float #integer

Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.

AdaEurope-1998-HarbourRGG #ada #execution #implementation #realtime #using

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.

SIGAda-1998-FleenerMS #lightweight #reuse

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

EDOC-1998-GriffelBWLM #contract #internet

Electronic contracting with COSMOS-how to establish, negotiate and execute electronic contracts on the Internet (FG, MB, HW, WL, MM), pp. 46–55.

CIKM-1998-BouganimKV #adaptation #execution #query #scalability #scheduling

Memory-Adaptive Scheduling for Large Query Execution (LB, OK, PV), pp. 105–115.

KR-1998-BacchusP #execution #information management #modelling

Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.

KR-1998-GiacomoRS #execution #monitoring #source code

Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.

KR-1998-MuscettolaMT #execution #performance

Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.

UML-1998-MellorTAL #execution #precise #semantics #uml

An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.

ALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread

SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.

POPL-1998-DebrayMW #alias #analysis #execution

Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.

ASPLOS-1998-KrintzCLZ #execution #mobile #source code #strict #using

Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs (CK, BC, HBL, BGZ), pp. 159–169.

ASPLOS-1998-Le #execution #runtime

An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.

ASPLOS-1998-RanganathanF #distributed #empirical #execution #modelling

An Empirical Study of Decentralized ILP Execution Models (NR, MF), pp. 272–281.

HPCA-1998-Chen #adaptation #branch #execution

Supporting Highly-Speculative Execution via Adaptive Branch Trees (TFC), pp. 185–194.

LCTES-1998-YurkoskiRE #java #using

Using InfernoTM to Execute JavaTM on Small Devices (CFY, LRR, BKE), pp. 108–118.

CAV-1998-SawadaH #execution #precise #verification

Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.

CAV-1998-SkakkebaekJD #execution #incremental #using #verification

Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.

IWTCS-1998-KahloucheVZ #automation #empirical #execution #generative #industrial #protocol #testing

An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol (HK, CV, MZ), pp. 211–226.

JICSLP-1998-FonsecaCD #execution #logic programming #named #parallel #source code #visualisation

VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs (NAF, VSC, IdCD), pp. 100–114.

JICSLP-1998-ShenCK #distance #execution #metric #named #parallel

Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.

DAC-1997-LavanaKBK #collaboration #design #execution #internet #paradigm #workflow

Executable Workflows: A Paradigm for Collaborative Design on the Internet (HL, AK, FB, KK), pp. 553–558.

DAC-1997-NelsonJB #execution #verification

Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.

SIGMOD-1997-LlirbatFS #sql

Eliminating Costly Redundant Computations from SQL Trigger Executions (FL, FF, ES), pp. 428–439.

ICSM-1997-CifuentesF #bytecode #slicing

Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.

WPC-1997-KorelR #comprehension #execution #slicing

Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.

PLDI-1997-Goodwin #analysis #data flow #execution #interprocedural

Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.

STOC-1997-EdmondsCBD #execution #multi #scheduling

Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (Extended Abstract) (JE, DDC, TB, XD), pp. 120–129.

CAiSE-1997-TombrosGD #component #execution #semantics #workflow

Semantics of Reactive Components in Event-Driven Workflow Execution (DT, AG, KRD), pp. 409–422.

CIKM-1997-DogduO #execution #realtime #transaction

Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, GÖ), pp. 301–308.

CIKM-1997-KimC #approach #database #execution #static analysis

A Practical Approach to Static Analysis and Execution of Rules in Active Databases (SKK, SC), pp. 161–168.

TOOLS-PACIFIC-1997-NayaNYHOA #development #execution #morphism #object-oriented #optimisation #polymorphism

Object-Oriented Development Based on Polymorphism Patterns and Optimization to Reduce Executable Code Size (HN, FN, TY, LH, KO, MA), pp. 68–79.

SAC-1997-Li97a #execution #parallel #source code

Analyzing the expected execution times of parallel programs (KL), pp. 488–495.

SAC-1997-Liu #algorithm #evaluation #execution #parallel #performance #query

Performance evaluation of processor allocation algorithms for parallel query execution (KHL), pp. 393–402.

ESEC-FSE-1997-DucasseR #design #execution #reuse #towards

Executable Connectors: Towards Reusable Design Elements (SD, TR), pp. 483–499.

ICSE-1997-JerdingSB #interactive #visualisation

Visualizing Interactions in Program Executions (DFJ, JTS, TB), pp. 360–370.

HPDC-1997-EvenskyGCA #distributed #execution #named #scalability

Lilith: Scalable Execution of User Code for Distributed Computing (DAE, ACG, LJC, RCA), pp. 305–314.

PPoPP-1997-FuY #execution #parallel #performance

Space and Time Efficient Execution of Parallel Irregular Computation (CF, TY), pp. 57–68.

ICLP-1997-HuangSS #execution #modelling #parallel

Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models (ZH, CS, AS), p. 410.

ICLP-1997-VaupelGP #execution #logic programming #source code #visualisation

Visualization of And/Or-Parallel Execution of Logic Programs (RV, EP, GG), pp. 271–285.

DAC-1996-Gupta #analysis #constraints #embedded #execution

Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.

SIGMOD-1996-HellersteinN #execution #query

Query Execution Techniques for Caching Expensive Methods (JMH, JFN), pp. 423–434.

VLDB-1996-SarawagiS #database #execution #memory management #order #query

Reordering Query Execution in Tertiary Memory Databases (SS, MS), pp. 156–167.

TACAS-1996-DamonJ #performance #specification

Efficient Search as a Means of Executing Specifications (CD, DJ), pp. 70–86.

TRI-Ada-1996-MeyerR #design #embedded #safety

Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.

CAiSE-1996-GalES #execution #named

TALE: A Temporal Active Language and Execution Model (AG, OE, AS), pp. 60–81.

OOPSLA-1996-HassenAB #distributed #execution #flexibility

A Flexible Operation Execution Model for Shared Distributed Objects (SBH, IA, HEB), pp. 30–50.

PLILP-1996-GehrkeH #execution #named #specification

ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.

SAC-1996-LiuO #distributed #specification

Executing specifications of distributed computations with Chronolog(MC) (CL, MAO), pp. 393–400.

ICSE-1996-HarelG #execution #modelling

Executable Object Modeling with Statecharts (DH, EG), pp. 246–257.

CC-1996-FritzonWHSS #array #bytecode #debugging #distributed #parallel #process

A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes (PF, RW, OH, JS, PS), pp. 341–355.

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.

JICSLP-1996-KusalikP #execution #logic programming #parallel #performance #visualisation

Visualizing Parallel Logic Program Execution for Performance Tuning (AJK, SDP), pp. 498–512.

DAC-1995-WalkerG #algorithm #distributed #execution #parallel #simulation

Asynchronous, Distributed Event Driven Simulation Algorithm for Execution of VHDL on Parallel Processors (PAW, SG), pp. 144–150.

SIGMOD-1995-ChaudhuriDY #execution #optimisation #query

Join Queries with External Text Sources: Execution and Optimization Techniques (SC, UD, TWY), pp. 410–422.

SIGMOD-1995-DavisonG #execution #multi #query

Dynamic Resource Brokering for Multi-User Query Execution (DLD, GG), pp. 281–292.

SIGMOD-1995-GardarinMP #execution #functional #named #query

OFL: A Functional Execution Model for Object Query Languages (GG, FM, PP), pp. 59–70.

FPLE-1995-KlugeRS #education #execution #functional #programming #using

Using pi-RED as a Teaching Tool for Functional Programming and Program Execution (WEK, CR, SBS), pp. 231–249.

WCRE-1995-CimitileLM #execution #reuse #symbolic computation #using

Qualifying Reusable Functions Using Symbolic Execution (AC, ADL, MM).

PLDI-1995-LarusS #editing #execution #independence #named

EEL: Machine-Independent Executable Editing (JRL, ES), pp. 291–300.

SAS-1995-RaoS #execution #prolog #source code

Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.

AdaEurope-1995-Richard-Foy #ada #safety

Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.

CIKM-1995-HameurlainM #execution #parallel #query #scheduling #sql

Scheduling and Mapping for Parallel Execution of Extended SQL Queries (AH, FM), pp. 197–204.

CIKM-1995-HerzogS #constraints #execution #parallel

Parallel Execution of Integrity Constraint Checks (UH, RS), pp. 82–89.

SEKE-1995-Jent #execution #named #specification

DODAN/2: An Executable Specification Language for OS/2 (SAJ), pp. 464–469.

SEKE-1995-Lee #execution #logic programming #parallel #source code

Parallel Execution of Logic Programs with Breadth-first Search (WSL), pp. 470–477.

PLILP-1995-MeristeP #execution #modelling #specification

Attributed Models of Executable Specifications (MM, JP), pp. 459–460.

POPL-1995-DawsonRRSSSW #execution #logic programming #performance #source code #unification

Unification Factoring for Efficient Execution of Logic Programs (SD, CRR, IVR, KFS, SS, TS, DSW), pp. 247–258.

SAC-1995-PandaP #cost analysis #execution #query

Query execution in prism and seaview: a cost analysis (BP, WP), pp. 65–70.

ESEC-1995-GaskellP #ambiguity #analysis #execution #semantics

A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.

HPCA-1995-FarkasJC #execution #how #multi #question

How Useful Are Non-Blocking Loads, Stream Buffers and Speculative Execution in Multiple Issue Processors? (KIF, NPJ, PC), pp. 78–89.

LCT-RTS-1995-HuangL #concurrent #execution #predict #worst-case

Predicting the Worst-Case Execution Time of the Concurrent Execution of Instructions and Cycle-Stealing DMA I/O Operations (TYH, JWSL), pp. 1–6.

LCT-RTS-1995-NilsenR #analysis #execution #worst-case

Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.

ICLP-1995-BarbutiFS #execution #modelling #prolog #using

Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.

ICLP-1995-CarlsonC #compilation #constraints #finite

Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.

ICLP-1995-IsozakiK #estimation #execution #logic programming #source code #transaction

Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.

ICLP-1995-SagonasW #execution #implementation #performance #prolog

Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.

DAC-1994-RadivojevicB #execution #scheduling

Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.

EDAC-1994-GajskiVN #refinement

A System-Design Methodology: Executable-Specification Refinement (DG, FV, SN), pp. 458–463.

SIGMOD-1994-HsiaoCY #execution #on the #parallel #pipes and filters

On Parallel Execution of Multiple Pipelined Hash Joins (HIH, MSC, PSY), pp. 185–196.

LFP-1994-ReistadG #execution

Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.

AdaEurope-1994-AbadieB #development #execution #named #realtime

CEDEX — A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications (JA, BB), pp. 465–482.

AdaEurope-1994-PitetteCGS #ada #named #realtime

Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems (GMP, JYC, DG, JMS), pp. 406–420.

TRI-Ada-1994-Moody #architecture #execution #multi #process

The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution (SAM), pp. 4–15.

SEKE-1994-ArndtGPT #execution #logic programming #source code #symbolic computation

Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.

ECOOP-1994-PauwKV #execution #modelling #object-oriented

Modeling Object-Oriented Program Execution (WDP, DK, JMV), pp. 163–182.

LOPSTR-1994-Renault #execution #source code

Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.

POPL-1994-Paakki #execution #functional #logic programming #multi #source code

Multi-Pass Execution of Functional Logic Programs (JP), pp. 361–374.

ICRE-1994-GullaWLS #concept #modelling

Executing, viewing and explaining conceptual models (JAG, GW, OIL, AS), pp. 166–175.

SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.

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.

CC-1994-ErtlK #exception #execution

Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.

ICLP-1994-AraujoR #distributed #execution #independence #named #parallel #prolog

PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog (LA, JJR), pp. 142–156.

ICLP-1994-GuptaHPC #execution #logic programming #named #source code

ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.

ISSTA-1994-DouglasK #execution #named #specification #symbolic computation #testing

Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.

KBSE-1993-BailesCGP #execution #named #specification

GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.

PODS-1993-RastogiMBKS #correctness #on the

On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.

VLDB-1993-GhandeharizadehHJCELLTZ #database #execution #implementation #modelling #on the #specification

On Implementing a Language for Specifying Active Database Execution Models (SG, RH, DJ, JC, MEM, SHL, JL, CT, GZ), pp. 441–454.

VLDB-1993-LanzelotteVZ #effectiveness #execution #on the #optimisation #parallel

On the Effectiveness of Optimization Search Strategies for Parallel Execution Spaces (RSGL, PV, MZ), pp. 493–504.

VLDB-1993-VhanHY #execution

Applying Hash Filters to Improving the Execution of Bushy Trees (MSC, HIH, PSY), pp. 505–516.

FME-1993-DoumencM #automaton #execution #parallel

The Parallel Abstract Machine: A Common Execution Model for FDTs (GD, JFM), pp. 285–293.

FME-1993-GuntherSW #database #execution #on the #source code #specification

On the Derivation of Executable Database Programs from Formal Specifications (TG, KDS, IW), pp. 351–366.

AdaEurope-1993-BrygierR #ada #certification #realtime #safety

Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.

CAiSE-1993-GullaW #execution #modelling #using #validation

Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.

CIKM-1993-VoortS #confluence #execution #termination

Termination and Confluence of Rule Execution (LvdV, AS), pp. 245–255.

SEKE-1993-Deng #architecture #execution #specification

Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.

SEKE-1993-DengES #design #execution #object-oriented #specification

Executable Specifications for the Design of Object-Oriented Systems (YD, RKE, WS), pp. 46–53.

SEKE-1993-Evangelist #architecture #execution #specification

Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.

SEKE-1993-KaarelaO #automation #execution #specification

Executable Graphic Specifications in Automation Projects (KK, AO), pp. 296–300.

OOPSLA-1993-OdehP #execution #object-oriented

Object-Oriented Execution of OPS5 Production Systems (MHO, JAP), pp. 178–190.

TOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation

ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.

PLILP-1993-BarklundB #bound #memory management #multi

Executing Bounded Quantifications on Shared Memory Multiprocessors (JB, JB), pp. 302–317.

PLILP-1993-Kastens #execution #implementation #specification

Executable Specifications for Language Implementation (UK), pp. 1–11.

ICRE-1993-Beeck #analysis #execution #precise #realtime #specification

Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.

ICRE-1993-HoffmannD #design #execution #process #prototype #specification #using

Using Executable Specifications for Prototyping System Design Process (CH, BD), pp. 135–145.

SAC-1993-MotzkinJHK #concurrent #execution #information management #on the

On Concurrent Execution of Information Systems Applications (DM, EJ, DH, MK), pp. 775–781.

ICLP-1993-CarroGH #execution #logic programming #paradigm #parallel #source code #visualisation

Some Paradigms for Visualizing Parallel Execution of Logic Programs (MC, LMGH, MVH), pp. 184–200.

IWPTS-1993-Phalippou #execution

Executable Testers (MP), pp. 35–50.

KBSE-1992-Liao #execution #on the #performance

On Efficiently Computing Derived Performance Data of Program Execution (YL), p. 25.

SIGMOD-1992-GangulyHK #execution #optimisation #parallel #query

Query Optimization for Parallel Execution (SG, WH, RK), pp. 9–18.

SIGMOD-1992-Hanson #execution #testing

Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.

VLDB-1992-ChenLYY #execution #pipes and filters #using

Using Segmented Right-Deep Trees for the Execution of Pipelined Hash Joins (MSC, MLL, PSY, HCY), pp. 15–26.

AdaEurope-1992-PuenteZAF #ada #realtime #reuse

Reusable Executives for Hard Real-Time Systems in Ada (JAdlP, JZ, AA, JLF), pp. 104–115.

JICSLP-1992-AbreuPC #execution #product line

Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.

JICSLP-1992-ChenRR #algorithm #execution #multi #prolog

Multistage Indexing Algorithms for Speeding Prolog Execution (TC, IVR, RR), pp. 639–653.

SIGMOD-1991-AgrawalK #execution #multi #transaction #using

Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.

PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.

STOC-1991-KedemPRS #parallel #performance

Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing (Extended Abstract) (ZMK, KVP, AR, PGS), pp. 381–390.

VDME-1991-1-LarsenL #execution #set #specification

An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.

CAiSE-1991-Liu #execution #integration #process

Software Process Planning and Execution: Coupling vs. Integration (CL), pp. 356–374.

KR-1991-BarringerFGH #execution #logic

Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.

PLILP-1991-Loyola #animation #debugging #execution #logic programming

Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.

ESEC-1991-CreusotLRTKMS #execution

Execution Environment for ELECTRE Applications (DC, PL, OR, YT, AK, OM, CSM), pp. 147–165.

ASPLOS-1991-BenitezD #code generation #streaming

Code Generation for Streaming: An Access/Execute Mechanism (MEB, JWD), pp. 132–141.

ISLP-1991-Ducasse #prolog

Abstract Views of Prolog Executions in Opium (MD), pp. 18–32.

ISLP-1991-HidakaKTT #clustering #commit #execution

A Static Load Partitioning Method based on Execution Profile for Committed Choice Languages (YH, HK, JT, HT), pp. 470–484.

LICS-1991-JouannaudO #algebra #execution #higher-order #specification

A Computation Model for Executable Higher-Order Algebraic Specification Languages (JPJ, MO), pp. 350–361.

TAV-1991-GhezziK #approach #specification

Executing Formal Specifications: The ASTRAL to TRIO Translation Approach (CG, RAK), pp. 112–122.

SEKE-1990-Iyengar #execution #logic programming #source code

Intelligent Forward Execution in Logic Programs (SRI), pp. 153–158.

SEKE-1990-SheuVH #execution #process

Integrated Process Description and Execution in Manufacturing Environments (PCYS, RV, SSH), pp. 25–32.

PLILP-1990-Fribourg #execution #prolog

A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.

ICSE-1990-OswaldEM #petri net #specification

An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.

CC-1990-Pfahler #execution #lr #optimisation #parsing

Optimizing Directly Executable LR Parsers (PP), pp. 179–192.

CAV-1990-MorrisH #execution #symbolic computation #verification

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.

CLP-1990-Fribourg90 #execution #induction #logic programming #prolog #proving #source code

Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction (LF), pp. 685–699.

NACLP-1990-GuptaJ90a #execution #logic programming #modelling #on the #source code

On Criteria for Or-Parallel Execution Models of Logic Programs (GG, BJ), pp. 737–756.

NACLP-1990-Helm #execution #on the

On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.

VLDB-1989-MurphyR #effectiveness #execution #multi #resource management

Effective Resource Utilization for Multiprocessor Join Execution (MCM, DR), pp. 67–75.

PLDI-1989-Sarkar #execution

Determining Average Program Execution Times and their Variance (VS), pp. 298–312.

SEKE-1989-LiRPS #execution #hybrid #modelling #paradigm #simulation

A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment (XL, AR, RP, JS), pp. 61–66.

ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation

Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.

LICS-1989-Gischer

A Small Universal Model for System Executions (JLG), pp. 146–153.

NACLP-1989-ChangC #execution #strict

Restricted AND-Parallelism Execution Model with Side-Effects (SEC, YPC), pp. 350–368.

NACLP-1989-Helm #bottom-up #execution #on the

On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.

NACLP-1989-Nystrom #concurrent #execution #logic

Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.

NACLP-1989-RamkumarK #execution #multi #process

Compiled Execution of the Reduce-OR Process Model on Multiprocessors (BR, LVK), pp. 313–331.

NACLP-1989-SaletoreK #execution #logic programming #parallel #performance #source code

Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs (VAS, LVK), pp. 390–406.

RTA-1989-SekarPR #execution #parallel #performance #term rewriting

Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution (RCS, SP, IVR), pp. 404–418.

TAV-1989-ChoiMP #execution #named #scheduling

PMothra: Scheduling Mutants for Execution on a Hypercube (BC, AM, BP), pp. 58–65.

TAV-1989-RazoukG #logic #realtime #reasoning #source code

Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.

SIGMOD-1988-Bell #data transformation #execution #parallel #physics

A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.

VLDB-1988-ShekarSD #execution #formal method #optimisation #query #semantics #trade-off

A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization (SS, JS, SD), pp. 457–467.

VDME-1988-JiangX #abstraction #execution #named #specification

NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.

LFP-1988-TinkerK #execution #parallel

Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.

OOPSLA-1988-BensleyBP #distributed #execution #object-oriented

An Execution Model for Distributed Object-Oriented Computation (EHB, TJB, MJP), pp. 316–322.

PPEALS-1988-LarusH #concurrent #execution #lisp #source code

Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.

JICSCP-1988-Ali88 #execution #prolog

OR-Parallel Execution of Prolog on BC-Machine (KAMA), pp. 1531–1545.

JICSCP-1988-AttilaF88 #evaluation #execution #semantics #source code

Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.

JICSCP-1988-KaleRS88 #execution #independence #logic programming #memory management #parallel #source code

A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs (LVK, RR, WWS), pp. 1223–1240.

JICSCP-1988-LinK88 #execution #logic programming #memory management #multi #source code #summary

AND-Parallel Execution of Logic Programs on a Shared Memory Multiprocessor: A Summary of Results (YJL, VK), pp. 1123–1141.

JICSCP-1988-NgL88 #contest #execution #logic programming #parallel #source code

The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.

JICSCP-1988-RamanS88 #distributed #execution #logic #problem

Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.

JICSCP-1988-SomogyiRV88 #algorithm #backtracking #execution

A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.

JICSCP-1988-StormonBOR88 #agile #architecture #execution #memory management #prolog

An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog (CDS, MRB, JVO, DFR), pp. 1448–1473.

JICSCP-1988-TsengB88 #data-driven #execution #logic programming #parallel #source code

A Data-Driven Parallel Execution Model for Logic Programs (CCT, PB), pp. 1204–1222.

PLDI-1987-KarinthiW #incremental #source code

Incremental re-execution of programs (RK, MW), pp. 38–44.

PLDI-1987-Pittman #execution #hybrid #interpreter #performance

Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.

FPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named

TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.

POPL-1987-AllenCK #automation #composition #execution #parallel #source code

Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.

ESEC-1987-CailletBR #ada #execution

High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.

ASPLOS-1987-HayesFWZ #architecture #execution #programming language

An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.

ICLP-1987-Conery87 #execution #implementation #nondeterminism

Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.

ICLP-1987-Hermenegildo87 #execution #logic programming #memory management #precedence #source code

Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs (MVH), pp. 556–575.

ICLP-1987-SatoSMRG87 #clustering #execution #memory management

KL1 Execution Model for PIM Cluster with Shared Memory (MS, HS, AM, KR, AG), pp. 338–355.

ICLP-1987-Shapiro87 #algorithm #execution #implementation #prolog

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.

SLP-1987-Ali87 #execution #implementation #parallel #prolog

A Method for Implementing Cut in Parallel Execution of Prolog (KAMA), pp. 449–456.

SLP-1987-ShenW87 #execution #prolog #simulation

A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.

SLP-1987-Warren87 #design #execution #implementation #prolog

The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues (DHDW), pp. 92–102.

ESOP-1986-SchwinnB #execution #logic programming #source code

An And-Parallel Execution Model of Logic Programs (BS, GB), pp. 289–300.

POPL-1986-JeffersonK #execution #quantifier #specification

Executable Specifications with Quantifiers in the FASE System (SJ, SNK), pp. 318–326.

CADE-1986-Lins #combinator #execution

A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.

ICLP-1986-ChengzhengY86 #execution #logic programming #source code

The OR-Forest Description for the Execution of Logic Programs (CS, TY), pp. 710–717.

ICLP-1986-Hermenegildo86 #automaton #execution #logic programming #source code #strict

An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs (MVH), pp. 25–39.

ICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification

Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.

ICLP-1986-Levy86a #execution #memory management

Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.

ICLP-1986-LinKL86 #algorithm #backtracking #execution #logic programming #parallel #source code

An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs (YJL, VK, CHCL), pp. 55–68.

ICLP-1986-Nakamura86 #execution #functional #logic programming

Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.

LICS-1986-BeckmanGW #algebra #execution #logic programming #parallel #source code

An Algebraic Model of Parallel Execution of Logic Programs (LB, RG, AW), pp. 50–57.

SLP-1986-CiepielewskiH86 #evaluation #execution #logic programming #performance #source code

Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs (AC, BH), pp. 246–257.

SLP-1986-Crammond86 #execution #nondeterminism

An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.

SLP-1986-LiM86 #execution #logic programming #parallel

The Sync Model: A Parallel Execution Method for Logic Programming (PPL, AJM), pp. 223–234.

DAC-1985-HughesLR #automation #design #distributed #execution #tool support

A technique for distributed execution of design automation tools (SCH, DBL, CJR), pp. 23–30.

PODS-1985-TuzhilinS #approach #concurrent #correctness #semantics #transaction

A Semantic Approach to Correctness of Concurrent Transaction Executions (AT, PGS), pp. 85–95.

FPCA-1985-BushG85 #execution #parallel #recursion #source code

Transforming Recursive Programs for Execution on Parallel Machines (VJB, JRG), pp. 350–367.

ICSE-1985-HendersonW #execution

Continous Execution: The VisiProg Environment (PBH, MW), pp. 68–74.

ICSE-1985-Lee #execution #modelling #on the #prototype #rule-based

On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.

SOSP-1985-TheimerLC #execution

Preemptable Remote Execution Facilities for the V-System (MT, KAL, DRC), pp. 2–12.

SLP-1985-MaluszynskiK85 #execution #logic programming #source code

Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.

ICSE-1984-MusaO #execution #metric #reliability

A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.

SLP-1984-LindstromP84 #execution #logic programming

Stream-Based Execution of Logic Programming (GL, PP), pp. 168–176.

SLP-1984-WarrenADK84 #distributed #network #prolog #source code

Executing Distributed Prolog Programs on a Broadcast Network (DSW, MA, SKD, LVK), pp. 12–21.

DAC-1983-Camoin #perspective

Central DA and its role: An executive view (RJC), p. 3.

SIGMOD-1983-WilmsLS #distributed #execution #protocol #quote

“I wish I were over there”: Distributed Execution Protocols for Data Definition in R* (PFW, BGL, PGS), pp. 238–242.

POPL-1983-CunyS #compilation #data-driven #execution #source code

Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.

SCC-1982-GrahamKM #execution #graph #named #profiling

gprof: a Call Graph Execution Profiler (SLG, PBK, MKM), pp. 120–126.

SCC-1982-Turba #execution

A Facility for the Downward Execution of a High-Level Language (TNT), pp. 127–133.

Best-of-PLDI-1982-GrahamKM #execution #graph #named #profiling

gprof: a call graph execution profiler (with retrospective) (SLG, PBK, MKM), pp. 49–57.

ICSE-1982-Urban #development #execution #functional #specification

Software Development with Executable Functional Specifications (JEU), pp. 418–419.

ASPLOS-1982-SansonnetCPBP #architecture #execution #lisp

Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.

ASPLOS-1982-Wiecek #case study #compilation #execution #set

A Case Study of VAX-11 Instruction Set Usage for Compiler Execution (CAW), pp. 177–184.

ILPC-1982-Bowen82 #concurrent #execution #logic

Concurrent Execution of Logic (KAB), pp. 26–30.

ICSE-1981-ZaveY #embedded #execution #requirements

Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.

STOC-1980-Strong #execution #graph

Vector Execution of Flow Graphs (Extended Abstract) (HRS), pp. 108–116.

SIGMOD-1979-DeWitt #execution #query

Query Execution in DIRECT (DJD), pp. 13–22.

VLDB-1979-Sandewall

A Description Language and Pilot-System Executive for Information-Transport Systems (ES), pp. 101–110.

VLDB-1975-FarleyS #database #execution #query #relational

Query Execution and Index Selection for Relational Data Bases (GF, SAS), p. 519.

POPL-1975-Lester #concurrent #execution

Program Schemas with Concurrency: Execution Time and Hangups (BPL), pp. 185–193.

SOSP-1975-ChandyR #execution #order #probability #scheduling

Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.