Warning: Full texts from electronic resources are only available from the university network. You are currently outside this network. Please log in to access full texts
Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Domain-Aware Session Types (Extended Version)
Caires, Luís, Pérez, Jorge A, Pfenning, Frank, Toninho, Bernardo
Published in arXiv.org (02.07.2019)
Get full text
Published in arXiv.org (02.07.2019)
Paper
YAC: BFT Consensus Algorithm for Blockchain
Muratov, Fedor, Lebedev, Andrei, Iushkevich, Nikolai, Bulat Nasrulin, Takemiya, Makoto
Published in arXiv.org (03.09.2018)
Get full text
Published in arXiv.org (03.09.2018)
Paper
Simulating a Shared Register in a System that Never Stops Changing
Attiya, Hagit, Chung, Hyun Chul, Faith, Ellen, Kumar, Saptaparni, Welch, Jennifer L
Published in arXiv.org (10.08.2017)
Get full text
Published in arXiv.org (10.08.2017)
Paper
Performance Modelling of Complex Dynamic Production Systems Using Temporised Object-Oriented Petri Nets with Changeable Structure (TOPNs-CS)
Jiang, Z., Zuo, M. J., Fung, R. Y. K., Yiliu Tu, P.
Published in International journal of advanced manufacturing technology (01.01.2000)
Published in International journal of advanced manufacturing technology (01.01.2000)
Get full text
Journal Article
Network intermediate system with message passing architecture
SEAMAN; MICHAEL J, MALLORY; TRACY D, ISFELD; MARK S, ARUNKUMAR; NAGARAJ, MITCHELL; BRUCE W
Year of Publication 07.01.1997
Get full text
Year of Publication 07.01.1997
Patent
Privacy-Preserving Access Control in Publicly Readable Storage Systems
Bosk, Daniel, Buchegger, Sonja
Published in Privacy and Identity Management. Time for a Revolution? (2016)
Published in Privacy and Identity Management. Time for a Revolution? (2016)
Get full text
Book Chapter
Conference Proceeding
Improved GROMACS algorithms using the MPI parallelization
Goga, Nicolae, Marin, Iuliana, Vasilateanu, Andrei, Pavaloiu, Ionel-Bujorel, Kadiri, Kamoru Oluwatoyin, Awodele, Oludele
Published in 2015 E-Health and Bioengineering Conference (EHB) (01.11.2015)
Published in 2015 E-Health and Bioengineering Conference (EHB) (01.11.2015)
Get full text
Conference Proceeding
The concept of "stability" in asynchronous distributed decision-making systems
Lee, T.S., Ghosh, S.
Published in IEEE transactions on systems, man and cybernetics. Part B, Cybernetics (01.08.2000)
Published in IEEE transactions on systems, man and cybernetics. Part B, Cybernetics (01.08.2000)
Get full text
Journal Article
Real-Time Face Detection and Tracking Utilising OpenMP and ROS
Tusa, Eduardo, Akbarinia, Arash, Gil Rodriguez, Raquel, Barbalata, Corina
Published in 2015 Asia-Pacific Conference on Computer Aided System Engineering (01.07.2015)
Published in 2015 Asia-Pacific Conference on Computer Aided System Engineering (01.07.2015)
Get full text
Conference Proceeding
An efficient Monte Carlo approach for optimizing decentralized estimation networks constrained by undirected topologies
Uney, M., Cetin, M.
Published in 2009 IEEE/SP 15th Workshop on Statistical Signal Processing (01.08.2009)
Published in 2009 IEEE/SP 15th Workshop on Statistical Signal Processing (01.08.2009)
Get full text
Conference Proceeding
Protocol Verification in a Theory of Action
Hunter, Aaron, Delgrande, James P., McBride, Ryan
Published in Advances in Artificial Intelligence (2013)
Published in Advances in Artificial Intelligence (2013)
Get full text
Book Chapter
Adaptive MAC Protocols Using Memory for Networks with Critical Traffic
Get full text
Paper
Journal Article