Automatically assigned DDC number: 005133

Manually assigned DDC number: 005275

Number of references: 16

Title: Data-Flow Frameworks for Worst-Case Execution Time Analysis

Author:

Subject: Johann Blieberger Data-Flow Frameworks for Worst-Case Execution Time Analysis

Description: The purpose of this paper is to introduce frameworks based on data-flow equations which provide for estimating the worst-case execution time (WCET) of (real-time) programs. These frameworks allow several different WCET analysis techniques, which range from nave approaches to exact analysis, provided exact knowledge on the program behaviour is available. However, data-flow frameworks can also be used for symbolic analysis based on information derived automatically from the source code of the program. As a byproduct we show that slightly modified elimination methods can be employed for solving WCET data-flow equations, while iteration algorithms cannot be used for this purpose.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-10-30

Pubyear: 2000

Format: pdf

Identifier: http://citeseer.ist.psu.edu/377893.html

Source: http://www.auto.tuwien.ac.at/~blieb/woop/published/dfwcet.pdf

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/560554.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1411"   Title="Symbolic   Reaching   Definitions   Analysis   of   {Ada}   Programs,">

            <identifier   Org="ISBN:3540403760"   Paper_ID="/560554.html"   Extracted="3540403760"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540660933"   Paper_ID="/560554.html"   Extracted="3540660933"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540676694"   Paper_ID="/560554.html"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/578596.html"   Type="inproceedings"   CiteSeer_Book="AdaEurope"   CiteSeer_Volume=""   Title="Interprocedural   Symbolic   Evaluation   of   Ada   Programs   with   Aliases,">

            <identifier   Org="ISBN:3540231765"   Paper_ID="/578596.html"   Extracted="3540231765"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540403760"   Paper_ID="/578596.html"   Extracted="3540403760"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540660933"   Paper_ID="/578596.html"   Extracted="3540660933"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540676694"   Paper_ID="/578596.html"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/317117.html"   Type="inproceedings"   CiteSeer_Book="Proc   of   the   AdaEurope   International   Conference   on   Reliable   Software   Technologies"   CiteSeer_Volume=""   Title="{Symbolic   Data   Flow   Analysis   for   Detecting   Deadlocks   in   Ada   Tasking   Programs},">

            <identifier   Org="ISBN:1581136285"   Paper_ID="/317117.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:3540000291"   Paper_ID="/317117.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540011854"   Paper_ID="/317117.html"   Extracted="3540011854"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540262865"   Paper_ID="/317117.html"   Extracted="3540262865"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540403760"   Paper_ID="/317117.html"   Extracted="3540403760"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540437843"   Paper_ID="/317117.html"   Extracted="3540437843"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540676694"   Paper_ID="/317117.html"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/575174.html"   Type="article"   CiteSeer_Book="RealTime   Systems"   CiteSeer_Volume="18"   Title="Symbolic   Cache   Analysis   for   Real-Time   Systems,">

            <identifier   Org="ISBN:0769523021"   Paper_ID="/575174.html"   Extracted="0769523021"   />

            <identifier   Org="ISBN:3540011854"   Paper_ID="/575174.html"   Extracted="3540011854"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540403760"   Paper_ID="/575174.html"   Extracted="3540403760"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540430954"   Paper_ID="/575174.html"   Extracted="3540430954"   />

            <identifier   Org="ISBN:3540676694"   Paper_ID="/575174.html"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/339278.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Real-time   recursive   procedures,">

            <identifier   Org="ISBN:0780399781"   Paper_ID="/339278.html"   Extracted="0780399781"   />

            <identifier   Org="ISBN:1852339802"   Paper_ID="/339278.html"   Extracted="1852339802"   DDC="629.836"   Normalized_DDC="629836"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:354061317X"   Paper_ID="/339278.html"   Extracted="354061317X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/254208.html"   Type="article"   CiteSeer_Book="RealTime   Systems"   CiteSeer_Volume="11"   Title="Worst-Case   Space   and   Time   Complexity   of   Recursive   Procedures,">

            <identifier   Org="ISBN:354061317X"   Paper_ID="/254208.html"   Extracted="354061317X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/259013.html"   Type="article"   CiteSeer_Book="Computer   Languages"   CiteSeer_Volume="20"   Title="Discrete   Loops   and   Worst   Case   Performance,">

            <identifier   Org="ISBN:0198523823"   Paper_ID="/259013.html"   Extracted="0198523823"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1590331028"   Paper_ID="/259013.html"   Extracted="1590331028"   DDC="344.73/046"   Normalized_DDC="34473046"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354061317X"   Paper_ID="/259013.html"   Extracted="354061317X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/301896.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Real-Time   Properties   of   Indirect   Recursive   Procedures,"   />

      <rec   ID="/229824.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Supercomputing"   CiteSeer_Volume=""   Title="Symbolic   Evaluation   for   Parallelizing   Compilers,">

            <identifier   Org="ISBN:0818680903"   Paper_ID="/229824.html"   Extracted="0818680903"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540011854"   Paper_ID="/229824.html"   Extracted="3540011854"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540403760"   Paper_ID="/229824.html"   Extracted="3540403760"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354067442X"   Paper_ID="/229824.html"   Extracted="354067442X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540676694"   Paper_ID="/229824.html"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/351984.html"   Type="inproceedings"   CiteSeer_Book="IEEE   RealTime   Systems   Symposium"   CiteSeer_Volume=""   Title="A   Retargetable   Technique   for   Predicting   Execution   Time,">

            <identifier   Org="ISBN:0130833487"   Paper_ID="/351984.html"   Extracted="0130833487"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0769523021"   Paper_ID="/351984.html"   Extracted="0769523021"   />

            <identifier   Org="ISBN:0792385489"   Paper_ID="/351984.html"   Extracted="0792385489"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818631953"   Paper_ID="/351984.html"   Extracted="0818631953"   />

            <identifier   Org="ISBN:0818657103"   Paper_ID="/351984.html"   Extracted="0818657103"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818666005"   Paper_ID="/351984.html"   Extracted="0818666005"   />

            <identifier   Org="ISBN:0818680342"   Paper_ID="/351984.html"   Extracted="0818680342"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818681268"   Paper_ID="/351984.html"   Extracted="0818681268"   />

            <identifier   Org="ISBN:1402071353"   Paper_ID="/351984.html"   Extracted="1402071353"   DDC="005.26"   Normalized_DDC="00526"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1581133464"   Paper_ID="/351984.html"   Extracted="1581133464"   />

            <identifier   Org="ISBN:1590335864"   Paper_ID="/351984.html"   Extracted="1590335864"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/351984.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540593349"   Paper_ID="/351984.html"   Extracted="3540593349"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/319802.html"   Type="article"   CiteSeer_Book="ACM   Letters   on   Programming   Languages   and   Systems"   CiteSeer_Volume="1"   Title="Undecidability   of   Static   Analysis,">

            <identifier   Org="ISBN:0769511015"   Paper_ID="/319802.html"   Extracted="0769511015"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/319802.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/319802.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/319802.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:1581139101"   Paper_ID="/319802.html"   Extracted="1581139101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/319802.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540208135"   Paper_ID="/319802.html"   Extracted="3540208135"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540229876"   Paper_ID="/319802.html"   Extracted="3540229876"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540422064"   Paper_ID="/319802.html"   Extracted="3540422064"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540426620"   Paper_ID="/319802.html"   Extracted="3540426620"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540433694"   Paper_ID="/319802.html"   Extracted="3540433694"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/319802.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354066954X"   Paper_ID="/319802.html"   Extracted="354066954X"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540699716"   Paper_ID="/319802.html"   Extracted="3540699716"   />

            <identifier   Org="ISBN:3540725202"   Paper_ID="/319802.html"   Extracted="3540725202"   />

            <identifier   Org="ISBN:3540743197"   Paper_ID="/319802.html"   Extracted="3540743197"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:9810245009"   Paper_ID="/319802.html"   Extracted="9810245009"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/41795.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   1992   ACM   International   Conference   on   Supercomputing"   CiteSeer_Volume=""   Title="Array   Privatization   for   Parallel   Execution   of   Loops,">

            <identifier   Org="ISBN:0471139580"   Paper_ID="/41795.html"   Extracted="0471139580"   />

            <identifier   Org="ISBN:0780325540"   Paper_ID="/41795.html"   Extracted="0780325540"   />

            <identifier   Org="ISBN:0818656026"   Paper_ID="/41795.html"   Extracted="0818656026"   />

            <identifier   Org="ISBN:0818678763"   Paper_ID="/41795.html"   Extracted="0818678763"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/41795.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:0897919068"   Paper_ID="/41795.html"   Extracted="0897919068"   DDC="005.2/75"   Normalized_DDC="005275"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540297359"   Paper_ID="/41795.html"   Extracted="3540297359"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540411852"   Paper_ID="/41795.html"   Extracted="3540411852"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540419454"   Paper_ID="/41795.html"   Extracted="3540419454"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354060765X"   Paper_ID="/41795.html"   Extracted="354060765X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540657177"   Paper_ID="/41795.html"   Extracted="3540657177"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354067263X"   Paper_ID="/41795.html"   Extracted="354067263X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540693297"   Paper_ID="/41795.html"   Extracted="3540693297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/114098.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Conference   on   Programming   Language   Design   and   Implementation   PLDI"   CiteSeer_Volume=""   Title="A   safe   approximate   algorithm   for   interprocedural   pointer   aliasing,">

            <identifier   Org="ISBN:084931240X"   Paper_ID="/114098.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0897916972"   Paper_ID="/114098.html"   Extracted="0897916972"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/114098.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1595930906"   Paper_ID="/114098.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/114098.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540307818"   Paper_ID="/114098.html"   Extracted="3540307818"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354041861X"   Paper_ID="/114098.html"   Extracted="354041861X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354043674X"   Paper_ID="/114098.html"   Extracted="354043674X"   DDC="004.1/1"   Normalized_DDC="00411"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354060765X"   Paper_ID="/114098.html"   Extracted="354060765X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540610537"   Paper_ID="/114098.html"   Extracted="3540610537"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540630910"   Paper_ID="/114098.html"   Extracted="3540630910"   DDC="005.453"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540650148"   Paper_ID="/114098.html"   Extracted="3540650148"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/114098.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540671021"   Paper_ID="/114098.html"   Extracted="3540671021"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/114098.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540696083"   Paper_ID="/114098.html"   Extracted="3540696083"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540733671"   Paper_ID="/114098.html"   Extracted="3540733671"   />

      </rec>

      <rec   ID="/146659.html"   Type="article"   CiteSeer_Book="RealTime   Systems"   CiteSeer_Volume="13"   Title="Computing   Maximum   Task   Execution   Times   -   A   Graph-Based   Approach,">

            <identifier   Org="ISBN:0387096604"   Paper_ID="/146659.html"   Extracted="0387096604"   />

            <identifier   Org="ISBN:0387393617"   Paper_ID="/146659.html"   Extracted="0387393617"   DDC="004.256"   Normalized_DDC="004256"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0769503063"   Paper_ID="/146659.html"   Extracted="0769503063"   />

            <identifier   Org="ISBN:0769519296"   Paper_ID="/146659.html"   Extracted="0769519296"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0769520545"   Paper_ID="/146659.html"   Extracted="0769520545"   />

            <identifier   Org="ISBN:0818680342"   Paper_ID="/146659.html"   Extracted="0818680342"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:142004382X"   Paper_ID="/146659.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1584886781"   Paper_ID="/146659.html"   Extracted="1584886781"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354000355X"   Paper_ID="/146659.html"   Extracted="354000355X"   DDC="004.6/5"   Normalized_DDC="00465"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540201459"   Paper_ID="/146659.html"   Extracted="3540201459"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354020864X"   Paper_ID="/146659.html"   Extracted="354020864X"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540310673"   Paper_ID="/146659.html"   Extracted="3540310673"   />

            <identifier   Org="ISBN:3540645365"   Paper_ID="/146659.html"   Extracted="3540645365"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540651101"   Paper_ID="/146659.html"   Extracted="3540651101"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540749632"   Paper_ID="/146659.html"   Extracted="3540749632"   />

            <identifier   Org="ISBN:3540774181"   Paper_ID="/146659.html"   Extracted="3540774181"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/4811.html"   Type="inproceedings"   CiteSeer_Book="SIGPLAN   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Data   Flow   Frequency   Analysis,">

            <identifier   Org="ISBN:0769513638"   Paper_ID="/4811.html"   Extracted="0769513638"   />

            <identifier   Org="ISBN:0818679778"   Paper_ID="/4811.html"   Extracted="0818679778"   DDC="005.6"   Normalized_DDC="0056"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0818680903"   Paper_ID="/4811.html"   Extracted="0818680903"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:084931240X"   Paper_ID="/4811.html"   Extracted="084931240X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:1581135882"   Paper_ID="/4811.html"   Extracted="1581135882"   />

            <identifier   Org="ISBN:354040788X"   Paper_ID="/4811.html"   Extracted="354040788X"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:354041861X"   Paper_ID="/4811.html"   Extracted="354041861X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540657193"   Paper_ID="/4811.html"   Extracted="3540657193"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540712283"   Paper_ID="/4811.html"   Extracted="3540712283"   />

            <identifier   Org="ISBN:3540725202"   Paper_ID="/4811.html"   Extracted="3540725202"   />

            <identifier   Org="ISBN:3540766367"   Paper_ID="/4811.html"   Extracted="3540766367"   />

      </rec>

      <rec   ID="/61793.html"   Type="article"   CiteSeer_Book="IEEE   Transactions   on   Software   Engineering"   CiteSeer_Volume="15"   Title="Reasoning   about   Time   in   Higher-Level   Language   Software,">

            <identifier   Org="ISBN:0130833487"   Paper_ID="/61793.html"   Extracted="0130833487"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818608943"   Paper_ID="/61793.html"   Extracted="0818608943"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818621125"   Paper_ID="/61793.html"   Extracted="0818621125"   DDC="001.64404"   Normalized_DDC="00164404"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818626852"   Paper_ID="/61793.html"   Extracted="0818626852"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818657103"   Paper_ID="/61793.html"   Extracted="0818657103"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/61793.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540236643"   Paper_ID="/61793.html"   Extracted="3540236643"   DDC="005.758"   Normalized_DDC="005758"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540281282"   Paper_ID="/61793.html"   Extracted="3540281282"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540308814"   Paper_ID="/61793.html"   Extracted="3540308814"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540309993"   Paper_ID="/61793.html"   Extracted="3540309993"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/61793.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/61793.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540563202"   Paper_ID="/61793.html"   Extracted="3540563202"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540604065"   Paper_ID="/61793.html"   Extracted="3540604065"   />

            <identifier   Org="ISBN:354067442X"   Paper_ID="/61793.html"   Extracted="354067442X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540676961"   Paper_ID="/61793.html"   Extracted="3540676961"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Data-Flow   Frameworks   for   Worst-Case   Execution   Time   Analysis">

            <identifier   Org="ISBN:1402071353"   Paper_ID="SELF"   Extracted="1402071353"   DDC="005.26"   Normalized_DDC="00526"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540011854"   Paper_ID="SELF"   Extracted="3540011854"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540403760"   Paper_ID="SELF"   Extracted="3540403760"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540660933"   Paper_ID="SELF"   Extracted="3540660933"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540676694"   Paper_ID="SELF"   Extracted="3540676694"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540686215"   Paper_ID="SELF"   Extracted="3540686215"   />

            <identifier   Org="ISBN:3540712283"   Paper_ID="SELF"   Extracted="3540712283"   />

      </rec>

</references_metadata>