Publications
283 Entries
2015
-
Optimization of Continuous Queries in Federated Database and Stream Processing Systems , 2015, BTWResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers , 2015, In: Microprocessors and Microsystems. 2014, p. 191-198, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Parallel Symbolic Execution: Merging In-Flight Requests , 2015, Hardware and Software: Verification and Testing. Piterman, N. (ed.). Springer International Publishing, Vol. 9434. p. 120-135, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Resiliency-aware Data Compression for In-memory Database Systems , 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications. p. 326-331, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Safe Exception Handling with Transactional Memory , 2015, Transactional Memory. Foundations, Algorithms, Tools, and Applications. Guerraoui, R. & Romano, P. (eds.). Springer International Publishing, Vol. 8913. p. 245-267, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
2014
-
HardPaxos: Replication Hardened Against Hardware Errors , 1 Oct 2014, Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS'14). 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
PowerCass: Energy Efficient, Consisten Hashing Based Storage for Micro Clouds Based Infrastructure , 1 Jul 2014, IEEE 7th International Conference on Cloud Computing. IEEE Computational Intelligence Society (CIS), 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Adaptive Task Replication Strategy for Human Computation. , 2014, Brazilian Symposium on Computer Networks and Distributed Systems. IEEE, New York [u. a.], p. 249-257, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Framework for the Dynamic Evolution of Highly-available Dataflow Programs , 2014, Proceedings of the 15th International Middleware Conference. New York, NY, USA: ACM Press, p. 157-168, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Hardware Testbed for Dependable Software (Poster) , 2014, 12 p.Research output: Contribution to conferences > Paper