BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (166)
model (166)
symbol (132)
system (102)
parallel (99)

Stem execut$ (all stems)

1065 papers:

DACDAC-2015-ChenMRC #execution #paradigm #performance
Opportunistic turbo execution in NTC: exploiting the paradigm shift in performance bottlenecks (HC, DM, SR, KC), p. 6.
DACDAC-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.
DACDAC-2015-RoloffSHT #architecture #parallel #simulation
Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (SR, DS, FH, JT), p. 6.
DATEDATE-2015-DaneseGP #automation #behaviour #execution #modelling
Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATEDATE-2015-DoumaAP #estimation #execution #performance #precise
Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.
DATEDATE-2015-Ibing #architecture #execution #symbolic computation
Architecture description language based retargetable symbolic execution (AI), pp. 241–246.
DATEDATE-2015-PaulinoFBC #configuration management #execution #hardware #using
Transparent acceleration of program execution using reconfigurable hardware (NMCP, JCF, JB, JMPC), pp. 1066–1071.
DATEDATE-2015-PoplavkoSBBB #execution #modelling #multi #realtime
Models for deterministic execution of real-time multiprocessor applications (PP, DS, PB, SB, MB), pp. 1665–1670.
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2015-BuxBLHDL #execution #named #scalability #workflow
SAASFEE: Scalable Scientific Workflow Execution Engine (MB, JB, CL, KH, JD, UL), pp. 1892–1903.
VLDBVLDB-2015-HanD #execution #graph #parallel
Giraph Unchained: Barrierless Asynchronous Parallel Execution in Pregel-like Graph Processing Systems (MH, KD), pp. 950–961.
VLDBVLDB-2015-LeiZRE #execution #pipes and filters
Shared Execution of Recurring Workloads in MapReduce (CL, ZZ, EAR, MYE), pp. 714–725.
VLDBVLDB-2015-Liroz-GistauAV #execution #named #parallel #performance
FP-Hadoop: Efficient Execution of Parallel Jobs Over Skewed Data (MLG, RA, PV), pp. 1856–1867.
ESOPESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case
Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
SCAMSCAM-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.
MSRMSR-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.
SANERSANER-2015-NagyMC #approach #concept #query #sql
Where was this SQL query executed? a static concept location approach (CN, LM, AC), pp. 580–584.
PLDIPLDI-2015-LuciaR #execution #programming
A simpler, safer programming and execution model for intermittent systems (BL, BR), pp. 575–585.
PLDIPLDI-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.
AdaEuropeAdaEurope-2015-PinhoMMT #ada #execution #fine-grained #parallel
An Execution Model for Fine-Grained Parallelism in Ada (LMP, BM, SM, STT), pp. 196–211.
SEKESEKE-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.
SEKESEKE-2015-WangSZ #detection #execution #symbolic computation
Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection (YW, HS, QZ), pp. 536–539.
MoDELSMoDELS-2015-KhalilD #evolution #execution #incremental #state machine #symbolic computation
Incremental symbolic execution of evolving state machines (AK, JD), pp. 14–23.
POPLPOPL-2015-Agten0P #c #composition #verification
Sound Modular Verification of C Code Executing in an Unverified Context (PA, BJ, FP), pp. 581–594.
POPLPOPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
SACSAC-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.
SACSAC-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.
SACSAC-2015-FonsecaNRP #execution #parallel #realtime
A multi-DAG model for real-time parallel applications with conditional execution (JCF, VN, GR, LMP), pp. 1925–1932.
SACSAC-2015-FukudaL #library
A library to modularly control asynchronous executions (HF, PL), pp. 1648–1650.
SACSAC-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.
SACSAC-2015-Rubio-MonteroPG #adaptation #evaluation #framework #monte carlo
Evaluation of an adaptive framework for resilient Monte Carlo executions (AJRM, MARP, RMG), pp. 448–455.
SACSAC-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-FSEESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation
Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
ESEC-FSEESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation
Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
ESEC-FSEESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation
Targeted program transformations for symbolic execution (CC), pp. 906–909.
ESEC-FSEESEC-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-FSEESEC-FSE-2015-NguyenNDKN #detection #execution #semantics #variability
Detecting semantic merge conflicts with variability-aware execution (HVN, MHN, SCD, CK, TNN), pp. 926–929.
ESEC-FSEESEC-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.
ICSEICSE-v1-2015-QiuYPK #composition #execution #symbolic computation
Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-v1-2015-ZhangCWD0 #execution #symbolic computation
Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
SLESLE-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.
ASPLOSASPLOS-2015-HosekC #execution #framework #performance
VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOSASPLOS-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.
ASPLOSASPLOS-2015-YetimMM #communication #execution #fault #named #parallel
CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
CGOCGO-2015-JiaoLHM #concurrent #energy #execution #kernel
Improving GPGPU energy-efficiency through concurrent kernel execution and DVFS (QJ, ML, HPH, TM), pp. 1–11.
HPDCHPDC-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.
SOSPSOSP-2015-RaychevMM #execution #symbolic computation #using
Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.
CAVCAV-2015-FisherKPW #execution #network
Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.
ICLPICLP-2015-AriasC #execution #interface #towards
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract) (JA, MC).
ICLPICLP-2015-DovierFPV #execution #parallel
Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV).
ICLPICLP-2015-ElsawyZA #execution #revisited
CHR Exhaustive Execution — Revisited (AE, AZ, SA).
ICSTICST-2015-CseppentoM #symbolic computation #tool support
Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICSTICST-2015-FarzanHV #concurrent #execution #testing
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
ICSTICST-2015-HonfiVM #execution #named #symbolic computation #visualisation
SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.
ICSTICST-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.
ICSTICST-2015-YiYGWLZ #execution #symbolic computation
Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
ISSTAISSTA-2015-AdamsenMM #android #execution #testing
Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
ISSTAISSTA-2015-ClappAA #data flow #mining #named #specification
Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.
ISSTAISSTA-2015-JiaGY #constraints #execution #reuse #symbolic computation
Enhancing reuse of constraint solutions to improve symbolic execution (XJ, CG, SY), pp. 177–187.
ISSTAISSTA-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.
RTARTA-2015-Talcott #execution #formal method #logic #modelling
Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.
CBSECBSE-2014-Attouchi0BM #execution #memory management #monitoring #multitenancy
Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.
CBSECBSE-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.
ASEASE-2014-DingesA #execution #generative #using
Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASEASE-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.
ASEASE-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.
ASEASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing
Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASEASE-2014-RajanSSK #execution #using
Accelerated test execution using GPUs (AR, SS, PS, DK), pp. 97–102.
ASEASE-2014-RomanoE #library #memory management #named #runtime
symMMU: symbolically executed runtime libraries for symbolic memory access (AR, DRE), pp. 247–258.
ASEASE-2014-ZuddasJPMO #comprehension #debugging #named
MIMIC: locating and understanding bugs by analyzing mimicked executions (DZ, WJ, FP, LM, AO), pp. 815–826.
DACDAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DATEDATE-2014-AlhammadP #execution #manycore #parallel #predict #thread
Time-predictable execution of multithreaded applications on multicore systems (AA, RP), pp. 1–6.
DATEDATE-2014-CaplanMMM #execution #reliability #trade-off
Trade-offs in execution signature compression for reliable processor systems (JC, MIM, PM, BHM), pp. 1–6.
DATEDATE-2014-DuricPSUCVB #execution #named #power management
EVX: Vector execution on low power EDGE cores (MD, OP, AS, OSÜ, AC, MV, DB), pp. 1–4.
VLDBVLDB-2014-JayachandranTKN #execution #interactive #query
Combining User Interaction, Speculative Query Execution and Sampling in the DICE System (PJ, KT, NK, AN), pp. 1697–1700.
VLDBVLDB-2014-ToNP #architecture #named #sql #symmetry
SQL/AA: Executing SQL on an Asymmetric Architecture (QCT, BN, PP), pp. 1625–1628.
VLDBVLDB-2014-VemuriVPL #execution #scalability
Execution Primitives for Scalable Joins and Aggregations in Map Reduce (SV, MV, KP, RL), pp. 1462–1473.
VLDBVLDB-2014-WuWHN #execution #nondeterminism #predict #query
Uncertainty Aware Query Execution Time Prediction (WW, XW, HH, JFN), pp. 1857–1868.
CSEETCSEET-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.
SANERCSMR-WCRE-2014-Kamiya #algorithm #execution #keyword
An algorithm for keyword search on an execution path (TK), pp. 328–332.
SANERCSMR-WCRE-2014-PerscheidFH #debugging #execution
Follow the path: Debugging state anomalies along execution histories (MP, TF, RH), pp. 124–133.
ICPCICPC-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.
PLDIPLDI-2014-DavidY #bytecode #code search
Tracelet-based code search in executables (YD, EY), p. 37.
PLDIPLDI-2014-GuptaSS #execution #parallel #source code
Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.
PLDIPLDI-2014-SridharanGS #adaptation #execution #parallel #performance #source code
Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.
SEFMSEFM-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.
SFMSFM-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.
SFMSFM-2014-BubelMH #analysis #execution #modelling
Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
ICFPICFP-2014-FredrikssonG #distributed #execution #semantics
Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.
GRAPHITEGRAPHITE-2014-ManskyGG #optimisation #parallel #source code #specification
Specifying and Executing Optimizations for Parallel Programs (WM, DG, ELG), pp. 58–70.
ICGTICGT-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.
HILTHILT-2014-Seidewitz #execution #modelling #uml
UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.
CAiSECAiSE-2014-ChanYGM #development #execution #mining #process
Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
EDOCEDOC-2014-0001HPW #execution #framework #implementation #modelling
Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.
ICEISICEIS-v2-2014-ShumskyRW #calculus #execution #process
Processes Construction and π-calculus-based Execution and Tracing (LS, VR, VW), pp. 448–453.
KDIRKDIR-2014-Bleiweiss #execution #machine learning #using
SoC Processor Discovery for Program Execution Matching Using Unsupervised Machine Learning (AB), pp. 192–201.
SEKESEKE-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.
SEKESEKE-2014-SchotsRS #analysis #performance #process
A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MODELSMoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
ECOOPECOOP-2014-FilarettiM #execution #php #semantics
An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
ECOOPECOOP-2014-LeeKZ #concurrent #execution #multi
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores (KHL, DK, XZ), pp. 232–256.
OOPSLAOOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
LOPSTRLOPSTR-2014-ElsawyZA #execution #text-to-text
Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.
LOPSTRLOPSTR-2014-Vidal #execution #generative #prolog #testing
Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PPDPPPDP-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.
SACSAC-2014-Benner-WicknerBBG #execution
Execution support for agenda-driven case management (MBW, MB, TB, VG), pp. 1371–1377.
SACSAC-2014-NogueiraMV #case study #execution
An experimental study on execution time variation in computer experiments (PEN, RMJ, EV), pp. 1529–1534.
FSEFSE-2014-FilieriPVG #execution #statistics #symbolic computation
Statistical symbolic execution with informed sampling (AF, CSP, WV, JG), pp. 437–448.
ICSEICSE-2014-AvgerinosRCB #execution #symbolic computation
Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
ICSEICSE-2014-Godefroid #execution
Micro execution (PG), pp. 539–549.
ICSEICSE-2014-NguyenKN #execution #testing #variability #web
Exploring variability-aware execution for testing plugin-based web applications (HVN, CK, TNN), pp. 907–918.
ASPLOSASPLOS-2014-AndrusHADVN #android #execution #named
Cider: native execution of iOS apps on android (JA, AVH, NA, CD, NV, JN), pp. 367–382.
ASPLOSASPLOS-2014-BucurKC #execution #prototype #symbolic computation
Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
ASPLOSASPLOS-2014-YuHZX #execution #performance
Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
CGOCGO-2014-PanditG #execution #kernel #multi #source code
Fluidic Kernels: Cooperative Execution of OpenCL Programs on Multiple Heterogeneous Devices (PP, RG), p. 273.
CGOCGO-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.
HPCAHPCA-2014-BalasubramanianS #comprehension #execution #physics #reliability
Understanding the impact of gate-level physical reliability effects on whole program execution (RB, KS), pp. 60–71.
HPCAHPCA-2014-HayengaNL #architecture #execution #named #performance
Revolver: Processor architecture for power efficient loop execution (MH, VRKN, MHL), pp. 591–602.
HPDCHPDC-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.
LCTESLCTES-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.
PPoPPPPoPP-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.
PPoPPPPoPP-2014-LeeKZ #concurrent #execution #multi
Infrastructure-free logging and replay of concurrent execution on multiple cores (KHL, DK, XZ), pp. 371–372.
ICSTICST-2014-BardinKC #execution #performance #symbolic computation #test coverage
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.
ISSTAISSTA-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.
ISSTAISSTA-2014-JustEF #analysis #clustering #execution #mutation testing #performance
Efficient mutation analysis by propagating and partitioning infected execution states (RJ, MDE, GF), pp. 315–326.
ISSTAISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using
Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
SMTSMT-2014-PalikarevaC #execution #multi #symbolic computation
Multi-solver Support in Symbolic Execution (HP, CC), p. 15.
TAPTAP-2014-HentschelHB #bound #execution #symbolic computation #visualisation
Visualizing Unbounded Symbolic Execution (MH, RH, RB), pp. 82–98.
TAPTAP-2014-KampmannGZ #bound #execution #named #performance #verification
JTACO: Test Execution for Faster Bounded Verification (AK, JPG, AZ), pp. 134–141.
VMCAIVMCAI-2014-GustavssonGL #analysis #execution #parallel #using
Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
CBSECBSE-2013-HeinzemannB #architecture #component #configuration management
Executing reconfigurations in hierarchical component architectures (CH, SB), pp. 3–12.
CBSECBSE-2013-LednickiCS #analysis #execution #worst-case
Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.
QoSAQoSA-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.
ASEASE-2013-HolderSDT #android #execution
Cloud Twin: Native execution of android applications on the Windows Phone (EH, ES, MD, ET), pp. 598–603.
ASEASE-2013-HuangMM #proving #smt #using
Proving MCAPI executions are correct using SMT (YH, EM, JM), pp. 26–36.
ASEASE-2013-KwonZX #execution #framework #independence #named
PIEtrace: Platform independent executable trace (YK, XZ, DX), pp. 48–58.
ASEASE-2013-SumnerZ #analysis #execution #identification
Identifying execution points for dynamic analyses (WNS, XZ), pp. 81–91.
ASEASE-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.
DACDAC-2013-SinghDK #energy #execution #multi #optimisation #streaming
Energy optimization by exploiting execution slacks in streaming applications on multiprocessor systems (AKS, AD, AK), p. 7.
DATEDATE-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.
SIGMODSIGMOD-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.
SIGMODSIGMOD-2013-LimB #execution #optimisation #query
Execution and optimization of continuous queries with cyclops (HL, SB), pp. 1069–1072.
VLDBVLDB-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.
VLDBVLDB-2013-ChunCCRSW #execution #framework #named
REEF: Retainable Evaluator Execution Framework (BGC, TC, CC, RR, RS, MW), pp. 1370–1373.
VLDBVLDB-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.
FASEFASE-2013-LeoniDG #branch #execution #process
Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.
TACASTACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
ICPCICPC-2013-Kamiya #clone detection #detection #named #semantics
Agec: An execution-semantic clone detection tool (TK), pp. 227–229.
ICPCICPC-2013-TrumperDT #comparison #execution #multi #visual notation
Multiscale visual comparison of execution traces (JT, JD, ACT), pp. 53–62.
ICSMEICSM-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.
ICSMEICSM-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.
ICSMEICSM-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.
PASTEPASTE-2013-DingesCA #automation #concurrent #execution #set
Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.
SCAMSCAM-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.
WCREWCRE-2013-NayrollesMV #detection #execution #mining
Improving SOA antipatterns detection in Service Based Systems by mining execution traces (MN, NM, PV), pp. 321–330.
WCREWCRE-2013-Pichler #execution #specification #symbolic computation
Specification extraction by symbolic execution (JP), pp. 462–466.
WCREWCRE-2013-WalkinshawTD #finite #modelling #state machine
Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
PLDIPLDI-2013-HuangZD #concurrent #named
CLAP: recording local executions to reproduce concurrency failures (JH, CZ, JD), pp. 141–152.
LATALATA-2013-CuiDFI #automaton #execution
Execution Information Rate for Some Classes of Automata (CC, ZD, TRF, OHI), pp. 226–237.
SEFMSEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation
Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
CHICHI-2013-VermeulenLHC #execution
Crossing the bridge over norman’s gulf of execution: revealing feedforward’s true identity (JV, KL, EvdH, KC), pp. 1931–1940.
HCIHCI-AMTE-2013-FleischmannSS #execution #modelling #process #semantics
Semantic Execution of Subject-Oriented Process Models (AF, WS, CS), pp. 330–339.
VISSOFTVISSOFT-2013-PalepuJ #behaviour #visualisation
Visualizing constituent behaviors within executions (VKP, JAJ), pp. 1–4.
AdaEuropeAdaEurope-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.
CAiSECAiSE-2013-BarhamgiBOCCMT #execution #privacy
Secure and Privacy-Preserving Execution Model for Data Services (MB, DB, SO, NCB, FC, MM, HT), pp. 35–50.
CAiSECAiSE-2013-ConfortiLRA #execution #process
Supporting Risk-Informed Decisions during Business Process Execution (RC, MdL, MLR, WMPvdA), pp. 116–132.
EDOCEDOC-2013-LenhardW #execution #process
Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
KDDKDD-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.
SEKESEKE-2013-BassoWPO #how #question #reuse #tool support
How do You Execute Reuse Tasks Among Tools? (FPB, CMLW, RMP, TCO), pp. 721–726.
ECMFAECMFA-2013-0002G #debugging #execution #model transformation
End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.
MODELSMoDELS-2013-TisiPC #atl #execution #parallel
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
MODELSMoDELS-2013-TisiPC #atl #execution #parallel
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2013-CarbinMR #hardware #reliability #source code #verification
Verifying quantitative reliability for programs that execute on unreliable hardware (MC, SM, MCR), pp. 33–52.
OOPSLAOOPSLA-2013-LiSWL #execution #symbolic computation
Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
LOPSTRLOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem
Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
PPDPPPDP-2013-LamC #constraints #distributed #execution
Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
RERE-2013-Cleland-HuangCH #design #empirical #requirements #using
Using tracelab to design, execute, and baseline empirical requirements engineering experiments (JCH, AC, JHH), pp. 338–339.
SACSAC-2013-HeckelerSK #component #execution #robust #testing #using
Accelerated robustness testing of state-based components using reverse execution (PH, BS, TK), pp. 1188–1195.
SACSAC-2013-JancewiczKMRS #execution
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals (RJJ, AK, LDM, AR, AAS), pp. 1816–1823.
SACSAC-2013-KumarR #algorithm #data type #identification #online
Online identification of frequently executed acyclic paths by leveraging data stream algorithms (GK, SR), pp. 1694–1695.
SACSAC-2013-LaurentBG #debugging #modelling #uml
Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
SACSAC-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-FSEESEC-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.
ICSEICSE-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.
ICSEICSE-2013-HatcliffRCB #execution #framework #symbolic computation #verification
Explicating symbolic execution (xSymExe): an evidence-based verification framework (JH, R, PC, JB), pp. 222–231.
ICSEICSE-2013-HosekC #execution #multi
Safe software updates via multi-version execution (PH, CC), pp. 612–621.
ICSEICSE-2013-MaozS #specification
Counter play-out: executing unrealizable scenario-based specifications (SM, YS), pp. 242–251.
ICSEICSE-2013-SumnerZ #comparative #difference
Comparative causality: explaining the differences between executions (WNS, XZ), pp. 272–281.
ICSEICSE-2013-YangKP #execution #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
ICSEICSE-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.
SLESLE-2013-ArusoaieLR #execution #framework #symbolic computation
A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
SLESLE-2013-CombemaleDLMBBF #concurrent #execution #metamodelling
Reifying Concurrency for Executable Metamodeling (BC, JD, MVL, FM, OB, BB, RBF), pp. 365–384.
SLESLE-2013-MayerhoferLWK #domain-specific language #execution #named
xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.
ASPLOSASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification
Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
ASPLOSASPLOS-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.
CGOCGO-2013-AnantpurG #dependence #execution #runtime
Runtime dependence computation and execution of loops on heterogeneous systems (JA, RG), p. 10.
HPCAHPCA-2013-RhuE #control flow #execution #gpu #performance
The dual-path execution model for efficient GPU control flow (MR, ME), pp. 591–602.
HPCAHPCA-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.
CAVCAV-2013-EsparzaLNNSS #execution #ltl #model checking
A Fully Verified Executable LTL Model Checker (JE, PL, RN, TN, AS, JGS), pp. 463–478.
CAVCAV-2013-PalikarevaC #execution #multi #symbolic computation
Multi-solver Support in Symbolic Execution (HP, CC), pp. 53–68.
ICLPICLP-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.
ICTSSICTSS-2013-Ibing #eclipse #execution #parallel #symbolic computation
Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.
ICTSSICTSS-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.
ISSTAISSTA-2013-DevakiTSS #execution #flexibility #performance #user interface
Efficient and flexible GUI test execution via test merging (PD, ST, NS, SS), pp. 34–44.
TAPTAP-2013-InsaSR #algorithm #debugging #execution #using
Speeding Up Algorithmic Debugging Using Balanced Execution Trees (DI, JS, AR), pp. 133–151.
TAPTAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing
Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
ASEASE-2012-JamrozikFTH #execution #symbolic computation
Augmented dynamic symbolic execution (KJ, GF, NT, JdH), pp. 254–257.
CASECASE-2012-LeeB #execution #framework #lifecycle #simulation #using
Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
DACDAC-2012-ChoiOKH #architecture #data flow #graph #manycore
Executing synchronous dataflow graphs on a SPM-based multicore architecture (JC, HO, SK, SH), pp. 664–671.
DACDAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case
Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.
DATEDATE-2012-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.
DATEDATE-2012-CanedoF #cyber-physical #execution #industrial #parallel #towards
Towards parallel execution of IEC 61131 industrial cyber-physical systems applications (AC, MAAF), pp. 554–557.
HTHT-2012-HartigF #execution #linked data #open data #query #traversal
Foundations of traversal based query execution over linked data (OH, JCF), pp. 43–52.
SIGMODSIGMOD-2012-AlagiannisBBIA #execution #named #performance #query
NoDB: efficient query execution on raw data files (IA, RB, MB, SI, AA), pp. 241–252.
SIGMODSIGMOD-2012-SimitsisWCD #data flow #execution #multi #optimisation
Optimizing analytic data flows for multiple execution engines (AS, KW, MC, UD), pp. 829–840.
VLDBVLDB-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.
ESOPESOP-2012-HabermaierK #correctness #execution #on the
On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.
FASEFASE-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.
CSMRCSMR-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.
CSMRCSMR-2012-JaszSBOG #impact analysis #using
Impact Analysis Using Static Execute After in WebKit (JJ, LS, ÁB, CO, TG), pp. 95–104.
SCAMSCAM-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.
SCAMSCAM-2012-Vidal #execution #symbolic computation #termination #verification
Closed Symbolic Execution for Verifying Program Termination (GV), pp. 34–43.
WCREWCRE-2012-MediniAGPT #approach #execution #named
SCAN: An Approach to Label and Relate Execution Trace Segments (SM, GA, YGG, MDP, PT), pp. 135–144.
WCREWCRE-2012-NodaKA #abstraction #execution
Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.
WCREWCRE-2012-QiSQZZR #execution #modelling
Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
PLDIPLDI-2012-KuznetsovKBC #execution #performance #symbolic computation
Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
PLDIPLDI-2012-RamanZLA #execution #flexibility #named #parallel
Parcae: a system for flexible parallel execution (AR, AZ, JWL, DIA), pp. 133–144.
SASSAS-2012-EmmiL #distributed #source code
Finding Non-terminating Executions in Distributed Asynchronous Programs (ME, AL), pp. 439–455.
FMFM-2012-LazarASEMLR #semantics
Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.
IFMIFM-2012-RochaCMS #execution #interactive #verification
A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
AdaEuropeAdaEurope-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.
EDOCEDOC-2012-Holmes #design #execution #modelling
From Business Application Execution to Design Through Model-Based Reporting (TH), pp. 143–153.
ICEISICEIS-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.
SEKESEKE-2012-HaoWZ #classification #empirical #machine learning
An Empirical Study of Execution-Data Classification Based on Machine Learning (DH, XW, LZ), pp. 283–288.
SEKESEKE-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.
SEKESEKE-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.
ECMFAECMFA-2012-Seidewitz #execution #manycore #uml
Executable UML: From Multi-domain to Multi-core (ES), p. 1.
OnwardOnward-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.
OOPSLAOOPSLA-2012-HuangZ #agile #concurrent #debugging #execution #named #reduction
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction (JH, CZ), pp. 451–466.
OOPSLAOOPSLA-2012-HuangZ12a #concurrent #execution #source code
Execution privatization for scheduler-oblivious concurrent programs (JH, CZ), pp. 737–752.
OOPSLAOOPSLA-2012-SiddiquiK #analysis #execution #scalability #symbolic computation #using
Scaling symbolic execution using ranged analysis (JHS, SK), pp. 523–536.
OOPSLAOOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order #symbolic computation
Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
PPDPPPDP-2012-MarpleBMG #execution #set #source code
Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
PADLPADL-2012-AlbertAG #concurrent #execution #symbolic computation
Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.
PADLPADL-2012-GuzmanCCH #approach
A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.
PADLPADL-2012-Lesniak #algorithm #graph #haskell #named
Palovca: Describing and Executing Graph Algorithms in Haskell (ML), pp. 153–167.
POPLPOPL-2012-EllisonR #c #execution #semantics
An executable formal semantics of C with applications (CE, GR), pp. 533–544.
SACSAC-2012-ObaidAMS #database #execution #mobile #query
Query execution on a mobile database system (AO, AMA, HM, NS), pp. 569–571.
SACSAC-2012-SiddiquiK #execution #staged #symbolic computation
Staged symbolic execution (JHS, SK), pp. 1339–1346.
SACSAC-2012-ZurowskaD #execution #state machine #symbolic computation #uml
Symbolic execution of UML-RT State Machines (KZ, JD), pp. 1292–1299.
FSEFSE-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.
ICSEICSE-2012-MarinescuC #execution #symbolic computation #testing
make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.
SLESLE-2012-CombemaleHJBB #execution #metamodelling #modelling
Bridging the Chasm between Executable Metamodeling and Models of Computation (BC, CH, CJ, FB, BB), pp. 184–203.
ASPLOSASPLOS-2012-DeVuystVT #execution #migration #multi
Execution migration in a heterogeneous-ISA chip multiprocessor (MD, AV, DMT), pp. 261–272.
HPCAHPCA-2012-DuanZAT #commit #execution #named
BulkCompactor: Optimized deterministic execution via Conflict-Aware commit of atomic blocks (YD, XZ, WA, JT), pp. 361–372.
HPCAHPCA-2012-QianST #design #execution #named #smt
BulkSMT: Designing SMT processors for atomic-block execution (XQ, BS, JT), pp. 153–164.
OSDIOSDI-2012-GordonJMMC #execution #migration #named
COMET: Code Offload by Migrating Execution Transparently (MSG, DAJ, SAM, ZMM, XC), pp. 93–106.
OSDIOSDI-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.
CAVCAV-2012-JaffarMNS #execution #named #symbolic computation #verification
TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
ICSTICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
ICSTICST-2012-MateoU #execution #music #reduction
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) (PRM, MPU), pp. 664–672.
ICSTICST-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.
ICSTICST-2012-SiddiquiMK #analysis #constraints #data flow #lightweight #theorem proving
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ICSTICST-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.
ICTSSICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability
Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ISSTAISSTA-2012-GeldenhuysDV #execution #probability #symbolic computation
Probabilistic symbolic execution (JG, MBD, WV), pp. 166–176.
ISSTAISSTA-2012-YangPK #execution #symbolic computation
Memoized symbolic execution (GY, CSP, SK), pp. 144–154.
TAPTAP-2012-Pasareanu #execution #model checking #symbolic computation #testing
Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
VMCAIVMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation
Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
QoSAQoSA-ISARCS-2011-HofigD #analysis #execution
Failure-dependent execution time analysis (KH, DD), pp. 115–122.
ASEASE-2011-AnandH #execution #java #source code #symbolic computation
Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASEASE-2011-ChakrabortyS #approach #framework #towards
Towards an approach and framework for test-execution plan derivation (SSC, VS), pp. 488–491.
ASEASE-2011-SilvaBB #execution #process
Deviation management during process execution (MAAdS, XB, RB), pp. 528–531.
DATEDATE-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.
SIGMODSIGMOD-2011-Bajda-PawlikowskiASP #execution #performance #query
Efficient processing of data warehousing queries in a split execution environment (KBP, DJA, AS, EP), pp. 1165–1176.
SIGMODSIGMOD-2011-BaoDM #on the fly #recursion #workflow
Labeling recursive workflow executions on-the-fly (ZB, SBD, TM), pp. 493–504.
SIGMODSIGMOD-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.
VLDBVLDB-2011-HeY #transaction
High-throughput transaction executions on graphics processors (BH, JXY), pp. 314–325.
VLDBVLDB-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.
FASEFASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation
Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
CSMRCSMR-2011-SilvaPAM #execution #on the
On the Use of Execution Trace Alignment for Driving Perfective Changes (LLS, KRP, SdA, MdAM), pp. 221–230.
ICPCICPC-2011-Medini #automation #concept #execution #mining #scalability
Scalable Automatic Concept Mining from Execution Traces (SM), pp. 238–241.
ICPCICPC-2011-PirzadehSHM #concept #execution
The Concept of Stratified Sampling of Execution Traces (HP, SS, AHL, AM), pp. 225–226.
ICSMEICSM-2011-PirzadehHS #analysis #execution #mining
Exploiting text mining techniques in the analysis of execution traces (HP, AHL, MS), pp. 223–232.
PASTEPASTE-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.
WCREWCRE-2011-MyersS #execution #using
Focusing on Execution Traces Using Diver (DM, MADS), pp. 439–440.
WCREWCRE-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.
PLDIPLDI-2011-LuciaWC #comprehension #concurrent #execution #fault #using
Isolating and understanding concurrency errors using reconstructed execution fragments (BL, BPW, LC), pp. 378–388.
PLDIPLDI-2011-PersonYRK #execution #incremental #symbolic computation
Directed incremental symbolic execution (SP, GY, NR, SK), pp. 504–515.
PLDIPLDI-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.
PLDIPLDI-2011-RamanKOLA #distributed #parallel #using
Parallelism orchestration using DoPE: the degree of parallelism executive (AR, HK, TO, JWL, DIA), pp. 26–37.
PLDIPLDI-2011-ZhouCC #algorithm #execution
An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
SASSAS-2011-MaKFH #execution #symbolic computation
Directed Symbolic Execution (KKM, YPK, JSF, MH), pp. 95–111.
HCIHCI-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.
HCIHCI-DDA-2011-FeuerstackP #execution #interface #modelling #multimodal
Building Multimodal Interfaces Out of Executable, Model-Based Interactors and Mappings (SF, EBP), pp. 221–228.
AdaEuropeAdaEurope-2011-Burns #hardware #parallel #programming language #realtime
Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.
AdaSIGAda-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.
AdaSIGAda-2011-EilersK #execution #testing
Making the non-executable ACATS tests executable (DE, TK), pp. 75–80.
EDOCEDOC-2011-BruningG #execution #metamodelling #modelling #uml #workflow
UML Metamodel-based Workflow Modeling and Execution (JB, MG), pp. 97–106.
EDOCEDOC-2011-WoutersG #execution #modelling #named
xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEISICEIS-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.
KEODKEOD-2011-Tinsley #ontology #realtime
OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.
SEKESEKE-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.
SEKESEKE-2011-FaureFHUV #execution #ubiquitous
User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing (MF, LF, MH, CU, SV), pp. 302–307.
ECMFAECMFA-2011-CariouBFB #contract #execution #verification
Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.
ECMFAECMFA-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.
ECMFAECMFA-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.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
ECOOPECOOP-2011-Bergel #execution #smalltalk
Counting Messages as a Proxy for Average Execution Time in Pharo (AB), pp. 533–557.
OOPSLAOOPSLA-2011-WeeratungeZJ #using
Accentuating the positive: atomicity inference and enforcement using correct executions (DW, XZ, SJ), pp. 19–34.
TOOLSTOOLS-EUROPE-2011-BockischSMA #bibliography #execution
An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.
TOOLSTOOLS-EUROPE-2011-RodriguezSV #dependence #execution #metamodelling #modelling
Metamodel Dependencies for Executable Models (CR, MES, JV), pp. 83–98.
PADLPADL-2011-Kaivola #execution #framework #functional #validation
Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
SACSAC-2011-RodriguezSV #approach #composition #execution #multi
Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.
ESEC-FSEESEC-FSE-2011-MirghasemiBP #execution #named
Querypoint: moving backwards on wrong values in the buggy execution (SM, JJB, CP), pp. 436–439.
ICSEICSE-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.
ICSEICSE-2011-GeTXT #execution #named #symbolic computation #verification
DyTa: dynamic symbolic execution guided with static verification results (XG, KT, TX, NT), pp. 992–994.
ICSEICSE-2011-MilicevicRYJ #declarative #execution #imperative
Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
ICSEICSE-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.
ICSEICSE-2011-SumnerBZP #analysis #nondeterminism #performance
Coalescing executions for fast uncertainty analysis (WNS, TB, XZ, SP), pp. 581–590.
SLESLE-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.
CGOCGO-2011-MehraraM #execution #web
Dynamically accelerating client-side web applications through decoupled execution (MM, SAM), pp. 74–84.
LCTESLCTES-2011-ThomasFK #execution #monitoring
Lowering overhead in sampling-based execution monitoring and tracing (JJT, SF, DK), pp. 101–110.
PPoPPPPoPP-2011-FischerMR #concurrent #modelling
Symbolically modeling concurrent MCAPI executions (TF, EM, NR), pp. 307–308.
PPoPPPPoPP-2011-JenistaED #execution #named
OoOJava: software out-of-order execution (JCJ, YHE, BD), pp. 57–68.
PPoPPPPoPP-2011-YiSF #execution #reasoning
Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
SOSPSOSP-2011-MickensD #execution #named #robust #web
Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.
CAVCAV-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.
ICSTICST-2011-TsankovJOS #dynamic analysis #execution
Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
ISSTAISSTA-2011-PasareanuRV #execution #symbolic computation
Symbolic execution with mixed concrete-symbolic solving (CSP, NR, WV), pp. 34–44.
ISSTAISSTA-2011-SumnerBZ #comparison #execution
Selecting peers for execution comparison (WNS, TB, XZ), pp. 309–319.
CBSECBSE-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.
CBSECBSE-2010-GamaD #component #execution #self
A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution (KG, DD), pp. 130–149.
ASEASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation
A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
ASEASE-2010-PasareanuR #bytecode #execution #java #symbolic computation
Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-2010-PandisJHA #execution #transaction
Data-Oriented Transaction Execution (IP, RJ, NH, AA), pp. 928–939.
VLDBVLDB-2011-KlingOD #database #execution #generative #performance #xml
Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
TACASTACAS-2010-Belinfante #execution #modelling #named #online
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.
CSMRCSMR-2010-AsadiPAG #approach #concept #execution #heuristic #identification
A Heuristic-Based Approach to Identify Concepts in Execution Traces (FA, MDP, GA, YGG), pp. 31–40.
ICPCICPC-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.
ICSMEICSM-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.
SCAMSCAM-2010-KetterlinC #behaviour #execution #memory management #source code
Recovering the Memory Behavior of Executable Programs (AK, PC), pp. 189–198.
WCREWCRE-2010-GratiSP #diagrams #execution #interactive #sequence chart #using #visualisation
Extracting Sequence Diagrams from Execution Traces Using Interactive Visualization (HG, HAS, PP), pp. 87–96.
PEPMPEPM-2010-LakhotiaBSM #analysis #bytecode #obfuscation
Context-sensitive analysis of obfuscated x86 executables (AL, DRB, AS, AM), pp. 131–140.
PLDIPLDI-2010-KhooCF #execution #symbolic computation #type checking
Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.
SEFMSEFM-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.
ICFPICFP-2010-BuissonD #configuration management #execution #named
ReCaml: execution state as the cornerstone of reconfigurations (JB, FD), pp. 27–38.
ICFPICFP-2010-McCreightCT #compilation #framework #garbage collection
A certified framework for compiling and executing garbage-collected languages (AM, TC, APT), pp. 273–284.
IFLIFL-2010-BoeijinkHK #functional #lazy evaluation
Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.
IFLIFL-2010-GiorgidzeGSW #execution #haskell
Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.
SOFTVISSOFTVIS-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.
ICEISICEIS-ISAS-2010-FernandesPMP #execution #optimisation #process
Integrating and Optimizing Business Process Execution in P2P Environments (MF, MP, JAM, JSP), pp. 171–177.
ICEISICEIS-ISAS-2010-RauberR #adaptation #architecture #execution #manycore #parallel
Adaptive Execution of Software Systems on Parallel Multicore Architectures (TR, GR), pp. 191–198.
ICEISICEIS-J-2010-PreisslerHL10a #concept #execution #process #streaming #xml
An XML-Based Streaming Concept for Business Process Execution (SP, DH, WL), pp. 60–75.
CIKMCIKM-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.
KDDKDD-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.
SEKESEKE-2010-KalayciDFES #adaptation #distributed #execution #workflow
Distributed and Adaptive Execution of Condor DAGMan Workflows (SK, GD, LF, OE, SMS), pp. 587–590.
SEKESEKE-2010-KhwajaU #execution #implementation #realtime #specification
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.
SEKESEKE-2010-Suarez-FigueroaGMV #development #ontology #scheduling
gOntt, a Tool for Scheduling and Executing Ontology Development Projects (MdCSF, AGP, ÓMG, MV), pp. 614–619.
SEKESEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards
Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.
ECMFAECMFA-2010-EichbergMKM #execution #modelling
Model-Driven Engineering of Machine Executable Code (ME, MM, SK, MM), pp. 104–115.
ECMFAECMFA-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.
ICMTICMT-2010-JouaultT #atl #execution #incremental #towards
Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
MODELSMoDELS-v2-2010-GorpE #execution #java #modelling #process
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
ECOOPECOOP-2010-SamimiAM #execution #specification
Falling Back on Executable Specifications (HS, EDA, TDM), pp. 552–576.
ECOOPECOOP-2010-StadenCM #execution #logic #object-oriented #specification #verification
Verifying Executable Object-Oriented Specifications with Separation Logic (SvS, CC, BM), pp. 151–174.
TOOLSTOOLS-EUROPE-2010-ArnaudDDPBS #execution
Read-Only Execution for Dynamic Languages (JBA, MD, SD, DP, AB, MS), pp. 117–136.
LOPSTRLOPSTR-2010-InsaS #algorithm #debugging #execution #scalability
Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.
PPDPPPDP-2010-BolzLS #execution #prolog #towards #virtual machine
Towards a jitting VM for prolog execution (CFB, ML, DS), pp. 99–108.
PADLPADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification
Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
SACSAC-2010-LuNB #dependence #execution
Timing analyzing for systems with execution dependencies between tasks (YL, TN, IB), pp. 357–358.
SACSAC-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.
FSEFSE-2010-DeAntoniMTRBMGRS #execution #named
RT-simex: retro-analysis of execution traces (JD, FM, FT, GR, JPB, CM, LG, LR, NS), pp. 377–378.
FSEFSE-2010-SumnerZ #memory management
Memory indexing: canonicalizing addresses across executions (WNS, XZ), pp. 217–226.
FSEFSE-2010-YilmazP #hardware
Combining hardware and software instrumentation to classify program executions (CY, AAP), pp. 67–76.
ICSEICSE-2010-Hill #execution #integration #modelling #named #testing
CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.
ICSEICSE-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.
ICSEICSE-2010-Nagappan #analysis #execution
Analysis of execution log files (MN), pp. 409–412.
SLESLE-2010-BandenerSE #behaviour #debugging #execution #specification #visual notation
Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.
SPLCSPLC-2010-GhanamM #execution #feature model #modelling #testing #using
Linking Feature Models to Code Artifacts Using Executable Acceptance Tests (YG, FM), pp. 211–225.
ASPLOSASPLOS-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.
CGOCGO-2010-MarsVHS #detection #execution #online
Contention aware execution: online contention detection and response (JM, NV, RH, MLS), pp. 257–265.
HPCAHPCA-2010-DoudalisP #execution #hardware #named
HARE: Hardware assisted reverse execution (ID, MP), pp. 1–12.
HPCAHPCA-2010-HiltonR #energy #execution #named
BOLT: Energy-efficient Out-of-Order Latency-Tolerant execution (ADH, AR), pp. 1–12.
HPCAHPCA-2010-XekalakisC #branch #execution #multi
Handling branches in TLS systems with Multi-Path Execution (PX, MC), pp. 1–12.
LCTESLCTES-2010-FischmeisterB #execution #monitoring
Sampling-based program execution monitoring (SF, YB), pp. 133–142.
OSDIOSDI-2010-KimWZK #using
Intrusion Recovery Using Selective Re-execution (TK, XW, NZ, MFK), pp. 89–104.
OSDIOSDI-2010-WuCY #execution
Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.
PPoPPPPoPP-2010-AleenSP #execution #predict #streaming
Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.
CAVCAV-2010-AlbarghouthiGWC #analysis #symbolic computation
Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.
ICLPICLP-J-2010-BetzRF #constraints #execution
A complete and terminating execution model for Constraint Handling Rules (HB, FR, TWF), pp. 597–610.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2010-YanCZZZ #clustering #execution
A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information (SY, ZC, ZZ, CZ, YZ), pp. 147–154.
ICTSSICTSS-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.
ISSTAISSTA-2010-DanielGM #execution #on the #symbolic computation #using
On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
ISSTAISSTA-2010-SantelicesH #dependence #execution #multi #scalability #symbolic computation
Exploiting program dependencies for scalable multiple-path symbolic execution (RAS, MJH), pp. 195–206.
ISSTAISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing
Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
CBSECBSE-2009-HauckKKR #component #execution #modelling #performance #predict
Modelling Layered Component Execution Environments for Performance Prediction (MH, MK, KK, RHR), pp. 191–208.
WICSA-ECSAWICSA-ECSA-2009-AriasAA #execution #scalability
Defining execution viewpoints for a large and complex software-intensive system (TBCA, PA, PA), pp. 1–10.
DATEDATE-2009-OzturkK #compilation #execution #memory management #using
Using dynamic compilation for continuing execution under reduced memory availability (ÖÖ, MTK), pp. 1373–1378.
DATEDATE-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.
DATEDATE-2009-VecchieTS #compilation #execution #imperative
Separate compilation and execution of imperative synchronous modules (EV, JPT, KS), pp. 1580–1583.
SIGMODSIGMOD-2009-GrustMRS #execution #named
FERRY: database-supported program execution (TG, MM, JR, TS), pp. 1063–1066.
VLDBVLDB-2009-YangRW #execution #mining #multi #streaming
A Shared Execution Strategy for Multiple Pattern Mining Requests over Streaming Data (DY, EAR, MOW), pp. 874–885.
ESOPESOP-2009-BarthwalN #execution #parsing
Verified, Executable Parsing (AB, MN), pp. 160–174.
FoSSaCSFoSSaCS-2009-Alur #reasoning
Temporal Reasoning about Program Executions (RA), p. 15.
ICSMEICSM-2009-DaraLLST #execution #testing #using
Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.
ICSMEICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards
Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.
ICSMEICSM-2009-VoigtBD #execution
Object aware execution trace exploration (SV, JB, JD), pp. 201–210.
PEPMPEPM-2009-MoretBV #execution #named #profiling
CCCP: complete calling context profiling in virtual execution environments (PM, WB, AV), pp. 151–160.
FMFM-2009-VakkalankaVGK #execution #semantics #theory and practice
Reduced Execution Semantics of MPI: From Theory to Practice (SSV, AV, GG, RMK), pp. 724–740.
IFMIFM-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.
ICFPICFP-2009-Steele #execution #functional #parallel
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.
VISSOFTVISSOFT-2009-BohnetKD #execution #visualisation
Visualizing massively pruned execution traces to facilitate trace exploration (JB, MK, JD), pp. 57–64.
AdaEuropeAdaEurope-2009-MarrefB #analysis #worst-case
Predicated Worst-Case Execution-Time Analysis (AM, GB), pp. 134–148.
CAiSECAiSE-2009-WeberRZW #approach #declarative #empirical #execution #process
The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.
ICEISICEIS-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.
ICEISICEIS-DISI-2009-SofokleousAK #execution #generative #symbolic computation #testing
Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
ICEISICEIS-J-2009-BoukhebouzeABM #execution #process #self #towards
Towards Self-healing Execution of Business Processes Based on Rules (MB, YA, ANB, ZM), pp. 501–512.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-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.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
OOPSLAOOPSLA-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.
GPCEGPCE-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.
PADLPADL-2009-GuzmanCH #execution #program transformation #towards
Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
SACSAC-2009-BohnetVD #debugging #execution #locality
Projecting code changes onto execution traces to support localization of recently introduced bugs (JB, SV, JD), pp. 438–442.
SACSAC-2009-CatanoW #case study #java #ml #specification
Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
SACSAC-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.
SACSAC-2009-ZhaoZL #abstraction #multi #object-oriented #source code
Abstraction of multiple executions of object-oriented programs (CZ, KZ, YL), pp. 549–550.
SACSAC-2009-ZurowskaD #execution #web #web service
Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2009-WangCGY #concurrent
Symbolic pruning of concurrent program executions (CW, SC, AG, YY), pp. 23–32.
ICSEICSE-2009-BuseW #execution
The road not taken: Estimating path execution frequency statically (RPLB, WW), pp. 144–154.
ASPLOSASPLOS-2009-SulemanMQP #architecture #execution #manycore #symmetry
Accelerating critical section execution with asymmetric multi-core architectures (MAS, OM, MKQ, YNP), pp. 253–264.
ASPLOSASPLOS-2009-TucekXZ #execution #online #performance #validation
Efficient online validation with delta execution (JT, WX, YZ), pp. 193–204.
CGOCGO-2009-UdupaGT #execution #pipes and filters #source code
Software Pipelined Execution of Stream Programs on GPUs (AU, RG, MJT), pp. 200–209.
HPDCHPDC-2009-ClaudelHR #adaptation #deployment
TakTuk, adaptive deployment of remote executions (BC, GH, OR), pp. 91–100.
HPDCHPDC-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.
LCTESLCTES-2009-UdupaGT #execution #multi #source code
Synergistic execution of stream programs on multicores with accelerators (AU, RG, MJT), pp. 99–108.
PPoPPPPoPP-2009-AllenSS #dependence #execution #parallel #set
Serialization sets: a dynamic dependence-based parallel execution model (MDA, SS, GSS), pp. 85–96.
SOSPSOSP-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.
CAVCAV-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.
ICLPICLP-2009-Ashley-RollmanLGPC #independence #scalability
A Language for Large Ensembles of Independently Executing Nodes (MPAR, PL, SCG, PP, JC), pp. 265–280.
ICLPICLP-2009-Koninck #execution
Execution Control for CHR (LDK), pp. 479–483.
ICSTICST-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.
ICSTICST-2009-WolovickDQ #execution #optimisation #realtime #testing
Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.
ISSTAISSTA-2009-SaebjornsenWPQS #bytecode #detection
Detecting code clones in binary executables (AS, JW, TP, DJQ, ZS), pp. 117–128.
ISSTAISSTA-2009-SaxenaPMS #execution #source code #symbolic computation
Loop-extended symbolic execution on binary programs (PS, PP, SM, DS), pp. 225–236.
TAPTAP-2009-GriesmayerAJS #distributed #execution #symbolic computation #testing
Dynamic Symbolic Execution for Testing Distributed Objects (AG, BKA, EBJ, RS), pp. 105–120.
TAPTAP-2009-Rapin #bound #execution #model checking #symbolic computation
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (NR), pp. 137–152.
ASEASE-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.
DACDAC-2008-LiangM #analysis #execution #modelling #probability
Cache modeling in probabilistic execution time analysis (YL, TM), pp. 319–324.
DATEDATE-2008-HohenauerELAMBS #execution #optimisation
Retargetable Code Optimization for Predicated Execution (MH, FE, RL, GA, HM, GB, BS), pp. 1492–1497.
DATEDATE-2008-ParkSP #embedded #execution #using
Hiding Cache Miss Penalty Using Priority-based Execution for Embedded Processors (SP, AS, YP), pp. 1190–1195.
VLDBVLDB-2008-ChaudhuriNR #execution #feedback #framework #query
A pay-as-you-go framework for query execution feedback (SC, VRN, RR), pp. 1141–1152.
VLDBVLDB-2008-DeutchM #execution #query #type checking #type inference
Type inference and type checking for queries on execution traces (DD, TM), pp. 352–363.
TACASTACAS-2008-AnandGT #composition #execution #symbolic computation
Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
TACASTACAS-2008-BalakrishnanR #bytecode
Analyzing Stripped Device-Driver Executables (GB, TWR), pp. 124–140.
CSMRCSMR-2008-LienhardGGN #execution #testing
Test Blueprint — Exposing Side Effects in Execution Traces to Support Writing Unit Tests (AL, TG, OG, ON), pp. 83–92.
ICPCICPC-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.
ICPCICPC-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.
ICSMEICSM-2008-JaszBGR #dependence
Static Execute After/Before as a replacement of traditional software dependencies (JJ, ÁB, TG, VR), pp. 137–146.
ICSMEICSM-2008-Lo #execution #mining #specification
Mining specifications in diversified formats from execution traces (DL), pp. 420–423.
WCREWCRE-2008-AriasAA #dependence #execution #scalability
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies (TBCA, PA, PA), pp. 49–58.
PLDIPLDI-2008-KudlurM #execution #manycore #source code
Orchestrating the execution of stream programs on multicore platforms (MK, SAM), pp. 114–124.
PLDIPLDI-2008-XinSZ #execution #performance
Efficient program execution indexing (BX, WNS, XZ), pp. 238–248.
ICFPICFP-2008-Lampson #execution #lazy evaluation
Lazy and speculative execution in computer systems (BWL), pp. 1–2.
IFLIFL-2008-KoopmanPA #execution #semantics
An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.
CAiSECAiSE-2008-VanderfeestenRA #execution #workflow
Product Based Workflow Support: Dynamic Workflow Execution (ITPV, HAR, WMPvdA), pp. 571–574.
EDOCEDOC-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.
SEKESEKE-2008-DaiXWLL #execution #process
Dynamically Optimize Process Execution Based on Process-agent (JD, JX, QW, ML, HL), pp. 561–564.
SEKESEKE-2008-FunkPC #execution #specification
Model Interpretation for Executable Observation Specifications (MF, PvdP, HC), pp. 785–790.
SEKESEKE-2008-KhwajaU #execution #modelling #named #specification
RealSpec: an Executable Specification Language for Modeling Resources (AAK, JEU), pp. 97–102.
SEKESEKE-2008-MuhlenfeldMMS #execution #modelling #ontology #process #using
Ontology-based Process Modeling and Execution Using STEP/EXPRESS (AM, WM, FM, MS), pp. 935–940.
SEKESEKE-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.
SEKESEKE-2008-ScheithauerWT #documentation #execution #process #semantic gap
Bridging the Semantic Gap Between Process Documentation and Process Execution (GS, GW, CT), pp. 549–554.
ECMFAECMDA-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECOOPECOOP-2008-ZiarekWAMSJ #execution #java #transaction
A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
OOPSLAOOPSLA-2008-XianSJ #execution #java #parallel #source code #thread
Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
PPDPPPDP-2008-MeraLCH #automaton #estimation #execution #towards
Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
PPDPPPDP-2008-SulzmannL #constraints #execution #parallel
Parallel execution of multi-set constraint rewrite rules (MS, ESLL), pp. 20–31.
PADLPADL-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.
SACSAC-2008-BraghettoFP #algebra #execution #process #using
Using process algebra to control the execution of business processes (KRB, JEF, CP), pp. 128–129.
SACSAC-2008-CramptonK #execution #modelling #on the #workflow
On delegation and workflow execution models (JC, HK), pp. 2137–2144.
SACSAC-2008-RamnathR #adaptation #enterprise #execution #modelling
Integrating goal modeling and execution in adaptive complex enterprises (RR, JR), pp. 532–539.
SACSAC-2008-RossiT #execution #modelling #named #process
EPML: an executable process modeling language for process-aware applications (DR, ET), pp. 132–133.
SACSAC-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.
FSEFSE-2008-LinZ #execution
Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.
FSEFSE-2008-PersonDEP #difference #execution #symbolic computation
Differential symbolic execution (SP, MBD, SGE, CSP), pp. 226–237.
ICSEICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation
DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSEICSE-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.
ICSEICSE-2008-WhittleWH #case study #execution #modelling #security
Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.
ASPLOSASPLOS-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.
ASPLOSASPLOS-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.
CCCC-2008-RepsB #analysis #bytecode
Improved Memory-Access Analysis for x86 Executables (TWR, GB), pp. 16–35.
CGOCGO-2008-RamanVRA #execution #named #parallel
Spice: speculative parallel iteration chunk execution (ER, NV, RR, DIA), pp. 175–184.
HPDCHPDC-2008-DiamosY #execution #named #runtime
Harmony: an execution model and runtime for heterogeneous many core systems (GFD, SY), pp. 197–200.
HPDCHPDC-2008-SotomayorKF #execution #using #virtual machine
Combining batch execution and leasing using virtual machines (BS, KK, ITF), pp. 87–96.
ISMMISMM-2008-PizloPS #execution
Path specialization: reducing phased execution overheads (FP, EP, BS), pp. 81–90.
PPoPPPPoPP-2008-DingC #concurrent #profiling
All-window profiling of concurrent executions (CD, TMC), pp. 265–266.
ICLPICLP-2008-CiprianoDM #compilation #declarative #modelling
Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
ICLPICLP-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.
ICLPICLP-2008-KimmigCRDR #execution #on the #performance #source code
On the Efficient Execution of ProbLog Programs (AK, VSC, RR, BD, LDR), pp. 175–189.
ICSTICST-2008-BardinH #bytecode #testing
Structural Testing of Executables (SB, PH), pp. 22–31.
ICSTICST-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.
ISSTAISSTA-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.
ISSTAISSTA-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.
CBSECBSE-2007-LauU #case study #component #execution
A Study of Execution Environments for Software Components (KKL, VU), pp. 107–123.
CBSECBSE-2007-PadillaOO #component #composition #modelling #testing
An Execution-Level Component Composition Model Based on Component Testing Information (GP, CMdO, CLO), pp. 203–210.
ASEASE-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.
ASEASE-2007-ChangR #execution #validation
Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.
ASEASE-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.
ASEASE-2007-LoMK #execution #mining #specification
Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.
DACDAC-2007-KirnerS #analysis #execution #modelling #worst-case
Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2007-ElhemaliGGJ #execution #sql
Execution strategies for SQL subqueries (ME, CAGL, TG, MJ), pp. 993–1004.
SIGMODSIGMOD-2007-YangLOT #execution #monitoring #network #query
In-network execution of monitoring queries in sensor networks (XY, HBL, MTÖ, KLT), pp. 521–532.
VLDBVLDB-2007-ChaudhuriKRP #execution #query
Stop-and-Restart Style Execution for Long Running Decision Support Queries (SC, RK, RR, AP), pp. 735–745.
VLDBVLDB-2007-GedikYB
Executing Stream Joins on the Cell Processor (BG, PSY, RB), pp. 363–374.
TACASTACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation
Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
TACASTACAS-2007-AnandPV #execution #java #named #symbolic computation
JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
TACASTACAS-2007-HarelS #flexibility #source code
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, (DH, IS), pp. 485–499.
ICPCICPC-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.
ICSMEICSM-2007-BeszedesGJTGR #maintenance
Computation of Static Execute After Relation with Applications to Software Maintenance (ÁB, TG, JJ, GT, TG, VR), pp. 295–304.
ICSMEICSM-2007-JoshiO #named
SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions (SJ, AO), pp. 234–243.
WCREWCRE-2007-SousaMUK #detection #execution
Detecting Implied Scenarios from Execution Traces (FCdS, NCM, SU, JK), pp. 50–59.
PLDIPLDI-2007-ZhangTGG #execution #fault #towards
Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.
SEFMSEFM-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.
ICFPICFP-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-VMTGT-VMT-2007-KraemerH #collaboration #execution #specification #state machine
Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).
HCIHCI-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.
VISSOFTVISSOFT-2007-Hamou-Lhadj #effectiveness #execution #scalability #visualisation
Effective Exploration and Visualization of Large Execution Traces (AHL), pp. 152–153.
ICEISICEIS-AIDSS-2007-NiuLZ #concept #framework #modelling
Enriching Executives’ Situation Awareness and Mental Models — A Conceptual ESS Framework (LN, JL, GZ), pp. 510–516.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-EIS-2007-Barjis #execution #modelling
Developing Executable Models of Business Systems (JB), pp. 5–13.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-2007-GuD #component #embedded #execution #integration #multi
QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution (ZG, QD), pp. 320–325.
ECMFAECMDA-FA-2007-FuentesS #aspect-oriented #execution #modelling #uml
Execution of Aspect Oriented UML Models (LF, PS), pp. 83–98.
PADLPADL-2007-MeraLPCH #execution #profiling #static analysis
Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
SACSAC-MT-J-2006-AlanenLP07 #diagrams #model transformation
Creating and reconciling diagrams after executing model transformations (MA, TL, IP), pp. 155–178.
SACSAC-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.
SACSAC-2007-PaulK #precise #slicing #using
Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.
ESEC-FSEESEC-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-FSEESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing
Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.
CGOCGO-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.
CGOCGO-2007-ReddiCCS #persistent #reuse
Persistent Code Caching: Exploiting Code Reuse Across Executions and Applications (VJR, DC, RC, MDS), pp. 74–88.
HPCAHPCA-2007-QuinonesPG #branch #execution #predict
Improving Branch Prediction and Predicated Execution in Out-of-Order Processors (EQ, JMP, AG), pp. 75–84.
LCTESLCTES-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.
LCTESLCTES-2007-Kastner #abstract interpretation #analysis #execution #worst-case
Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
LCTESLCTES-2007-YanL #architecture #clustering #execution
Stream execution on wide-issue clustered VLIW architectures (SY, BL), pp. 158–160.
SOSPSOSP-2007-CriswellLDA #architecture #execution #operating system
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
ICLPICLP-2007-Palshikar #execution #graph grammar #prolog #representation
Representation and Execution of a Graph Grammar in Prolog (GKP), pp. 442–443.
ISSTAISSTA-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.
ISSTAISSTA-2007-EnglerD #automation #execution #scalability
Under-constrained execution: making automatic code destruction easy and scalable (DRE, DD), pp. 1–4.
ISSTAISSTA-2007-TallamTGZ #execution #parallel #reduction #source code #thread
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction (ST, CT, RG, XZ), pp. 207–218.
TAPTAP-2007-GallRT #execution #refinement #symbolic computation #testing
Symbolic Execution Techniques for Refinement Testing (PLG, NR, AT), pp. 131–148.
VMCAIVMCAI-2007-BalakrishnanR #bytecode #named
DIVINE: DIscovering Variables IN Executables (GB, TWR), pp. 1–28.
ASEASE-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.
ASEASE-2006-LedruB #execution #generative #named #specification
Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.
DATEDATE-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.
DATEDATE-2006-KimHG #execution #parallel #using
Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
SIGMODSIGMOD-2006-AbadiMF #database #execution
Integrating compression and execution in column-oriented database systems (DJA, SM, MF), pp. 671–682.
SIGMODSIGMOD-2006-LooCGGHMRRS #declarative #execution #network #optimisation
Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
VLDBVLDB-2006-DennyF #adaptation #execution
Adaptive Execution of Variable-Accuracy Functions (MD, MJF), pp. 547–558.
ICPCICPC-2006-SafyallahS #dynamic analysis #execution #mining #using
Dynamic Analysis of Software Systems using Execution Pattern Mining (HS, KS), pp. 84–88.
WCREWCRE-2006-BinkleyGHLM #concept #empirical #execution #slicing
An Empirical Study of Executable Concept Slice Size (DB, NG, MH, ZL, KM), pp. 103–114.
WCREWCRE-2006-LimRL #bytecode
Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.
WCREWCRE-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.
PLDIPLDI-2006-FeiM #execution #monitoring #named #runtime
Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
SEFMSEFM-2006-RaymondJR #random
Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.
IFLIFL-2006-BonenfantFHH #execution #functional #worst-case
Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
SOFTVISSOFTVIS-2006-Kahn
Time travelling animated program executions (KK), pp. 185–186.
SOFTVISSOFTVIS-2006-PauwKM #execution #visualisation #web #web service
Execution patterns for visualizing web services (WDP, SK, JFM), pp. 37–45.
SOFTVISSOFTVIS-2006-Reiss #abstraction #execution #using #visualisation
Visualizing program execution using user abstractions (SPR), pp. 125–134.
AdaEuropeAdaEurope-2006-Curtis #execution #uml
SPARK Annotations Within Executable UML (DC), pp. 83–93.
AdaEuropeAdaEurope-2006-NarayananKBK #execution
Secure Execution of Computations in Untrusted Hosts (SHKN, MTK, RRB, IK), pp. 106–118.
EDOCEDOC-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.
EDOCEDOC-2006-OgasawaraTY #execution #modelling #process
Estimating Structures of Business Process Models from Execution Logs (SO, KT, TY), pp. 106–115.
ICEISICEIS-AIDSS-2006-Hanna #execution #nondeterminism
Coalition Formation with Uncertain Task Execution (HH), pp. 164–169.
ICMLICML-2006-NevmyvakaFK #execution #learning
Reinforcement learning for optimized trade execution (YN, YF, MK), pp. 673–680.
SEKESEKE-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.
SEKESEKE-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.
MODELSMoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using
Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
MODELSMoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using
Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.
SACSAC-2006-AlanenLP #diagrams #model transformation
Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.
SACSAC-2006-CasallasVAL #enterprise #execution #modelling #named #simulation
xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SACSAC-2006-DobrzanskiK #approach #execution #modelling #refactoring #uml
An approach to refactoring of executable UML models (LD, LK), pp. 1273–1279.
SACSAC-2006-Kerrigan #execution #web #web service
Web service selection mechanisms in the Web Service Execution Environment (WSMX) (MK), pp. 1664–1668.
FSEFSE-2006-ZhangTG #execution #performance #slicing #source code
Dynamic slicing long running programs through execution fast forwarding (XZ, ST, RG), pp. 81–91.
ICSEICSE-2006-CanforaSZ #java
Developing and executing java AWT applications on limited devices with TCPTE (GC, GDS, EZ), pp. 787–790.
ICSEICSE-2006-XieMY #automation #state machine
Automatic extraction of abstract-object-state machines from unit-test executions (TX, EM, HY), pp. 835–838.
ASPLOSASPLOS-2006-MishraCCVGB #execution #named
Tartan: evaluating spatial computation for whole program execution (MM, TJC, TC, GV, SCG, MB), pp. 163–174.
CCCC-2006-GuoRW #execution #fault #locality
Accurately Choosing Execution Runs for Software Fault Localization (LG, AR, TW), pp. 80–95.
CCCC-2006-YasugiHY #execution #lightweight #stack
Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.
CGOCGO-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.
HPCAHPCA-2006-ManovitH #consistency #memory management #verification
Completely verifying memory consistency of test program executions (CM, SH), pp. 166–175.
HPDCHPDC-2006-SilbersteinGSL #execution #grid #multi #scheduling
Scheduling Mixed Workloads in Multi-grids: The Grid Execution Hierarchy (MS, DG, AS, ML), pp. 291–302.
PPoPPPPoPP-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.
ICLPICLP-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.
ISSTAISSTA-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.
ICTSSTestCom-2006-GastonGRT #execution #symbolic computation
Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
ASEASE-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.
ASEASE-2005-KapfhammerSM #execution #testing
Testing in resource constrained execution environments (GMK, MLS, DM), pp. 418–422.
DATEDATE-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.
SIGMODSIGMOD-2005-MelnikBHR #execution #model management
Supporting Executable Mappings in Model Management (SM, PAB, AYH, ER), pp. 167–178.
VLDBVLDB-2005-HaftmannKL #database #execution #parallel
Parallel Execution of Test Runs for Database Application Systems (FH, DK, EL), pp. 589–600.
VLDBVLDB-2005-IvanovaR #execution #parallel #query
Customizable Parallel Execution of Scientific Stream Queries (MI, TR), pp. 157–168.
VLDBVLDB-2005-Sion #assurance #database #execution #outsourcing #query
Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.
TACASTACAS-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.
CSMRCSMR-2005-Hamou-LhadjBAL #behaviour #design #execution #modelling
Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.
CSMRCSMR-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.
ICSMEICSM-2005-BriandLL #aspectj #distributed #using
Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.
IWPCIWPC-2005-FischerOGG #analysis #evolution #execution
System Evolution Tracking through Execution Trace Analysis (MF, JO, HCG, TG), pp. 237–246.
PASTEPASTE-2005-KhurshidS #execution #library #symbolic computation
Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.
SASSAS-2005-ChenKK #execution #memory management #reliability
Memory Space Conscious Loop Iteration Duplication for Reliable Execution (GC, MTK, MK), pp. 52–69.
IFLIFL-2005-BradyH #execution #framework #static analysis
A Dependently Typed Framework for Static Analysis of Program Execution Costs (EB, KH), pp. 74–90.
CHICHI-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.
SOFTVISSOFTVIS-2005-JohannesSW #algorithm #analysis #animation #using #visualisation
Algorithm animation using shape analysis: visualising abstract executions (DJ, RS, RW), pp. 17–26.
ICEISICEIS-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.
SEKESEKE-2005-SalimCKG #execution #specification #towards
Towards Executable Specification: Combining i* and AgentSpeak(L) (FS, CFC, AK, AG), pp. 739–742.
MODELSMoDELS-2005-MullerFJ #execution #metalanguage #object-oriented #weaving
Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
MODELSMoDELS-2005-MullerFJ #execution #metalanguage #object-oriented #weaving
Weaving Executability into Object-Oriented Meta-languages (PAM, FF, JMJ), pp. 264–278.
ESEC-FSEESEC-FSE-2005-HaranKOPS #classification #execution
Applying classification techniques to remotely-collected program execution data (MH, AFK, AO, AAP, APS), pp. 146–155.
ESEC-FSEESEC-FSE-2005-ZhangG #execution
Matching execution histories of program versions (XZ, RG), pp. 197–206.
ICSEICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #sequence #using
Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.
ICSEICSE-2005-CookR #execution #query #static typing
Safe query objects: statically typed objects as remotely executable queries (WRC, SR), pp. 97–106.
ICSEICSE-2005-LavazzaB #automation #execution #metric
Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.
CCCC-2005-BalakrishnanGRT #bytecode #framework #named
CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.
LCTESLCTES-2005-FarcasFPT #component #execution #logic #realtime
Transparent distribution of real-time components based on logical execution time (EF, CF, WP, JT), pp. 31–39.
PPoPPPPoPP-2005-JungLLH #adaptation #architecture #execution #multi #smt
Adaptive execution techniques for SMT multiprocessor architectures (CJ, DL, JL, SH), pp. 236–246.
PPoPPPPoPP-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.
SOSPSOSP-2005-NightingaleCF #distributed #execution #file system
Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
SOSPSOSP-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.
CAVCAV-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.
ICTSSTestCom-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.
DACDAC-2004-SchueleS #abstraction #analysis #assembly #execution #source code
Abstraction of assembler programs for symbolic worst case execution time analysis (TS, KS), pp. 107–112.
DATEDATE-v2-2004-MaxiaguineKT #execution
Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
DATEDATE-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.
DATEDATE-v2-2004-SchattkowskyM #embedded #execution #modelling #realtime #specification
Model-Based Specification and Execution of Embedded Real-Time Systems (TS, WM), pp. 1392–1393.
SIGMODSIGMOD-2004-CruanesDG #execution #parallel #sql
Parallel SQL Execution in Oracle 10g (TC, BD, BG), pp. 850–854.
VLDBVLDB-2004-CunninghamGG #execution #optimisation
PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS (CC, GG, CAGL), pp. 998–1009.
VLDBVLDB-2004-SrivastavaW #execution
Memory-Limited Execution of Windowed Stream Joins (US, JW), pp. 324–335.
CSMRCSMR-2004-ZaidmanD #clustering #execution #process
Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.
IWPCIWPC-2004-BackerDV #composition #execution #visualisation #web #web service
Web Services Composition, Execution and Visualization (MDB, GD, JV), pp. 264–265.
IWPCIWPC-2004-DanicicLH #execution #slicing #using
Building Executable Union Slices using Conditioned Slicing (SD, ADL, MH), pp. 89–99.
SCAMSCAM-2004-BinkleyDGHKO #execution #formal method #slicing
Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
SCAMSCAM-2004-RoblesG #analysis #execution #source code
Executable Source Code and Non-Executable Source Code: Analysis and Relationships (GR, JMGB), pp. 149–157.
WCREWCRE-2004-TonellaC #concept analysis #execution #mining
Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.
IFMIFM-2004-MorilloV #compilation
A Method for Compiling and Executing Expressive Assertions (FJGM, JMCV), pp. 521–540.
SEFMSEFM-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.
ICGTICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive #tool support
Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
CHICHI-2004-AdamczykB #execution
If not now, when?: the effects of interruption at different moments within task execution (PDA, BPB), pp. 271–278.
AdaEuropeAdaEurope-2004-ZamoranoAPP #ada #implementation
Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.
EDOCEDOC-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.
ICEISICEIS-v2-2004-ZhuangZNTZ #execution #realtime
Dynamic Negotiation for Real-Time Manufacturing Execution (LZ, JZ, BN, YT, YZ), pp. 321–326.
ICPRICPR-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.
KDDKDD-2004-KolterM #bytecode #detection #learning
Learning to detect malicious executables in the wild (JZK, MAM), pp. 470–478.
UMLUML-2004-PitkanenS #execution #incremental #modelling #uml
A UML Profile for Executable and Incremental Specification-Level Modeling (RP, PS), pp. 158–172.
OOPSLAOOPSLA-2004-NandaCS #execution #web #web service
Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.
GPCEGPCE-2004-HauserK #compilation #execution #graph #process
Compiling Process Graphs into Executable Code (RH, JK), pp. 317–336.
PADLPADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation
Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
POPLPOPL-2004-SittampalamML #execution #incremental #specification
Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.
SACSAC-2004-LischkaK #execution #modelling
Modeling and execution of E-Learning resources (JL, DK), pp. 971–972.
ICSEICSE-2004-AkgulMP #assembly #execution #performance #slicing
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing (TA, VJMI, SP), pp. 522–531.
ICSEICSE-2004-BrunE #fault #machine learning
Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.
ICSEICSE-2004-OrsoJHS #named #visualisation
Gammatella: Visualization of Program-Execution Data for Deployed Software (AO, JAJ, MJH, JTS), pp. 699–700.
ASPLOSASPLOS-2004-DesikanSBK #architecture #scalability
Scalable selective re-execution for EDGE architectures (RD, SS, DB, SWK), pp. 120–132.
ASPLOSASPLOS-2004-SuhLZD #data flow #execution #information management
Secure program execution via dynamic information flow tracking (GES, JWL, DZ, SD), pp. 85–96.
CCCC-2004-BalakrishnanR #bytecode #memory management
Analyzing Memory Accesses in x86 Executables (GB, TWR), pp. 5–23.
HPCAHPCA-2004-Michaud #capacity #execution #manycore #migration
Exploiting the Cache Capacity of a Single-Chip Multi-Core Processor with Execution Migration (PM), pp. 186–197.
HPDCHPDC-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.
CAVCAV-2004-Arons #algorithm #execution #verification
Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
CAVCAV-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.
ICLPICLP-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.
ICLPICLP-2004-SchrijversW #constraints #execution
Constraint Handling Rules and Tabled Execution (TS, DSW), pp. 120–136.
ICTSSTestCom-2004-Vassiliou-GiolesDS #execution #using
Execution of External Applications using TTCN-3 (TVG, GD, IS), pp. 209–223.
ASEASE-2003-Roychoudhury #concurrent #multi #thread
Depiction and Playout of Multi-threaded Program Executions (AR), pp. 331–336.
DATEDATE-2003-CardosoW #c #source code
From C Programs to the Configure-Execute Model (JMPC, MW), pp. 10576–10581.
DATEDATE-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.
VLDBVLDB-2003-AnciauxBP #execution #memory management #query #requirements
Memory Requirements for Query Execution in Highly Constrained Devices (NA, LB, PP), pp. 694–705.
VLDBVLDB-2003-LongS #execution #query #scalability
Optimized Query Execution in Large Search Engines with Global Page Ordering (XL, TS), pp. 129–140.
ITiCSEITiCSE-2003-Yehezkel #execution
Making program execution comprehensible one level above the machine language (CY), pp. 124–128.
ESOPESOP-2003-GeilenB #execution #network #process #requirements
Requirements on the Execution of Kahn Process Networks (MG, TB), pp. 319–334.
TACASTACAS-2003-KhurshidPV #execution #model checking #symbolic computation #testing
Generalized Symbolic Execution for Model Checking and Testing (SK, CSP, WV), pp. 553–568.
IWPCIWPC-2003-ChanHMY #execution #object-oriented #scalability #visualisation
Scaling an Object-Oriented System Execution Visualizer through Sampling (AC, RH, GCM, ATTY), pp. 237–244.
SCAMSCAM-2003-KissJLG #bytecode #interprocedural #slicing
Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.
WCREWCRE-2003-SnavelyDA #bytecode #reverse engineering
Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables (NS, SKD, GRA), pp. 4–13.
FMFME-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.
SOFTVISSOFTVIS-2003-OrsoJH #visualisation
Visualization of Program-Execution Data for Deployed Software (AO, JAJ, MJH), pp. 67–76.
VISSOFTVISSOFT-2003-Hamou-LhadjL #complexity #execution #object-oriented
Techniques for Reducing the Complexity of Object-Oriented Execution Traces (AHL, TCL), pp. 35–40.
AdaEuropeAdaEurope-2003-GonzalezH #ada
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.
CAiSECAiSE-2003-HallerS #consistency #execution #information management #peer-to-peer #process
Consistent Process Execution in Peer-to-Peer Information Systems (KH, HS), pp. 289–307.
ICEISICEIS-v1-2003-FatoohiG #distributed #execution #using #web
A Distributed Job Execution Environment Using Asynchronous Messaging and Web Technologies (RF, NG), pp. 246–251.
SEKESEKE-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.
HPCAHPCA-2003-IbrahimBR #execution #multi
Slipstream Execution Mode for CMP-Based Multiprocessors (KZI, GTB, ER), pp. 179–190.
HPCAHPCA-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.
PPoPPPPoPP-2003-GoelRM #parallel #representation
Compactly representing parallel program executions (AG, AR, TM), pp. 191–202.
SOSPSOSP-2003-SekarVBBD #approach #execution
Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.
SOSPSOSP-2003-YinMVAD #execution #fault tolerance
Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.
VMCAIVMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification
Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
DATEDATE-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.
SIGMODSIGMOD-2002-HacigumusILM #sql
Executing SQL over encrypted data in the database-service-provider model (HH, BRI, CL, SM), pp. 216–227.
SIGMODSIGMOD-2002-Weininger #execution #performance
Efficient execution of joins in a star schema (AW), pp. 542–545.
VLDBVLDB-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.
FASEFASE-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.
FASEFASE-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.
TACASTACAS-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.
WRLAWRLA-2002-EkerKLLT #biology #execution #logic #modelling #network
Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
WRLAWRLA-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.
ICSMEICSM-2002-MoeS #distributed #execution #using
Using Execution Trace Data to Improve Distributed Systems (JM, KS), pp. 640–648.
IWPCIWPC-2002-Hamou-LhadjL #analysis #execution #scalability
Compression Techniques to Simplify the Analysis of Large Execution Traces (AHL, TCL), pp. 159–168.
PASTEPASTE-2002-AkgulM #debugging #execution
Instruction-level reverse execution for debugging (TA, VJM), pp. 18–25.
WCREWCRE-2002-SchwarzDA #execution #revisited
Disassembly of Executable Code Revisited (BS, SKD, GRA), pp. 45–54.
ICGTICGT-2002-Harel #behaviour #requirements #why
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (DH), pp. 6–7.
ICGTICGT-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.
VISSOFTVISSOFT-2002-DiehlK #execution #visual notation
Reification of Program Points for Visual Execution (SD, AK), pp. 100–109.
AdaEuropeAdaEurope-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.
ICEISICEIS-2002-Al-JumailyCM #constraints #execution #relational
An Execution Model for Preserving Cardinality Constraints in the Relational Model (HTAJ, DC, PM), pp. 819–822.
ICEISICEIS-2002-Gusikhin #execution #framework #integration
Analytical Framework for Data Integration in Manufacturing Execution Systems (OYG), p. 7.
UMLUML-2002-JorgensenC #design #execution #middleware #modelling #pervasive
Executable Design Models for a Pervasive Healthcare Middleware System (JBJ, SC), pp. 140–149.
OOPSLAOOPSLA-2002-MarellyHK #execution #multi #sequence chart
Multiple instances and symbolic variables in executable sequence charts (RM, DH, HK), pp. 83–100.
SACSAC-2002-Abu-GhazalehP #execution #mobile #performance #towards #verification
Verification caching: towards efficient and secure mobile code execution environments (NBAG, DSP), pp. 964–968.
SACSAC-2002-AntoniouA #declarative #execution
Executable declarative business rules and their use in electronic commerce (GA, MA), pp. 6–10.
SACSAC-2002-GoumasAK #architecture #automation #code generation #parallel
Automatic code generation for executing tiled nested loops onto parallel architectures (GIG, MA, NK), pp. 876–881.
SACSAC-2002-MorvanH #execution #memory management #parallel #query
Dynamic memory allocation strategies for parallel query execution (FM, AH), pp. 897–901.
ICSEICSE-2002-NittoLSTT #execution #process #uml
Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
ASPLOSASPLOS-2002-KimY #algorithm #compilation #design #evaluation
Design and evaluation of compiler algorithms for pre-execution (DK, DY), pp. 159–170.
ASPLOSASPLOS-2002-RajwarG #execution #source code #transaction
Transactional lock-free execution of lock-based programs (RR, JRG), pp. 5–17.
HPCAHPCA-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.
HPDCHPDC-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.
HPDCHPDC-2002-MatthewsHJL #automation #backtracking #debugging #source code
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs (GM, RH, SJ, PFL), p. 150–?.
LCTESLCTES-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.
ICLPICLP-2002-DucasseL #analysis #automation #execution
Automated Analysis of CLP(FD) Program Execution Traces (MD, LL), pp. 470–471.
ICLPICLP-2002-HayashiCO #execution #logic programming
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming (HH, KC, AO), p. 477.
ASEASE-2001-GuptaR #metric
Program Execution-Based Module Cohesion Measurement (NG, PR), p. 144–?.
ASEASE-2001-Lee #automation #documentation #execution #requirements #specification
Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.
ASEASE-2001-LenceviciusMR #design #execution
Tracing Execution of Software for Design Coverage (RL, EM, AR), pp. 328–332.
ASEASE-2001-XieLB #execution #model checking #set #uml
Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.
DATEDATE-2001-GiustoMH #embedded #estimation #execution #reliability
Reliable estimation of execution time of embedded software (PG, GM, EAH), pp. 580–589.
PODSPODS-2001-Schuldt #execution #order #process #protocol #transaction
Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes (HS).
ITiCSEITiCSE-2001-LiningtonD #execution
Picture program execution (JL, MD), p. 175.
ESOPESOP-2001-BartheDJSS #execution #framework #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
FASEFASE-2001-EshuisW #diagrams #execution #process #realtime #semantics #uml
A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.
ICSMEICSM-2001-SouderMS #framework #named
Form: A Framework for Creating Views of Program Executions (TSS, SM, MS), p. 612–?.
IWPCIWPC-2001-EisenbarthKS #comprehension #concept analysis #execution #using
Feature-Driven Program Understanding Using Concept Analysis of Execution Traces (TE, RK, DS), pp. 300–309.
IWPCIWPC-2001-MoeC #comprehension #distributed #execution
Understanding Distributed Systems via Execution Trace Data (JM, DAC), pp. 60–67.
CHICHI-2001-KierasMB #execution #modelling #towards
Towards demystification of direct manipulation: cognitive modeling charts the gulf of execution (DEK, DM, JAB), pp. 128–135.
VISSOFTSVIS-2001-PauwJMSVY #execution #java #source code #visualisation
Visualizing the Execution of Java Programs (WDP, EJ, NM, GS, JMV, JY), pp. 151–162.
AdaSIGAda-2001-ChenBY #adaptation #algorithm #detection #using
Detecting concurrently executed pairs of statements using an adapted MHP algorithm (ZC, BX, HY), pp. 107–114.
CAiSECAiSE-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.
ICEISICEIS-v1-2001-NijbakkerW #design #information management
Knowledge-Powered Executive Information System Design (SN, BJW), pp. 75–80.
SEKESEKE-2001-HoudekSE #detection #empirical #execution #fault #specification
Defect Detection for Executable Specifications — An Experiment (FH, TS, DE), pp. 10–18.
SEKESEKE-2001-Mellor #abstraction #execution
Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.
UMLUML-2001-EshuisW #algorithm #execution #graph #process #uml
An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.
ECOOPECOOP-2001-TatsuboriSCI #bytecode #distributed #execution #java #legacy
A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.
OOPSLAOOPSLA-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.
TOOLSTOOLS-USA-2001-Webre #bibliography #perspective
Object Technology: An Executive Overview (HW), p. 331.
SACSAC-2001-ChenW #specification #user interface #visual notation
A graphical user interface for executing formal specifications (XC, TW), pp. 648–652.
SACSAC-2001-StaudtKR #data flow #execution #process #semistructured data
Access to heterogeneous data sources for supporting business process execution (MS, JUK, UR), pp. 197–206.
FSEESEC-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.
ICSEICSE-2001-BertolinoIM #architecture #execution #testing
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
ICSEICSE-2001-DickinsonLP #analysis #clustering #execution
Finding Failures by Cluster Analysis of Execution Profiles (WD, DL, AP), pp. 339–348.
ICSEICSE-2001-ReissR #encoding
Encoding Program Executions (SPR, MR), pp. 221–230.
CCCC-2001-AycockH #earley #parsing
Directly-Executable Earley Parsing (JA, RNH), pp. 229–243.
HPCAHPCA-2001-WangWKRS #execution #scheduling
Register Renaming and Scheduling for Dynamic Execution of Predicated Code (PHW, HW, RMK, KR, JPS), pp. 15–25.
PPoPPPPoPP-2001-KimOEFV #analysis #execution #framework #optimisation
Reference idempotency analysis: a framework for optimizing speculative execution (SWK, ClO, RE, BF, TNV), pp. 2–11.
CAVCAV-2001-Moore #execution #modelling #state machine #symbolic computation
Rewriting for Symbolic Execution of State Machine Models (JSM), pp. 411–422.
DATEDATE-2000-YooLJRCC #execution #performance
Fast Hardware-Software Coverification by Optimistic Execution of Real Processor (SY, JeL, JJ, KR, YC, KC), pp. 663–668.
SIGMODSIGMOD-2000-WaasG #cost analysis #execution #query
Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer (FW, CAGL), pp. 499–509.
ITiCSEITiCSE-2000-Exton #comprehension #concurrent #execution #named #object-oriented
Elucidate: a tool to aid comprehension of concurrent object oriented execution (CE), pp. 33–36.
TACASTACAS-2000-AronsP #comparison #execution #verification
A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
ICSMEICSM-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.
AdaEuropeAdaEurope-2000-Ringler #analysis #execution #source code #worst-case
Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.
CAiSECAiSE-2000-ObermairS #execution #transaction
Temporally Faithful Execution of Business Transactions (WO, MS), pp. 462–481.
ICPRICPR-v2-2000-KosmalaRB #execution #online #recognition
On-Line Handwritten Formula Recognition with Integrated Correction Recognition and Execution (AK, GR, AB), pp. 2590–2593.
ICPRICPR-v4-2000-MendezMOH #execution #simulation
Remote Robot Execution through WWW Simulation (STPM, FTM, FO, FACH), pp. 4503–4506.
TOOLSTOOLS-EUROPE-2000-HartwichT #distributed #execution #object-oriented #performance
Operation Execution Groups: Efficient Operation Processing in Widely Distributed Object Systems (CH, ST), pp. 157–168.
TOOLSTOOLS-USA-2000-Ritchie #bibliography #perspective
Object Technology: An Executive Overview (CR), pp. 387–390.
SPLCSPLC-2000-DoerrS #architecture #dependence #execution #product line
Freeing product line architectures from execution dependencies (BSD, DS), pp. 313–330.
HPDCHPDC-2000-ThainL #execution #named
Bypass: A Tool for Building Split Execution Systems (DT, ML), pp. 79–86.
LCTESLCTES-2000-CortiBG #approximate #execution #multi #worst-case
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems (MC, RB, TRG), pp. 178–198.
CAVCAV-2000-Velev #execution #verification
Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.
WICSAWICSA-1999-VeraPL #architecture #execution
Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.
DATEDATE-1999-PasquierC #execution #realtime #simulation
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.
SIGMODSIGMOD-1999-IvesFFLW #adaptation #execution #integration #query
An Adaptive Query Execution System for Data Integration (ZGI, DF, MF, AYL, DSW), pp. 299–310.
FASEFASE-1999-BruniMM #calculus #execution #process #specification
Executable Tile Specifications for Process Calculi (RB, JM, UM), pp. 60–76.
ICSMEICSM-1999-Kajko-Mattsson99b #execution #experience #maintenance #process
Experience Paper: Maintenance at ABB (II): Change Execution Processes (MKM), pp. 307–315.
ICSMEICSM-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.
ICEISICEIS-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.
ICEISICEIS-1999-HilaireLK #execution #multi #specification #towards
Towards an Executable Specification of Multi-Agent Systems (VH, TL, AK), pp. 232–239.
TOOLSTOOLS-USA-1999-ColletR #constraints #ocl #performance #towards
Towards Efficient Support for Executing the Object Constraint Language (PC, RR), p. 399–?.
TOOLSTOOLS-USA-1999-OmoriIY #design pattern #execution #named
Answerer: A Design Pattern for Dynamical Conditional Execution (MO, NI, JiY), pp. 158–161.
PPDPPPDP-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.
PADLPADL-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.
SACSAC-1999-HermannGA #adaptation #design #execution #internet #multi
Design and Execution of Adaptive Multimedia Applications in the Internet (ACH, LPG, MJBA), pp. 624–629.
HPCAHPCA-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.
HPCAHPCA-1999-ParcerisaG #multi #thread
The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.
HPCAHPCA-1999-TullsenG #architecture #compilation #execution #parallel #thread
Multithreaded Execution Architecture and Compilation (DMT, GRG), p. 321.
OSDIOSDI-1999-ChangG #automation #execution #generative
Automatic I/O Hint Generation Through Speculative Execution (FWC, GAG), pp. 1–14.
OSDIOSDI-1999-FordHLMT #execution #interface #kernel #modelling
Interface and Execution Models in the Fluke Kernel (BF, MH, JL, RM, PT), pp. 101–115.
PPoPPPPoPP-1999-TangSY #execution #memory management #multi #runtime #thread
Compile/Run-Time Support for Threaded MPI Execution on Multiprogrammed Shared Memory Machines (HT, KS, TY), pp. 107–118.
ICLPICLP-1999-CiarliniF #execution #hybrid #symbolic computation
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems (AEMC, TWF), p. 606.
ICLPICLP-1999-JahierD #approach #monitoring
A Generic Approach to Monitor Program Executions (EJ, MD), pp. 139–153.
ICTSSIWTCS-1999-Vassiliou-GiolesSBWL #distributed #execution #testing
Configuration and Execution Support for Distributed Tests (TVG, IS, MB, MW, ML), pp. 61–76.
TLCATLCA-1999-Ohori #compilation #execution #morphism
A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.
DACDAC-1998-LakshminarayanaRJ #behaviour #control flow #execution #scheduling
Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.
SIGMODSIGMOD-1998-KabraD #execution #performance #query
Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans (NK, DJD), pp. 106–117.
VLDBVLDB-1998-CarinoO #execution #optimisation #parallel
Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
ESOPESOP-1998-CairesM #concurrent #execution #logic #specification
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi (LC, LM), pp. 42–56.
PASTEPASTE-1998-JefferyZTB #architecture #execution #lightweight #monitoring
A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
PLDIPLDI-1998-SastryPS #execution #float #integer
Exploiting Idle Floating-Point Resources for Integer Execution (SSS, SP, JES), pp. 118–129.
AdaEuropeAdaEurope-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.
AdaSIGAda-1998-FleenerMS #lightweight #reuse
A Reusable Lightweight Executive for Command and Control Systems (NF, LM, MS), pp. 81–88.
EDOCEDOC-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.
CIKMCIKM-1998-BouganimKV #adaptation #execution #query #scalability #scheduling
Memory-Adaptive Scheduling for Large Query Execution (LB, OK, PV), pp. 105–115.
KRKR-1998-BacchusP #execution #information management #modelling
Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.
KRKR-1998-GiacomoRS #execution #monitoring #source code
Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
KRKR-1998-MuscettolaMT #execution #performance
Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.
UMLUML-1998-MellorTAL #execution #precise #semantics #uml
An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.
PPDPALP-PLILP-1998-EskilsonC #execution #parallel #prolog #thread
SICStus MT — A Multithreaded Execution Environment for SICStus Prolog (JE, MC), pp. 36–53.
POPLPOPL-1998-DebrayMW #alias #analysis #execution
Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.
ASPLOSASPLOS-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.
ASPLOSASPLOS-1998-Le #execution #runtime
An Out-of-Order Execution Technique for Runtime Binary Translators (BCL), pp. 151–158.
ASPLOSASPLOS-1998-RanganathanF #distributed #empirical #execution #modelling
An Empirical Study of Decentralized ILP Execution Models (NR, MF), pp. 272–281.
HPCAHPCA-1998-Chen #adaptation #branch #execution
Supporting Highly-Speculative Execution via Adaptive Branch Trees (TFC), pp. 185–194.
LCTESLCTES-1998-YurkoskiRE #java #using
Using InfernoTM to Execute JavaTM on Small Devices (CFY, LRR, BKE), pp. 108–118.
CAVCAV-1998-SawadaH #execution #precise #verification
Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.
CAVCAV-1998-SkakkebaekJD #execution #incremental #using #verification
Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
ICTSSIWTCS-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.
ICLPJICSLP-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.
ICLPJICSLP-1998-ShenCK #distance #execution #metric #named #parallel
Distance: A New Metric for Controlling Granularity for Parallel Execution (KS, VSC, AK), pp. 85–99.
DACDAC-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.
DACDAC-1997-NelsonJB #execution #verification
Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.
SIGMODSIGMOD-1997-LlirbatFS #sql
Eliminating Costly Redundant Computations from SQL Trigger Executions (FL, FF, ES), pp. 428–439.
ICSMEICSM-1997-CifuentesF #bytecode #slicing
Intraprocedural Static Slicing of Binary Executables (CC, AF), p. 188–?.
WPCWPC-1997-KorelR #comprehension #execution #slicing
Dynamic Program Slicing in Understanding of Program Execution (BK, JR), pp. 80–89.
PLDIPLDI-1997-Goodwin #analysis #data flow #execution #interprocedural
Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
STOCSTOC-1997-EdmondsCBD #execution #multi #scheduling
Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (Extended Abstract) (JE, DDC, TB, XD), pp. 120–129.
CAiSECAiSE-1997-TombrosGD #component #execution #semantics #workflow
Semantics of Reactive Components in Event-Driven Workflow Execution (DT, AG, KRD), pp. 409–422.
CIKMCIKM-1997-DogduO #execution #realtime #transaction
Real-Time Transactions with Execution Histories: Priority Assignment and Load Control (ED, ), pp. 301–308.
CIKMCIKM-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.
TOOLSTOOLS-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.
SACSAC-1997-Li97a #execution #parallel #source code
Analyzing the expected execution times of parallel programs (KL), pp. 488–495.
SACSAC-1997-Liu #algorithm #evaluation #execution #parallel #performance #query
Performance evaluation of processor allocation algorithms for parallel query execution (KHL), pp. 393–402.
ESECESEC-FSE-1997-DucasseR #design #execution #reuse #towards
Executable Connectors: Towards Reusable Design Elements (SD, TR), pp. 483–499.
ICSEICSE-1997-JerdingSB #interactive #visualisation
Visualizing Interactions in Program Executions (DFJ, JTS, TB), pp. 360–370.
HPDCHPDC-1997-EvenskyGCA #distributed #execution #named #scalability
Lilith: Scalable Execution of User Code for Distributed Computing (DAE, ACG, LJC, RCA), pp. 305–314.
PPoPPPPoPP-1997-FuY #execution #parallel #performance
Space and Time Efficient Execution of Parallel Irregular Computation (CF, TY), pp. 57–68.
ICLPICLP-1997-HuangSS #execution #modelling #parallel
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models (ZH, CS, AS), p. 410.
ICLPICLP-1997-VaupelGP #execution #logic programming #source code #visualisation
Visualization of And/Or-Parallel Execution of Logic Programs (RV, EP, GG), pp. 271–285.
DACDAC-1996-Gupta #analysis #constraints #embedded #execution
Analysis of Operation Delay and Execution Rate Constraints for Embedded Systems (RKG), pp. 601–604.
SIGMODSIGMOD-1996-HellersteinN #execution #query
Query Execution Techniques for Caching Expensive Methods (JMH, JFN), pp. 423–434.
VLDBVLDB-1996-SarawagiS #database #execution #memory management #order #query
Reordering Query Execution in Tertiary Memory Databases (SS, MS), pp. 156–167.
TACASTACAS-1996-DamonJ #performance #specification
Efficient Search as a Means of Executing Specifications (CD, DJ), pp. 70–86.
AdaTRI-Ada-1996-MeyerR #design #embedded #safety
Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.
CAiSECAiSE-1996-GalES #execution #named
TALE: A Temporal Active Language and Execution Model (AG, OE, AS), pp. 60–81.
OOPSLAOOPSLA-1996-HassenAB #distributed #execution #flexibility
A Flexible Operation Execution Model for Shared Distributed Objects (SBH, IA, HEB), pp. 30–50.
PPDPPLILP-1996-GehrkeH #execution #named #specification
ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.
SACSAC-1996-LiuO #distributed #specification
Executing specifications of distributed computations with Chronolog(MC) (CL, MAO), pp. 393–400.
ICSEICSE-1996-HarelG #execution #modelling
Executable Object Modeling with Statecharts (DH, EG), pp. 246–257.
CCCC-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.
HPDCHPDC-1996-IversonOF #distributed #estimation #execution #runtime #statistics
Run-Time Statistical Estimation of Task Execution Times for Heterogeneous Distributed Computing (MAI, , GJF), pp. 263–270.
ICLPJICSLP-1996-KusalikP #execution #logic programming #parallel #performance #visualisation
Visualizing Parallel Logic Program Execution for Performance Tuning (AJK, SDP), pp. 498–512.
DACDAC-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.
SIGMODSIGMOD-1995-ChaudhuriDY #execution #optimisation #query
Join Queries with External Text Sources: Execution and Optimization Techniques (SC, UD, TWY), pp. 410–422.
SIGMODSIGMOD-1995-DavisonG #execution #multi #query
Dynamic Resource Brokering for Multi-User Query Execution (DLD, GG), pp. 281–292.
SIGMODSIGMOD-1995-GardarinMP #execution #functional #named #query
OFL: A Functional Execution Model for Object Query Languages (GG, FM, PP), pp. 59–70.
TFPIEFPLE-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.
WCREWCRE-1995-CimitileLM #execution #reuse #symbolic computation #using
Qualifying Reusable Functions Using Symbolic Execution (AC, ADL, MM).
PLDIPLDI-1995-LarusS #editing #execution #independence #named
EEL: Machine-Independent Executable Editing (JRL, ES), pp. 291–300.
SASSAS-1995-RaoS #execution #prolog #source code
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs (MRKKR, RKS), pp. 243–260.
AdaEuropeAdaEurope-1995-Richard-Foy #ada #safety
Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.
CIKMCIKM-1995-HameurlainM #execution #parallel #query #scheduling #sql
Scheduling and Mapping for Parallel Execution of Extended SQL Queries (AH, FM), pp. 197–204.
CIKMCIKM-1995-HerzogS #constraints #execution #parallel
Parallel Execution of Integrity Constraint Checks (UH, RS), pp. 82–89.
SEKESEKE-1995-Jent #execution #named #specification
DODAN/2: An Executable Specification Language for OS/2 (SAJ), pp. 464–469.
SEKESEKE-1995-Lee #execution #logic programming #parallel #source code
Parallel Execution of Logic Programs with Breadth-first Search (WSL), pp. 470–477.
PPDPPLILP-1995-MeristeP #execution #modelling #specification
Attributed Models of Executable Specifications (MM, JP), pp. 459–460.
POPLPOPL-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.
SACSAC-1995-PandaP #cost analysis #execution #query
Query execution in prism and seaview: a cost analysis (BP, WP), pp. 65–70.
ESECESEC-1995-GaskellP #ambiguity #analysis #execution #semantics
A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.
HPCAHPCA-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.
LCTESLCT-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.
LCTESLCT-RTS-1995-NilsenR #analysis #execution #worst-case
Worst-Case Execution Time Analysis on Modern Processors (KDN, BR), pp. 20–30.
ICLPICLP-1995-BarbutiFS #execution #modelling #prolog #using
Modeling OR-Parallel Execution of Prolog using CHOCS (RB, NDF, AS), pp. 547–561.
ICLPICLP-1995-CarlsonC #compilation #constraints #finite
Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLPICLP-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.
ICLPICLP-1995-SagonasW #execution #implementation #performance #prolog
Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.
DACDAC-1994-RadivojevicB #execution #scheduling
Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.
DATEEDAC-1994-GajskiVN #refinement
A System-Design Methodology: Executable-Specification Refinement (DG, FV, SN), pp. 458–463.
SIGMODSIGMOD-1994-HsiaoCY #execution #on the #parallel #pipes and filters
On Parallel Execution of Multiple Pipelined Hash Joins (HIH, MSC, PSY), pp. 185–196.
LISPLFP-1994-ReistadG #execution
Static Dependent Costs for Estimating Execution Time (BR, DKG), pp. 65–78.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-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.
AdaTRI-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.
SEKESEKE-1994-ArndtGPT #execution #logic programming #source code #symbolic computation
Symbolic execution of logic programs (TA, AG, GP, GT), pp. 414–421.
ECOOPECOOP-1994-PauwKV #execution #modelling #object-oriented
Modeling Object-Oriented Program Execution (WDP, DK, JMV), pp. 163–182.
LOPSTRLOPSTR-1994-Renault #execution #source code
Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.
POPLPOPL-1994-Paakki #execution #functional #logic programming #multi #source code
Multi-Pass Execution of Functional Logic Programs (JP), pp. 361–374.
REICRE-1994-GullaWLS #concept #modelling
Executing, viewing and explaining conceptual models (JAG, GW, OIL, AS), pp. 166–175.
SACSAC-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.
ASPLOSASPLOS-1994-ArgadeCT #monitoring #operating system #runtime
A Technique for Monitoring Run-Time Dynamics of an Operating System and a Microprocessor Executing User Applications (PVA, DKC, CT), pp. 122–131.
CCCC-1994-ErtlK #exception #execution
Delayed Exceptions — Speculative Execution of Trapping Instructions (MAE, AK), pp. 158–171.
ICLPICLP-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.
ICLPICLP-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.
ISSTAISSTA-1994-DouglasK #execution #named #specification #symbolic computation #testing
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.
ASEKBSE-1993-BailesCGP #execution #named #specification
GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.
PODSPODS-1993-RastogiMBKS #correctness #on the
On Correctness of Non-serializable Executions (RR, SM, YB, HFK, AS), pp. 97–108.
VLDBVLDB-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.
VLDBVLDB-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.
VLDBVLDB-1993-VhanHY #execution
Applying Hash Filters to Improving the Execution of Bushy Trees (MSC, HIH, PSY), pp. 505–516.
FMFME-1993-DoumencM #automaton #execution #parallel
The Parallel Abstract Machine: A Common Execution Model for FDTs (GD, JFM), pp. 285–293.
FMFME-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.
AdaEuropeAdaEurope-1993-BrygierR #ada #certification #realtime #safety
Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
CAiSECAiSE-1993-GullaW #execution #modelling #using #validation
Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.
CIKMCIKM-1993-VoortS #confluence #execution #termination
Termination and Confluence of Rule Execution (LvdV, AS), pp. 245–255.
SEKESEKE-1993-Deng #architecture #execution #specification
Intermediate Executable Architectural Specifications for KBSA, Part II (YD), p. 586.
SEKESEKE-1993-DengES #design #execution #object-oriented #specification
Executable Specifications for the Design of Object-Oriented Systems (YD, RKE, WS), pp. 46–53.
SEKESEKE-1993-Evangelist #architecture #execution #specification
Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
SEKESEKE-1993-KaarelaO #automation #execution #specification
Executable Graphic Specifications in Automation Projects (KK, AO), pp. 296–300.
OOPSLAOOPSLA-1993-OdehP #execution #object-oriented
Object-Oriented Execution of OPS5 Production Systems (MHO, JAP), pp. 178–190.
TOOLSTOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation
ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.
PPDPPLILP-1993-BarklundB #bound #memory management #multi
Executing Bounded Quantifications on Shared Memory Multiprocessors (JB, JB), pp. 302–317.
PPDPPLILP-1993-Kastens #execution #implementation #specification
Executable Specifications for Language Implementation (UK), pp. 1–11.
REICRE-1993-Beeck #analysis #execution #precise #realtime #specification
Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.
REICRE-1993-HoffmannD #design #execution #process #prototype #specification #using
Using Executable Specifications for Prototyping System Design Process (CH, BD), pp. 135–145.
SACSAC-1993-MotzkinJHK #concurrent #execution #information management #on the
On Concurrent Execution of Information Systems Applications (DM, EJ, DH, MK), pp. 775–781.
ICLPICLP-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.
ICTSSIWPTS-1993-Phalippou #execution
Executable Testers (MP), pp. 35–50.
ASEKBSE-1992-Liao #execution #on the #performance
On Efficiently Computing Derived Performance Data of Program Execution (YL), p. 25.
SIGMODSIGMOD-1992-GangulyHK #execution #optimisation #parallel #query
Query Optimization for Parallel Execution (SG, WH, RK), pp. 9–18.
SIGMODSIGMOD-1992-Hanson #execution #testing
Rule Condition Testing and Action Execution in Ariel (ENH), pp. 49–58.
VLDBVLDB-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.
AdaEuropeAdaEurope-1992-PuenteZAF #ada #realtime #reuse
Reusable Executives for Hard Real-Time Systems in Ada (JAdlP, JZ, AA, JLF), pp. 104–115.
ICLPJICSLP-1992-AbreuPC #execution #product line
Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.
ICLPJICSLP-1992-ChenRR #algorithm #execution #multi #prolog
Multistage Indexing Algorithms for Speeding Prolog Execution (TC, IVR, RR), pp. 639–653.
SIGMODSIGMOD-1991-AgrawalK #execution #multi #transaction #using
Using Multiversion Data for Non-interfering Execution of Write-only Transactions (DA, VK), pp. 98–107.
PLDIPLDI-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.
STOCSTOC-1991-KedemPRS #parallel #performance
Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing (Extended Abstract) (ZMK, KVP, AR, PGS), pp. 381–390.
FMVDME-1991-1-LarsenL #execution #set #specification
An Executable Subset of Meta-IV with Loose Specification (PGL, PBL), pp. 604–618.
CAiSECAiSE-1991-Liu #execution #integration #process
Software Process Planning and Execution: Coupling vs. Integration (CL), pp. 356–374.
KRKR-1991-BarringerFGH #execution #logic
Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
PPDPPLILP-1991-Loyola #animation #debugging #execution #logic programming
Extending Execution Trees for Debugging and Animation in Logic Programming (DL), pp. 419–420.
ESECESEC-1991-CreusotLRTKMS #execution
Execution Environment for ELECTRE Applications (DC, PL, OR, YT, AK, OM, CSM), pp. 147–165.
ASPLOSASPLOS-1991-BenitezD #code generation #streaming
Code Generation for Streaming: An Access/Execute Mechanism (MEB, JWD), pp. 132–141.
ICLPISLP-1991-Ducasse #prolog
Abstract Views of Prolog Executions in Opium (MD), pp. 18–32.
ICLPISLP-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.
LICSLICS-1991-JouannaudO #algebra #execution #higher-order #specification
A Computation Model for Executable Higher-Order Algebraic Specification Languages (JPJ, MO), pp. 350–361.
ISSTATAV-1991-GhezziK #approach #specification
Executing Formal Specifications: The ASTRAL to TRIO Translation Approach (CG, RAK), pp. 112–122.
SEKESEKE-1990-Iyengar #execution #logic programming #source code
Intelligent Forward Execution in Logic Programs (SRI), pp. 153–158.
SEKESEKE-1990-SheuVH #execution #process
Integrated Process Description and Execution in Manufacturing Environments (PCYS, RV, SSH), pp. 25–32.
PPDPPLILP-1990-Fribourg #execution #prolog
A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution (LF), pp. 174–188.
ICSEICSE-1990-OswaldEM #petri net #specification
An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.
CCCC-1990-Pfahler #execution #lr #optimisation #parsing
Optimizing Directly Executable LR Parsers (PP), pp. 179–192.
CAVCAV-1990-MorrisH #execution #symbolic computation #verification
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines (JMM, MH), pp. 322–332.
ICLPCLP-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.
ICLPNACLP-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.
ICLPNACLP-1990-Helm #execution #on the
On the Elimination of Redundant Derivations During Execution (RH), pp. 551–568.
VLDBVLDB-1989-MurphyR #effectiveness #execution #multi #resource management
Effective Resource Utilization for Multiprocessor Join Execution (MCM, DR), pp. 67–75.
PLDIPLDI-1989-Sarkar #execution
Determining Average Program Execution Times and their Variance (VS), pp. 298–312.
SEKESEKE-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.
ESECESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation
Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.
LICSLICS-1989-Gischer
A Small Universal Model for System Executions (JLG), pp. 146–153.
ICLPNACLP-1989-ChangC #execution #strict
Restricted AND-Parallelism Execution Model with Side-Effects (SEC, YPC), pp. 350–368.
ICLPNACLP-1989-Helm #bottom-up #execution #on the
On the Dedection and Elimination of Redundant Derivations during Bottom-up Execution (ARH), pp. 945–962.
ICLPNACLP-1989-Nystrom #concurrent #execution #logic
Variable-Free Execution of Concurrent Logic Languages (SON), pp. 536–552.
ICLPNACLP-1989-RamkumarK #execution #multi #process
Compiled Execution of the Reduce-OR Process Model on Multiprocessors (BR, LVK), pp. 313–331.
ICLPNACLP-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.
RTARTA-1989-SekarPR #execution #parallel #performance #term rewriting
Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution (RCS, SP, IVR), pp. 404–418.
ISSTATAV-1989-ChoiMP #execution #named #scheduling
PMothra: Scheduling Mutants for Execution on a Hypercube (BC, AM, BP), pp. 58–65.
ISSTATAV-1989-RazoukG #logic #realtime #reasoning #source code
Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
SIGMODSIGMOD-1988-Bell #data transformation #execution #parallel #physics
A Specialized Data Management System For Parallel Execution of Particle Physics Codes (JLB), pp. 277–285.
VLDBVLDB-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.
FMVDME-1988-JiangX #abstraction #execution #named #specification
NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.
LISPLFP-1988-TinkerK #execution #parallel
Parallel Execution of Sequential Scheme with ParaTran (PT, MK), pp. 28–39.
OOPSLAOOPSLA-1988-BensleyBP #distributed #execution #object-oriented
An Execution Model for Distributed Object-Oriented Computation (EHB, TJB, MJP), pp. 316–322.
PPoPPPPEALS-1988-LarusH #concurrent #execution #lisp #source code
Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.
ICLPJICSCP-1988-Ali88 #execution #prolog
OR-Parallel Execution of Prolog on BC-Machine (KAMA), pp. 1531–1545.
ICLPJICSCP-1988-AttilaF88 #evaluation #execution #semantics #source code
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.
ICLPJICSCP-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.
ICLPJICSCP-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.
ICLPJICSCP-1988-NgL88 #contest #execution #logic programming #parallel #source code
The Competition Model for Parallel Execution of Logic Programs (KWN, HfL), pp. 1180–1187.
ICLPJICSCP-1988-RamanS88 #distributed #execution #logic #problem
Fully Distributed, AND/OR-Parallel Execution of Logic Problems (PR, EWS), pp. 1188–1203.
ICLPJICSCP-1988-SomogyiRV88 #algorithm #backtracking #execution
A Stream AND-Parallel Execution Algorithm with Backtracking (ZS, KR, JV), pp. 1142–1159.
ICLPJICSCP-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.
ICLPJICSCP-1988-TsengB88 #data-driven #execution #logic programming #parallel #source code
A Data-Driven Parallel Execution Model for Logic Programs (CCT, PB), pp. 1204–1222.
PLDIPLDI-1987-KarinthiW #incremental #source code
Incremental re-execution of programs (RK, MW), pp. 38–44.
PLDIPLDI-1987-Pittman #execution #hybrid #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
FPCAFPCA-1987-FairbairnW #automaton #combinator #lazy evaluation #named
TIM: A simple, lazy abstract machine to execute supercombinatorics (JF, SW), pp. 34–45.
POPLPOPL-1987-AllenCK #automation #composition #execution #parallel #source code
Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.
ESECESEC-1987-CailletBR #ada #execution
High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.
ASPLOSASPLOS-1987-HayesFWZ #architecture #execution #programming language
An Architecture for the Direct Execution of the Forth Programming Language (JRH, MEF, RLW, TZ), pp. 42–49.
ICLPICLP-1987-Conery87 #execution #implementation #nondeterminism
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.
ICLPICLP-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.
ICLPICLP-1987-SatoSMRG87 #clustering #execution #memory management
KL1 Execution Model for PIM Cluster with Shared Memory (MS, HS, AM, KR, AG), pp. 338–355.
ICLPICLP-1987-Shapiro87 #algorithm #execution #implementation #prolog
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.
ICLPSLP-1987-Ali87 #execution #implementation #parallel #prolog
A Method for Implementing Cut in Parallel Execution of Prolog (KAMA), pp. 449–456.
ICLPSLP-1987-ShenW87 #execution #prolog #simulation
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.
ICLPSLP-1987-Warren87 #design #execution #implementation #prolog
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues (DHDW), pp. 92–102.
ESOPESOP-1986-SchwinnB #execution #logic programming #source code
An And-Parallel Execution Model of Logic Programs (BS, GB), pp. 289–300.
POPLPOPL-1986-JeffersonK #execution #quantifier #specification
Executable Specifications with Quantifiers in the FASE System (SJ, SNK), pp. 318–326.
CADECADE-1986-Lins #combinator #execution
A New Formula for the Execution of Categorial Combinators (RDL), pp. 89–98.
ICLPICLP-1986-ChengzhengY86 #execution #logic programming #source code
The OR-Forest Description for the Execution of Logic Programs (CS, TY), pp. 710–717.
ICLPICLP-1986-Hermenegildo86 #automaton #execution #logic programming #source code #strict
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs (MVH), pp. 25–39.
ICLPICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification
Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.
ICLPICLP-1986-Levy86a #execution #memory management
Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.
ICLPICLP-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.
ICLPICLP-1986-Nakamura86 #execution #functional #logic programming
Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
LICSLICS-1986-BeckmanGW #algebra #execution #logic programming #parallel #source code
An Algebraic Model of Parallel Execution of Logic Programs (LB, RG, AW), pp. 50–57.
ICLPSLP-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.
ICLPSLP-1986-Crammond86 #execution #nondeterminism
An Execution Model for Committed-Choice Non-Deterministic Languages (JAC), pp. 148–158.
ICLPSLP-1986-LiM86 #execution #logic programming #parallel
The Sync Model: A Parallel Execution Method for Logic Programming (PPL, AJM), pp. 223–234.
DACDAC-1985-HughesLR #automation #design #distributed #execution #tool support
A technique for distributed execution of design automation tools (SCH, DBL, CJR), pp. 23–30.
PODSPODS-1985-TuzhilinS #approach #concurrent #correctness #semantics #transaction
A Semantic Approach to Correctness of Concurrent Transaction Executions (AT, PGS), pp. 85–95.
FPCAFPCA-1985-BushG85 #execution #parallel #recursion #source code
Transforming Recursive Programs for Execution on Parallel Machines (VJB, JRG), pp. 350–367.
ICSEICSE-1985-HendersonW #execution
Continous Execution: The VisiProg Environment (PBH, MW), pp. 68–74.
ICSEICSE-1985-Lee #execution #modelling #on the #prototype #rule-based
On Executable Models for Rule-Based Prototyping (SL), pp. 210–215.
SOSPSOSP-1985-TheimerLC #execution
Preemptable Remote Execution Facilities for the V-System (MT, KAL, DRC), pp. 2–12.
ICLPSLP-1985-MaluszynskiK85 #execution #logic programming #source code
Unification-Free Execution of Logic Programs (JM, HJK), pp. 78–86.
ICSEICSE-1984-MusaO #execution #metric #reliability
A Logarithmic Poisson Execution Time Model for Software Reliability Measurement (JDM, KO), pp. 230–238.
ICLPSLP-1984-LindstromP84 #execution #logic programming
Stream-Based Execution of Logic Programming (GL, PP), pp. 168–176.
ICLPSLP-1984-WarrenADK84 #distributed #network #prolog #source code
Executing Distributed Prolog Programs on a Broadcast Network (DSW, MA, SKD, LVK), pp. 12–21.
DACDAC-1983-Camoin #perspective
Central DA and its role: An executive view (RJC), p. 3.
SIGMODSIGMOD-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.
POPLPOPL-1983-CunyS #compilation #data-driven #execution #source code
Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.
PLDISCC-1982-GrahamKM #execution #graph #named #profiling
gprof: a Call Graph Execution Profiler (SLG, PBK, MKM), pp. 120–126.
PLDISCC-1982-Turba #execution
A Facility for the Downward Execution of a High-Level Language (TNT), pp. 127–133.
PLDIBest-of-PLDI-1982-GrahamKM #execution #graph #named #profiling
gprof: a call graph execution profiler (with retrospective) (SLG, PBK, MKM), pp. 49–57.
ICSEICSE-1982-Urban #development #execution #functional #specification
Software Development with Executable Functional Specifications (JEU), pp. 418–419.
ASPLOSASPLOS-1982-SansonnetCPBP #architecture #execution #lisp
Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.
ASPLOSASPLOS-1982-Wiecek #case study #compilation #execution #set
A Case Study of VAX-11 Instruction Set Usage for Compiler Execution (CAW), pp. 177–184.
ICLPILPC-1982-Bowen82 #concurrent #execution #logic
Concurrent Execution of Logic (KAB), pp. 26–30.
ICSEICSE-1981-ZaveY #embedded #execution #requirements
Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
STOCSTOC-1980-Strong #execution #graph
Vector Execution of Flow Graphs (Extended Abstract) (HRS), pp. 108–116.
SIGMODSIGMOD-1979-DeWitt #execution #query
Query Execution in DIRECT (DJD), pp. 13–22.
VLDBVLDB-1979-Sandewall
A Description Language and Pilot-System Executive for Information-Transport Systems (ES), pp. 101–110.
VLDBVLDB-1975-FarleyS #database #execution #query #relational
Query Execution and Index Selection for Relational Data Bases (GF, SAS), p. 519.
POPLPOPL-1975-Lester #concurrent #execution
Program Schemas with Concurrency: Execution Time and Hangups (BPL), pp. 185–193.
SOSPSOSP-1975-ChandyR #execution #order #probability #scheduling
Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.