Sökning: "MSO set"

Hittade 2 uppsatser innehållade orden MSO set.

1. 1. Context-sensitive Points-To Analysis : Comparing precision and scalability

   Master-uppsats, Institutionen för datavetenskap, fysik och matematik, DFM

   Författare :Ievgen Kovalov; [2012]
   Nyckelord :Points-To Analysis; Context-sensitivity; Spark; Paddle; P2SSA; Simulated execution; Binary Decision Diagrams; JNI; Soot; Analysis Time; Call Edge; Heap Object; Analysis Memory.;

   Sammanfattning : Points-to analysis is a static program analysis that tries to predict the dynamic behavior of programs without running them. It computes reference information by approximating for each pointer in the program a set of possible objects to which it could point to at runtime. LÄS MER

3. 2. Evaluation of Differential Algebraic Elimination Methods for Deriving Consistency Relations from an Engine Model

   Uppsats för yrkesexamina på grundnivå, Institutionen för systemteknik

   Författare :Rikard Falkeborn; [2006]
   Nyckelord :model based diagnosis; Gröbner basis; diffalg; consistency relation; MSO set;

   Sammanfattning : New emission legislations introduced in the European Union and the U.S. have made truck manufacturers face stricter requirements for low emissions and on-board diagnostic systems. The on-board diagnostic system typically consists of several tests that are run when the truck is driving. LÄS MER