Automatically assigned DDC number: 00424

Manually assigned DDC number: 00424

Number of references: 16

Title: Formal Verification and Analysis of Multimedia Systems

Author:

Author:

Author:

Author:

Subject: Berthier Ribeiro-neto,Autran Macedo,Luciano Bertini,Minas Gerais Brasil Formal Verification and Analysis of Multimedia Systems

Description: Multimedia systems such as video-on-demand (VOD) servers are time critical systems. These systems have strict response times, which implies that a delayed response can have serious consequence. For instance, in the case of a VOD server, an immediate consequence of a delayed response time can be user dissatisfaction, what can ultimately lead to the end of a business based on this system. Therefore, analysis and verification of timing properties of multimedia systems is an important problem. To verify if time critical systems satisfy their time bounds, we discuss the use of formal methods tools, in the verification and analysis of multimedia systems. We have used Verus (a formal verification tool) to model and analyze the ALMADEM-VOD server, a component of a true video-on-demand system. The modeling of this server in Verus has provided great insight into its design and its dynamic behavior. Using the quantitative estimates provided by Verus, we have determined performance bounds to the s...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1970-01-01

Pubyear: 1999

Format: ps

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

Source: http://www.kom.e-technik.tu-darmstadt.de/acmmm99/ep/campos/campos.ps

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="/352182.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Staggered   striping   in   multimedia   information   systems,">

            <identifier   Org="ISBN:0792378180"   Paper_ID="/352182.html"   Extracted="0792378180"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792379799"   Paper_ID="/352182.html"   Extracted="0792379799"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792380746"   Paper_ID="/352182.html"   Extracted="0792380746"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792381815"   Paper_ID="/352182.html"   Extracted="0792381815"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792397126"   Paper_ID="/352182.html"   Extracted="0792397126"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792397649"   Paper_ID="/352182.html"   Extracted="0792397649"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:081867105X"   Paper_ID="/352182.html"   Extracted="081867105X"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:081867475X"   Paper_ID="/352182.html"   Extracted="081867475X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0818678194"   Paper_ID="/352182.html"   Extracted="0818678194"   />

            <identifier   Org="ISBN:0818678496"   Paper_ID="/352182.html"   Extracted="0818678496"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0818683899"   Paper_ID="/352182.html"   Extracted="0818683899"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0849318580"   Paper_ID="/352182.html"   Extracted="0849318580"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0897916395"   Paper_ID="/352182.html"   Extracted="0897916395"   />

            <identifier   Org="ISBN:1558604308"   Paper_ID="/352182.html"   Extracted="1558604308"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1558606513"   Paper_ID="/352182.html"   Extracted="1558606513"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1581131461"   Paper_ID="/352182.html"   Extracted="1581131461"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1878289845"   Paper_ID="/352182.html"   Extracted="1878289845"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540433589"   Paper_ID="/352182.html"   Extracted="3540433589"   DDC="621.3815/422"   Normalized_DDC="6213815422"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540438939"   Paper_ID="/352182.html"   Extracted="3540438939"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540651071"   Paper_ID="/352182.html"   Extracted="3540651071"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/311874.html"   Type="article"   CiteSeer_Book="ieeetc"   CiteSeer_Volume="C35"   Title="Graph-Based   Algorithms   for   {B}oolean   Function   Manipulation,"   />

      <rec   ID="/19422.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Fifth   Annual   IEEE   Symposium   on   Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="{S}ymbolic   {M}odel   {C}hecking:   $10^{20}$   {S}tates   and   {B}eyond,"   />

      <rec   ID="/125089.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Timing   analysis   of   industrial   real-time   systems,">

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

            <identifier   Org="ISBN:0471184063"   Paper_ID="/125089.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0780343921"   Paper_ID="/125089.html"   Extracted="0780343921"   />

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

            <identifier   Org="ISBN:0818670053"   Paper_ID="/125089.html"   Extracted="0818670053"   DDC="005.1/2/028"   Normalized_DDC="00512028"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/125089.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.2"   />

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

      </rec>

      <rec   ID="/126858.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   IEEE   International   Conference   on   Computer   Design   ICCD   95"   CiteSeer_Volume=""   Title="{V}erifying   the   {P}erformance   of   the   {PCI}   {L}ocal   {B}us   using   {S}ymbolic   {T}echniques,"   />

      <rec   ID="/188852.html"   Type="inproceedings"   CiteSeer_Book="Workshop   on   Languages   Compilers      Tools   for   RealTime   Systems"   CiteSeer_Volume=""   Title="Verus:   A   Tool   for   Quantitative   Analysis   of   Finite-State   Real-Time   Systems,">

            <identifier   Org="ISBN:0201440997"   Paper_ID="/188852.html"   Extracted="0201440997"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0262032708"   Paper_ID="/188852.html"   Extracted="0262032708"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0471184063"   Paper_ID="/188852.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:076950387X"   Paper_ID="/188852.html"   Extracted="076950387X"   />

            <identifier   Org="ISBN:0818677864"   Paper_ID="/188852.html"   Extracted="0818677864"   DDC="620.0042"   Normalized_DDC="6200042"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:1852337109"   Paper_ID="/188852.html"   Extracted="1852337109"   DDC="629.45/84/09"   Normalized_DDC="629458409"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1852337281"   Paper_ID="/188852.html"   Extracted="1852337281"   DDC="004.019"   Normalized_DDC="004019"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/188852.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/188852.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/188852.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

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

      </rec>

      <rec   ID="/182742.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   RealTime   Systems   Symposium"   CiteSeer_Volume=""   Title="Computing   Quantitative   Characteristics   of   Finite-State   Real-Time   Systems,">

            <identifier   Org="ISBN:0471184063"   Paper_ID="/182742.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:076950387X"   Paper_ID="/182742.html"   Extracted="076950387X"   />

            <identifier   Org="ISBN:0780331257"   Paper_ID="/182742.html"   Extracted="0780331257"   />

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

            <identifier   Org="ISBN:0818670053"   Paper_ID="/182742.html"   Extracted="0818670053"   DDC="005.1/2/028"   Normalized_DDC="00512028"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1402080514"   Paper_ID="/182742.html"   Extracted="1402080514"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540001999"   Paper_ID="/182742.html"   Extracted="3540001999"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540253041"   Paper_ID="/182742.html"   Extracted="3540253041"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/182742.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/182742.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/182742.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/182742.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/182742.html"   Extracted="3540660100"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/182742.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/429561.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="Selective   quantitative   analysis   and   interval   model   checking:   Verifying   different   facets   of   a   System,">

            <identifier   Org="ISBN:076950387X"   Paper_ID="/429561.html"   Extracted="076950387X"   />

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

            <identifier   Org="ISBN:3540418652"   Paper_ID="/429561.html"   Extracted="3540418652"   DDC="004.2/11"   Normalized_DDC="004211"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/429561.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/429561.html"   Extracted="3540631666"   />

      </rec>

      <rec   ID="/456820.html"   Type="inproceedings"   CiteSeer_Book="ACM   Multimedia"   CiteSeer_Volume=""   Title="Disk   Striping   Strategies   for   Large   Video-on-Demand   Servers,">

            <identifier   Org="ISBN:0201322323"   Paper_ID="/456820.html"   Extracted="0201322323"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0470091037"   Paper_ID="/456820.html"   Extracted="0470091037"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0818682272"   Paper_ID="/456820.html"   Extracted="0818682272"   />

            <identifier   Org="ISBN:0849318254"   Paper_ID="/456820.html"   Extracted="0849318254"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1558604707"   Paper_ID="/456820.html"   Extracted="1558604707"   />

            <identifier   Org="ISBN:1581130368"   Paper_ID="/456820.html"   Extracted="1581130368"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1599042258"   Paper_ID="/456820.html"   Extracted="1599042258"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540433589"   Paper_ID="/456820.html"   Extracted="3540433589"   DDC="621.3815/422"   Normalized_DDC="6213815422"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/456820.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540671528"   Paper_ID="/456820.html"   Extracted="3540671528"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540745726"   Paper_ID="/456820.html"   Extracted="3540745726"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:9810231075"   Paper_ID="/456820.html"   Extracted="9810231075"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/297323.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eighth   International   Conference   on   Computer   Aided   Verification   CAV"   CiteSeer_Volume=""   Title="The   Concurrency   Factory:   a   Development   Environment   for   concurrent   Systems,">

            <identifier   Org="ISBN:0262032708"   Paper_ID="/297323.html"   Extracted="0262032708"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540410201"   Paper_ID="/297323.html"   Extracted="3540410201"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/297323.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/297323.html"   Extracted="3540631666"   DDC="004.24015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/297323.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540650121"   Paper_ID="/297323.html"   Extracted="3540650121"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/297323.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354066579X"   Paper_ID="/297323.html"   Extracted="354066579X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/38499.html"   Type="inproceedings"   CiteSeer_Book="ACM   Multimedia"   CiteSeer_Volume=""   Title="Proving   Temporal   Consistency   in   a   New   Multimedia   Synchronization   Model,">

            <identifier   Org="ISBN:0201309904"   Paper_ID="/38499.html"   Extracted="0201309904"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0412847604"   Paper_ID="/38499.html"   Extracted="0412847604"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0769513158"   Paper_ID="/38499.html"   Extracted="0769513158"   />

            <identifier   Org="ISBN:0780365364"   Paper_ID="/38499.html"   Extracted="0780365364"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0824727274"   Paper_ID="/38499.html"   Extracted="0824727274"   />

            <identifier   Org="ISBN:084937006X"   Paper_ID="/38499.html"   Extracted="084937006X"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1558606513"   Paper_ID="/38499.html"   Extracted="1558606513"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1586034979"   Paper_ID="/38499.html"   Extracted="1586034979"   />

            <identifier   Org="ISBN:1930708009"   Paper_ID="/38499.html"   Extracted="1930708009"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540201750"   Paper_ID="/38499.html"   Extracted="3540201750"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540642986"   Paper_ID="/38499.html"   Extracted="3540642986"   DDC="686.2/2544"   Normalized_DDC="68622544"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540643591"   Paper_ID="/38499.html"   Extracted="3540643591"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354064556X"   Paper_ID="/38499.html"   Extracted="354064556X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540667113"   Paper_ID="/38499.html"   Extracted="3540667113"   DDC="005.7"   Normalized_DDC="0057"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/38499.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/123606.html"   Type="inproceedings"   CiteSeer_Book="Measurement   and   Modeling   of   Computer   Systems"   CiteSeer_Volume=""   Title="On   Configuring   a   Single   Disk   Continuous   Media   Server,">

            <identifier   Org="ISBN:0201322323"   Paper_ID="/123606.html"   Extracted="0201322323"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0470091037"   Paper_ID="/123606.html"   Extracted="0470091037"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0769502539"   Paper_ID="/123606.html"   Extracted="0769502539"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0769519113"   Paper_ID="/123606.html"   Extracted="0769519113"   />

            <identifier   Org="ISBN:0792378180"   Paper_ID="/123606.html"   Extracted="0792378180"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792380118"   Paper_ID="/123606.html"   Extracted="0792380118"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792380746"   Paper_ID="/123606.html"   Extracted="0792380746"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792397649"   Paper_ID="/123606.html"   Extracted="0792397649"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818674695"   Paper_ID="/123606.html"   Extracted="0818674695"   />

            <identifier   Org="ISBN:0818683899"   Paper_ID="/123606.html"   Extracted="0818683899"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818686766"   Paper_ID="/123606.html"   Extracted="0818686766"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897916956"   Paper_ID="/123606.html"   Extracted="0897916956"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1558603794"   Paper_ID="/123606.html"   Extracted="1558603794"   />

            <identifier   Org="ISBN:1558604308"   Paper_ID="/123606.html"   Extracted="1558604308"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1878289845"   Paper_ID="/123606.html"   Extracted="1878289845"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540001956"   Paper_ID="/123606.html"   Extracted="3540001956"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540419993"   Paper_ID="/123606.html"   Extracted="3540419993"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540433589"   Paper_ID="/123606.html"   Extracted="3540433589"   DDC="621.3815/422"   Normalized_DDC="6213815422"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540587101"   Paper_ID="/123606.html"   Extracted="3540587101"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/106034.html"   Type="inproceedings"   CiteSeer_Book="IEEE   RealTime   Systems   Symposium"   CiteSeer_Volume=""   Title="HyTech:   The   Next   Generation,">

            <identifier   Org="ISBN:0769504590"   Paper_ID="/106034.html"   Extracted="0769504590"   />

            <identifier   Org="ISBN:0780331214"   Paper_ID="/106034.html"   Extracted="0780331214"   />

            <identifier   Org="ISBN:0780331990"   Paper_ID="/106034.html"   Extracted="0780331990"   />

            <identifier   Org="ISBN:0780355008"   Paper_ID="/106034.html"   Extracted="0780355008"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780366131"   Paper_ID="/106034.html"   Extracted="0780366131"   />

            <identifier   Org="ISBN:3540238417"   Paper_ID="/106034.html"   Extracted="3540238417"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540251081"   Paper_ID="/106034.html"   Extracted="3540251081"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540278826"   Paper_ID="/106034.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540308075"   Paper_ID="/106034.html"   Extracted="3540308075"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/106034.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354043321X"   Paper_ID="/106034.html"   Extracted="354043321X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540441573"   Paper_ID="/106034.html"   Extracted="3540441573"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/106034.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:3540653848"   Paper_ID="/106034.html"   Extracted="3540653848"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/106034.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/106034.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/106034.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540688463"   Paper_ID="/106034.html"   Extracted="3540688463"   />

      </rec>

      <rec   ID="/328445.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="20"   Title="Scheduling   Algorithms   for   Multiprogramming   in   a   Hard-Real-Time   Environment,">

            <identifier   Org="ISBN:0387231374"   Paper_ID="/328445.html"   Extracted="0387231374"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0387301623"   Paper_ID="/328445.html"   Extracted="0387301623"   DDC="518.103"   Normalized_DDC="518103"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792381599"   Paper_ID="/328445.html"   Extracted="0792381599"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0792382692"   Paper_ID="/328445.html"   Extracted="0792382692"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818608196"   Paper_ID="/328445.html"   Extracted="0818608196"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

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

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

            <identifier   Org="ISBN:1402052626"   Paper_ID="/328445.html"   Extracted="1402052626"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402062532"   Paper_ID="/328445.html"   Extracted="1402062532"   />

            <identifier   Org="ISBN:1558606513"   Paper_ID="/328445.html"   Extracted="1558606513"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1558607021"   Paper_ID="/328445.html"   Extracted="1558607021"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1584883979"   Paper_ID="/328445.html"   Extracted="1584883979"   DDC="658.5/3/0151"   Normalized_DDC="658530151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540404562"   Paper_ID="/328445.html"   Extracted="3540404562"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540410554"   Paper_ID="/328445.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/328445.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540643591"   Paper_ID="/328445.html"   Extracted="3540643591"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540657037"   Paper_ID="/328445.html"   Extracted="3540657037"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

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

            <identifier   Org="ISBN:9051990413"   Paper_ID="/328445.html"   Extracted="9051990413"   />

      </rec>

      <rec   ID="/108844.html"   Type="article"   CiteSeer_Book="Multimedia   Systems"   CiteSeer_Volume="4"   Title="On   the   Design   of   a   Low-Cost   Video-on-Demand   Storage   System,">

            <identifier   Org="ISBN:0471139467"   Paper_ID="/108844.html"   Extracted="0471139467"   DDC="621.3/03"   Normalized_DDC="621303"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0769505686"   Paper_ID="/108844.html"   Extracted="0769505686"   />

            <identifier   Org="ISBN:0792397843"   Paper_ID="/108844.html"   Extracted="0792397843"   DDC="006.6"   Normalized_DDC="0066"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:081867475X"   Paper_ID="/108844.html"   Extracted="081867475X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818678089"   Paper_ID="/108844.html"   Extracted="0818678089"   />

            <identifier   Org="ISBN:0818683899"   Paper_ID="/108844.html"   Extracted="0818683899"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818686030"   Paper_ID="/108844.html"   Extracted="0818686030"   />

            <identifier   Org="ISBN:0818686766"   Paper_ID="/108844.html"   Extracted="0818686766"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0897919106"   Paper_ID="/108844.html"   Extracted="0897919106"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0897919963"   Paper_ID="/108844.html"   Extracted="0897919963"   />

            <identifier   Org="ISBN:1581130368"   Paper_ID="/108844.html"   Extracted="1581130368"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1599042258"   Paper_ID="/108844.html"   Extracted="1599042258"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540001956"   Paper_ID="/108844.html"   Extracted="3540001956"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540209549"   Paper_ID="/108844.html"   Extracted="3540209549"   DDC="004.67/8"   Normalized_DDC="004678"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540222626"   Paper_ID="/108844.html"   Extracted="3540222626"   DDC="518/.1"   Normalized_DDC="5181"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540433589"   Paper_ID="/108844.html"   Extracted="3540433589"   DDC="621.3815/422"   Normalized_DDC="6213815422"   Normalized_Weight="0.08333333333333333"   />

      </rec>

      <rec   ID="/20329.html"   Type="inproceedings"   CiteSeer_Book="ACM   Multimedia"   CiteSeer_Volume=""   Title="Performance   Analysis   of   the   {RIO}   Multimedia   Storage   System   with   Heterogeneous   Disk   Configurations,">

            <identifier   Org="ISBN:0201309904"   Paper_ID="/20329.html"   Extracted="0201309904"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0470091037"   Paper_ID="/20329.html"   Extracted="0470091037"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:084937006X"   Paper_ID="/20329.html"   Extracted="084937006X"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581133944"   Paper_ID="/20329.html"   Extracted="1581133944"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581135122"   Paper_ID="/20329.html"   Extracted="1581135122"   DDC="006.5"   Normalized_DDC="0065"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:158113620X"   Paper_ID="/20329.html"   Extracted="158113620X"   />

            <identifier   Org="ISBN:1591405467"   Paper_ID="/20329.html"   Extracted="1591405467"   DDC="006"   Normalized_DDC="006"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1880446006"   Paper_ID="/20329.html"   Extracted="1880446006"   />

            <identifier   Org="ISBN:3540002448"   Paper_ID="/20329.html"   Extracted="3540002448"   DDC="025.04"   Normalized_DDC="02504"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540253343"   Paper_ID="/20329.html"   Extracted="3540253343"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354042623X"   Paper_ID="/20329.html"   Extracted="354042623X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540442529"   Paper_ID="/20329.html"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540768351"   Paper_ID="/20329.html"   Extracted="3540768351"   />

            <identifier   Org="ISBN:3540888705"   Paper_ID="/20329.html"   Extracted="3540888705"   />

            <identifier   Org="ISBN:9812383697"   Paper_ID="/20329.html"   Extracted="9812383697"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Formal   Verification   and   Analysis   of   Multimedia   Systems">

            <identifier   Org="ISBN:3540442529"   Paper_ID="SELF"   Extracted="3540442529"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="1.0"   />

      </rec>

</references_metadata>

www.000webhost.com