researchr - search publication incremental execution

researchr

You are not signed in
Sign in
Sign up

51 publication results matching 'incremental execution'

Incremental execution of transformation specificationsGanesh Sittampalam, Oege de Moor, Ken Friis Larsen. POPL 2004: 26-38 [doi]
Incremental execution of guarded theoriesGiuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña. tocl, 2(4):495-525, 2001. [doi]
Incremental execution environmentM. A. Bhatti. SIGPLAN, 23(4):56-64, 1988. [doi]
An incremental execution environmentMuhammad Afzal Bhatti. PhD thesis, University of Kent, UK, 1989. [doi]
A Session Editor with Incremental Execution FunctionsNiklas Holsti. SPE, 19(4):329-350, 1989.
Towards Incremental Execution of ATL TransformationsFrédéric Jouault, Massimo Tisi. ICMT 2010: 123-137 [doi]
Incremental re-execution of programsR. R. Karinthi, Mark Weiser. PLDI 1987: 38-44 [doi]
Directed incremental symbolic executionSuzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid. PLDI 2011: 504-515 [doi]
Directed Incremental Symbolic ExecutionGuowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid. TOSEM, 24(1):3, 2014. [doi]
Incremental execution of rule-based model transformationArtur Boronat. STTT, 23(3):289-311, 2021. [doi]
Feedback-Driven Incremental Symbolic ExecutionQiuping Yi, Guowei Yang 0001. issre 2022: 505-516 [doi]
Summary-guided incremental symbolic executionQiuping Yi, Junye Wen, Guowei Yang. ICSE 2020: 310-311 [doi]
Inductive Attribute Grammars: A Basis for Incremental Program ExecutionJanet A. Walz, Gregory F. Johnson. ACTA, 32(2):117-144, 1995.
Keeping Track of Data Dependencies for Incremental Execution in Logic ProgrammingPhilippe Chatalic. lpe 1990: 6-11
Formal Verification of Out-of-Order Execution with Incremental FlushingRobert B. Jones, Jens U. Skakkebæk, David L. Dill. fmsd, 20(2):139-158, 2002.
Incremental execution of model-to-text transformations using property access tracesBabajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos. SoSyM, 18(1):367-383, 2019. [doi]
Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflowsArtur Boronat. TTC 2022: [doi]
Taking the Edge off Cardinality Estimation Errors using Incremental ExecutionThomas Neumann 0001, César A. Galindo-Legaria. btw 2013: 73-92 [doi]
Incremental symbolic execution for automated test suite maintenanceSarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui. ASE 2014: 271-276 [doi]
Incremental symbolic execution of evolving state machinesAmal Khalil, Juergen Dingel. MoDELS 2015: 14-23 [doi]

Sign in or sign up to see more results.

runs on WebDSL