Preguiça, Nuno, Rodrigo Rodrigues, Cristóvão Honorato, and João M. Lourenço. "
Byzantium: Byzantine-fault-tolerant database replication providing snapshot isolation."
Proceedings of the Fourth conference on Hot topics in system dependability. {HotDep}'08. Berkeley, CA, USA: USENIX Association, 2008. 9.
AbstractDatabase systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service despite unpredictable circumstances, such as software bugs or attacks. This paper presents the design of Byzantium, a Byzantine fault-tolerant database replication middleware that provides snapshot isolation (SI) semantics. SI is very popular because it allows increased concurrency when compared to serializability, while providing similar behavior for typical workloads. Thus, Byzantium improves on existing proposals by allowing increased concurrency and not relying on any centralized component. Our middleware can be used with off-the-shelf database systems and it is built on top of an existing BFT library.
Karlovich, Alexei Yu. "
Higher order asymptotic formulas for traces of Toeplitz matrices with symbols in Hölder-Zygmund spaces."
Recent Advances in Matrix and Operator Theory. Operator Theory: Advances and Applications, 179. Eds. Joseph A. Ball, Yuli Eidelman, William J. Helton, Vadim Olshevsky, and James Rovnyak. Basel: Bikhäuser, 2008. 185-196.
AbstractWe prove a higher order asymptotic formula for traces of finite block Toeplitz matrices with symbols belonging to Hölder-Zygmund spaces. The remainder in this formula goes to zero very rapidly for very smooth symbols. This formula refines previous asymptotic trace formulas by Szegő and Widom and complement higher order asymptotic formulas for determinants of finite block Toeplitz matrices due to Böttcher and Silbermann.
Reguengo, R., V. Lúcio, and C. Chastre Ligação Pilar - Fundação com Armaduras Salientes do Pilar, em Estruturas Pré-Fabricadas. 2º Congresso Nacional de Pré-Fabricação em Betão. Lisboa: ANIPB, 2008.
AbstractA ligação pilar-fundação tem um papel fundamental no comportamento das estruturas pré-fabricadas, em particular, na presença de acções horizontais, como a acção dos sismos e do vento, que introduzem esforços elevados na base dos pilares. Um dos sistemas de ligação pilar-fundação usados em estruturas pré-fabricadas consiste em deixar na extremidade inferior dos pilares armaduras salientes que são introduzidas em negativos executados nas fundações. Estes negativos são posteriormente injectados com grout para garantir a ligação. No presente trabalho foram estudadas diferentes soluções de negativos para ligação das armaduras do pilar à fundação, tendo sido realizados ensaios monotónicos para analisar o seu comportamento. Nesta comunicação apresentam-se e discutem-se os resultados obtidos da análise experimental efectuada.
Reguengo, R., V. Lúcio, and C. Chastre Ligação pilar – fundação com armaduras salientes do pilar, em estruturas pré-fabricadas – Ensaios monotónicos e ensaios cíclicos. Betão Estrutural 2008. Guimarães: UMinho, 2008.
AbstractA ligação pilar-fundação tem um papel fundamental no comportamento das estruturas pré-fabricadas,
em particular, na presença de acções horizontais, como a acção dos sismos e do vento. Um dos sistemas de ligação pilar-fundação usados em estruturas pré-fabricadas consiste em deixar na extremidade inferior dos pilares armaduras salientes que são introduzidas em negativos executados nas fundações, sejam elas sapatas ou maciços de encabeçamento de estacas. Estes negativos são posteriormente injectados com “grout” para garantir a ligação. Foram estudados diferentes soluções de negativos para ligação das armaduras do pilar na fundação. Foram realizados ensaios monotónicos e cíclicos, para analisar não só o comportamento às acções estáticas mas também para a acção sísmica. No presente trabalho apresentam-se os resultados obtidos com a análise experimental efectuada. O estudo realizado permite apresentar recomendações para projecto e quais os tipos de ligações com melhor desempenho.
Rodrigues, Neuza, António Ramos, and Fernando Branco. "
Rehabilitation of Historical Masonry Bridges."
1st International Conference Construction Heritage in Coastal and Marine Environments – Damage, Diagnostic, Maintenance and Rehabilitation. Ed. LNEC. Lisbon: LNEC, 2008. 1-10.
Abstract