HASLab - Artigos em atas de conferências internacionais (texto completo) : [407] Statistics

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 407
Issue DateTitleAuthor(s)TypeAccess
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
2015Practical evaluation of large scale applicationsJorge, Tiago; Maia, Francisco; Matos, Miguel Ângelo Marques, et al.Conference paperRestricted access (UMinho)
2015EpTO: An epidemic total order algorithm for large-scale distributed systemsMatos, Miguel Ângelo Marques; Mercier, Hugues; Felber, Pascal, et al.Conference paperRestricted access (UMinho)
2016Resource usage prediction in distributed key-value datastoresCruz, Francisco; Maia, Francisco; Matos, Miguel Ângelo Marques, et al.Conference paperRestricted access (UMinho)
2016Reducing data transfer in parallel processing of SQL window functionsCoelho, Fabio; Pereira, José; Vilaça, Ricardo Manuel Pereira, et al.Conference paperRestricted access (UMinho)
2016Holistic shuffler for the parallel processing of SQL window functionsCoelho, Fabio; Pereira, José; Vilaça, Ricardo Manuel Pereira, et al.Conference paperRestricted access (UMinho)
2016Design of an RDMA communication middleware for asynchronous shuffling in analytical processingGonçalves, Rui Carlos Araújo; Pereira, José; Jimenez-Peris, RicardoConference paperRestricted access (UMinho)
2016Design and implementation of the CloudMdsQL multistore systemKolev, Boyan; Bondiombouy, Carlyna; Levchenko, Oleksandra, et al.Conference paperRestricted access (UMinho)
2016Benchmarking polystores: the CloudMdsQL experienceKolev, Bovan; Pau, Raquel; Levchenko, Oleksandra, et al.Conference paperRestricted access (UMinho)
2016An RDMA middleware for asynchronous multi-stage shuffling in analytical processingGonçalves, Rui Carlos Araújo; Pereira, José; Jimenez-Peris, RicardoConference paperRestricted access (UMinho)
2017Similarity aware shuffling for the distributed execution of SQL window functionsCoelho, Fábio; Matos, Miguel Ângelo Marques; Pereira, José, et al.Conference paperRestricted access (UMinho)
2017Implementing a linear algebra approach to data processingPontes, Rogério; Matos, Miguel Ângelo Marques; Oliveira, José Nuno Fonseca, et al.Conference paperRestricted access (UMinho)
2017HTAPBench: Hybrid transactional and analytical processing benchmarkCoelho, Fábio; Paulo, João; Vilaça, Ricardo Manuel Pereira, et al.Conference paperRestricted access (UMinho)
2017DDFlasks: Deduplicated very large scale data storeMaia, Francisco; Paulo, João; Coelho, Fábio, et al.Conference paperRestricted access (UMinho)
13-Dec-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno, et al.Conference paperOpen access
17-Jul-2016Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio, et al.Conference paperOpen access
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaConference paperRestricted access (UMinho)
2014Efficient state-based CRDTs by decompositionAlmeida, Paulo Sérgio; Shoker, Ali; Baquero, CarlosConference paperOpen access
Jul-2016Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al.Conference paperOpen access
2015Exactly-once quantity transferShoker, Ali; Almeida, Paulo Sérgio; Baquero, CarlosConference paperOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 407