<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet type="text/xsl" href="static/style.xsl"?><OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd"><responseDate>2026-04-14T06:16:08Z</responseDate><request verb="GetRecord" identifier="oai:www.recercat.cat:2117/102595" metadataPrefix="qdc">https://recercat.cat/oai/request</request><GetRecord><record><header><identifier>oai:recercat.cat:2117/102595</identifier><datestamp>2026-01-24T04:14:02Z</datestamp><setSpec>com_2072_1033</setSpec><setSpec>col_2072_452950</setSpec></header><metadata><qdc:qualifieddc xmlns:qdc="http://dspace.org/qualifieddc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://purl.org/dc/elements/1.1/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dc.xsd http://purl.org/dc/terms/ http://dublincore.org/schemas/xmls/qdc/2006/01/06/dcterms.xsd http://dspace.org/qualifieddc/ http://www.ukoln.ac.uk/metadata/dcmi/xmlschema/qualifieddc.xsd">
   <dc:title>An efficient solver for Cache Miss Equations</dc:title>
   <dc:creator>Bermudo, Nerina</dc:creator>
   <dc:creator>Vera Rivera, Francisco Javier</dc:creator>
   <dc:creator>González Colás, Antonio María</dc:creator>
   <dc:creator>Llosa Espuny, José Francisco</dc:creator>
   <dc:subject>Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors</dc:subject>
   <dc:subject>Computational complexity</dc:subject>
   <dc:subject>Cache storage</dc:subject>
   <dc:subject>Storage management</dc:subject>
   <dc:subject>Complexitat computacional</dc:subject>
   <dcterms:abstract>Cache Miss Equations (CME) (S. Ghosh et al., 1997) is a method that accurately describes the cache behavior by means of polyhedra. Even though the computation cost of generating CME is a linear function of the number of references, solving them is a very time consuming task and thus trying to study a whole program may be infeasible. The paper presents effective techniques that exploit some properties of the particular polyhedra generated by CME. Such techniques reduce the complexity of the algorithm to solve CME, which results in a significant speedup when compared with traditional methods. In particular, the proposed approach does not require the computation of the vertices of each polyhedron, which has an exponential complexity</dcterms:abstract>
   <dcterms:abstract>Peer Reviewed</dcterms:abstract>
   <dcterms:abstract>Postprint (published version)</dcterms:abstract>
   <dcterms:issued>2000</dcterms:issued>
   <dc:type>Conference report</dc:type>
   <dc:relation>http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=842293</dc:relation>
   <dc:rights>Open Access</dc:rights>
   <dc:publisher>Institute of Electrical and Electronics Engineers (IEEE)</dc:publisher>
</qdc:qualifieddc></metadata></record></GetRecord></OAI-PMH>