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
<?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>