Projects | João Lourençohttps://joaomlourenco.github.io/projects.htmlProjectsWowchemy (https://wowchemy.com)en-usMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.pngProjectshttps://joaomlourenco.github.io/projects.htmlHiPSTr — High Performance Software Transactions (LISBOA-01-0145-FEDER-032456 / PTDC/CCI-COM/32456/2017)https://joaomlourenco.github.io/projects/hipstr.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/projects/hipstr.htmlNG-STORAGE — New Generation of data STORage And manaGement systEms (PTDC/CCI-INF/32038/2017)https://joaomlourenco.github.io/projects/ng-storage.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/projects/ng-storage.htmlNGDeDuCe – Distributed Data Centric Concurrency Control (PTDC/CCI-COM/32166/2017)https://joaomlourenco.github.io/projects/ngdeduce.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/projects/ngdeduce.htmlSAMOA - Secure and Scalable Platform for Massive-scale Mobile Applications (PTDC/CCI-INF/32662/2017)https://joaomlourenco.github.io/projects/samoa-secure-and-scalable-platform-for-massive-scale-mobile-.htmlMon, 01 Jan 2018 00:00:00 +0000https://joaomlourenco.github.io/projects/samoa-secure-and-scalable-platform-for-massive-scale-mobile-.htmlHirax — Crowd-Sourcing Mobile Devices to Develop Edge Clouds (CMUP-ERI/ FIA/0048/2013)https://joaomlourenco.github.io/projects/hirax.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/projects/hirax.htmlRuntime Verification beyond Monitoring (ARVI), (IC Action IC1402)https://joaomlourenco.github.io/projects/runtime-verification-beyond-monitoring-arvi-ic-action-ic1402.htmlWed, 01 Jan 2014 00:00:00 +0000https://joaomlourenco.github.io/projects/runtime-verification-beyond-monitoring-arvi-ic-action-ic1402.htmlSwiftComp - Fast and Efficient Incremental Computation for Cloud Computing Environments (PTDC/EEI-SCR/1837/2012)https://joaomlourenco.github.io/projects/swiftcomp-fast-and-efficient-incremental-computation-for-clo.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/projects/swiftcomp-fast-and-efficient-incremental-computation-for-clo.htmlSyncFree — Large-Scale Computation without Synchronisation (609551)https://joaomlourenco.github.io/projects/syncfree.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/projects/syncfree.htmlTestPar — Parallel Testing of Concurrent Applicationshttps://joaomlourenco.github.io/projects/testpar.htmlTue, 01 Jan 2013 00:00:00 +0000https://joaomlourenco.github.io/projects/testpar.htmlRepComp — Replicated Components for Improved Performance or Reliability in Multi- core Systems (PTDC/EIA-EIA/108963/2008)https://joaomlourenco.github.io/projects/repcomp.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/projects/repcomp.htmlSynergy-VM — A Blueprint for the Next Generation Execution Environments (PTDC/EIA-EIA/113613/2009)https://joaomlourenco.github.io/projects/synergy-vm.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/projects/synergy-vm.htmlTransactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), (IC Action IC1001)https://joaomlourenco.github.io/projects/transactional-memories-foundations-algorithms-tools-and-appl.htmlFri, 01 Jan 2010 00:00:00 +0000https://joaomlourenco.github.io/projects/transactional-memories-foundations-algorithms-tools-and-appl.htmlByzantium — Efficient Byzantine Fault-tolerant Database Replication (PTDC/EIA/ 74325/2006)https://joaomlourenco.github.io/projects/byzantium.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/projects/byzantium.htmlVIRTU — Virtualization and Management of Application Appliances (PTDC/EIA- EIA/108963/2008)https://joaomlourenco.github.io/projects/virtu.htmlTue, 01 Jan 2008 00:00:00 +0000https://joaomlourenco.github.io/projects/virtu.htmlTools and Environments for Application Development in Grid Computing (Acção E-74/07)https://joaomlourenco.github.io/projects/tools-environments-grid-computing.htmlMon, 01 Jan 2007 00:00:00 +0000https://joaomlourenco.github.io/projects/tools-environments-grid-computing.htmlCurriculum development for High Performance Computing and Grid Computing — Development of a joint module in high performance computing and grid computing (CN/ASIA-LINK/020)https://joaomlourenco.github.io/projects/curriculum-development-high-performance-computing-grid.htmlSat, 01 Jan 2005 00:00:00 +0000https://joaomlourenco.github.io/projects/curriculum-development-high-performance-computing-grid.htmlPPTIRD — Keep in Touch: Parallel Processing Tools: Integration and Result Dissemination (INCO-Copernicus 977100)https://joaomlourenco.github.io/projects/pptird.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/projects/pptird.htmlSEIHPC — Stimulation of European Industry Through High-Performance Computing (CP-94-00774)https://joaomlourenco.github.io/projects/seihpc.htmlThu, 01 Jan 1998 00:00:00 +0000https://joaomlourenco.github.io/projects/seihpc.htmlSETNA-ParComp — Software Engineering Tools for Numerical Analysishttps://joaomlourenco.github.io/projects/setna-parcomp.htmlWed, 01 Jan 1997 00:00:00 +0000https://joaomlourenco.github.io/projects/setna-parcomp.htmlVisual Monitoring and Debugginghttps://joaomlourenco.github.io/projects/visual-monitoring-and-debugging.htmlWed, 01 Jan 1997 00:00:00 +0000https://joaomlourenco.github.io/projects/visual-monitoring-and-debugging.htmlVisual Programmin and Debugginghttps://joaomlourenco.github.io/projects/visual-programmin-and-debugging.htmlWed, 01 Jan 1997 00:00:00 +0000https://joaomlourenco.github.io/projects/visual-programmin-and-debugging.htmlPADIPRO — Parallel and Distributed Prolog Applicationshttps://joaomlourenco.github.io/projects/padipro.htmlSun, 01 Jan 1995 00:00:00 +0000https://joaomlourenco.github.io/projects/padipro.htmlPROLOPPE — Logic Programming with Extensionshttps://joaomlourenco.github.io/projects/proloppe.htmlSun, 01 Jan 1995 00:00:00 +0000https://joaomlourenco.github.io/projects/proloppe.htmlHPCTI — High Performance Computing Tools for Industry, (CP-93-5383)https://joaomlourenco.github.io/projects/hpcti.htmlSat, 01 Jan 1994 00:00:00 +0000https://joaomlourenco.github.io/projects/hpcti.htmlSEPP — Software Engineering for Parallel Processing (CIPA-C193-0251)https://joaomlourenco.github.io/projects/sepp.htmlSat, 01 Jan 1994 00:00:00 +0000https://joaomlourenco.github.io/projects/sepp.html