<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Tiago Vale</style></author><author><style face="normal" font="default" size="100%">Ricardo J. Dias</style></author><author><style face="normal" font="default" size="100%">Silva, João A.</style></author><author><style face="normal" font="default" size="100%">João M. Lourenço</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Execução concorrente e determinista de transações</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of INForum Simpósio de Informática</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">INForum 2015</style></tertiary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Fotografia digital</style></keyword><keyword><style  face="normal" font="default" size="100%">Processamento de imagem</style></keyword><keyword><style  face="normal" font="default" size="100%">Sistema de apoio à decisão</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://docentes.fct.unl.pt/sites/default/files/joao-lourenco/files/inforum15-pot.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Covilhã, Portugal</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Neste artigo apresentamos um protocolo de controlo de concorrência que garante que a execução concorrente de transações é equivalente à sua execução sequencial por uma ordem predefinida. Isto permite executar programas que usam transações de forma determinista. O protocolo (1) permite, pela primeira vez, a execução determinista de programas que usam memória transacional por hardware; e (2) garante a execução determinista de programas que usam memória transacional por software com um desempenho claramente superior ao estado da arte.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record></records></xml>