Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 2 of 2 for “"call tree"”.

  1. Hamiltonian cycle and related problems : vertex-breaking, grid graphs, and Rubik's Cubes

    … We begin by introducing a new problem, which we call Tree-Residue Vertex-Breaking (TRVB). Given a multigraph G some of whose vertices are marked "breakable," TRVB asks whether it is possible to convert G into a tree via a sequence of applications of the vertex-breaking operation: disconnecting …

    mit Repository record for Hamiltonian cycle and related problems : vertex-breaking, grid graphs, and Rubik's Cubes (opens in a new tab)

  2. Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++

    … ``in the wild'' and checks that the function call graph follows a set of rules which can be defined by the user. This sort of analysis can help the programmer to avoid errors such as accidentally calling blocking functions in time-sensitive contexts or accidentally allocating memory in …

    calpoly Repository record for Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++ (opens in a new tab)