FC-DI - Technical Reports : [212] Página principal da colecção



The report series seeks scientific reports by members of the Department of Informatics, and include pre-print versions of journal articles, full versions of conference articles, preliminary versions of submissions to conferences and journals, etc.
Collections of articles should be submitted as Workshop Proceedings and not as Technical Report (TR).

Browse
Active um alerta nesta colecção para receber notificações por correio electrónico de novos registos RSS Feed RSS Feed RSS Feed
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 1 até 20 de 212
DataTítuloAutor(es)TipoAcesso
Jul-2017Manual de Instalação do Conector SQL Server 2008 para o intermediário KafkaF. Silva, Ivo; C. Teixeira, CarlosreportopenAccess
Nov-2017Manual de Instalação do Conector MySQL v5.7.6 para o intermediário KafkaF. Silva, Ivo; C. Teixeira, CarlosreportopenAccess
Jul-2017Sistemas de Informação do Registo Oncológico Nacional: situação atual e direções para o futuroC. Teixeira, CarlosreportopenAccess
22-Nov-2016Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register EmulationsTiago, Oliveira; Ricardo, Mendes; Alysson, BessaniarticleopenAccess
2016Exploratory Apprenticeship in the Digital Age with AI ToolsCoelho, Helder; Thompsen Primo, TiagoreportopenAccess
1-Set-2015CINTIL DependencyBank PREMIUM Handbook: Design options for the representation of grammatical dependenciesBranco, António; Silva, João; Querido, Andreia; Carvalho, RitareportopenAccess
Jul-2015Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State MachinesSousa, João; Bessani, AlyssonreportopenAccess
29-Out-2014Type-Based Verification of Message-Passing Parallel ProgramsVasconcelos, Vasco T.; Martins, Francisco; Marques, Eduardo R. B.; López, Hugo A.; Santos, César; Yoshida, NobukoreportOpen Access
23-Out-2014Protocol-based verification of MPI programsMarques, Eduardo R. B.; Martins, Francisco; Vasconcelos, Vasco T.; Santos, César; Ng, Nicholas; Yoshida, NobukoreportOpen Access
16-Set-2014Information Flow within Relational Multi-context SystemsGaspar, Graça; Nunes, Isabel; Cruz-Filipe, Luísreport-
12-Mai-2014Consistency Anchor Formalization and Correctness ProofsMiguel, Correia; Bessani, AlyssonreportopenAccess
8-Nov-2013State Machine Replication for the Masses with BFT-SMaRtSousa, João; Alchieri, Eduardo; Bessani, AlyssonreportopenAccess
27-Set-2013FCUL Rally Pro 2013Mariano, Pedro; Ramos, Fernando M. V.; Vieira, HugoreportopenAccess
18-Abr-2013Viewing dl-programs as multi-context systemsHenriques, Rita; Nunes, Isabel; Cruz-Filipe, LuísreportopenAccess
27-Fev-2013Automated Identification and Classification of Stereochemistry: Chirality and Double Bond StereoisomerismLeal, João P.; Falcao, Andre O.; Teixeira, Ana L.reportopenAccess
2-Fev-2013Benchmarking some Portuguese S&T system research units: 2nd EditionCouto, Francisco M; Faria, Daniel; Tavares, Bruno; Gonçalves, Pedro; Verissimo, PauloreportopenAccess
31-Jan-2013ThermInfo: Collecting, Retrieving, and Estimating Reliable Thermochemical DataTeixeira, Ana L.; Santos, Rui C.; Leal, João P.; Martinho Simões, José A.; Falcao, Andre OreportopenAccess
17-Jan-2013Characterization of Network Inaccessibility in IEEE 802.15.4 Wireless NetworksRufino, José; Souza, Jeferson Luiz RodriguesreportopenAccess
28-Dez-2012Towards Compositional Hierarchical Scheduling Frameworks on Uniform MultiprocessorsCraveiro, João Pedro; Rufino, Joséreport; workingPaperopenAccess
31-Out-2012Proof Nets as ProcessesMostrous, DimitrisreportopenAccess
Items da Coleção (Ordenados por Data de depósito em ordem descendente): 1 até 20 de 212