Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Teaching high-performance service in a cluster computing course
López, Pedro, Baydal, Elvira
Published in Journal of parallel and distributed computing (01.07.2018)
Published in Journal of parallel and distributed computing (01.07.2018)
Get full text
Journal Article
Local certification of graphs with bounded genus
Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Éric, Todinca, Ioan
Published in Discrete Applied Mathematics (30.01.2023)
Published in Discrete Applied Mathematics (30.01.2023)
Get full text
Journal Article
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Alglave, Jade, Maranget, Luc, Tautschnig, Michael
Published in ACM transactions on programming languages and systems (01.07.2014)
Published in ACM transactions on programming languages and systems (01.07.2014)
Get full text
Journal Article
Parallel numerical computation of an analytical method for solving an inverse problem
Nachaoui, Abdeljalil, Nachaoui, Mourad, Gasimov, Bayram
Published in Advanced mathematical models & applications (24.08.2021)
Get full text
Published in Advanced mathematical models & applications (24.08.2021)
Journal Article
The topology of local computing in networks
Fraigniaud, Pierre, Paz, Ami
Published in Journal of applied and computational topology (01.09.2024)
Published in Journal of applied and computational topology (01.09.2024)
Get full text
Journal Article
Parallel global optimization with the particle swarm algorithm
Schutte, J. F., Reinbolt, J. A., Fregly, B. J., Haftka, R. T., George, A. D.
Published in International journal for numerical methods in engineering (07.12.2004)
Published in International journal for numerical methods in engineering (07.12.2004)
Get full text
Journal Article
Uncertainty quantification through the Monte Carlo method in a cloud computing setting
Cunha, Americo, Nasser, Rafael, Sampaio, Rubens, Lopes, Hélio, Breitman, Karin
Published in Computer physics communications (01.05.2014)
Published in Computer physics communications (01.05.2014)
Get full text
Journal Article
Checkpointing Workflows for Fail-Stop Errors
Han, Li, Canon, Louis-Claude, Casanova, Henri, Robert, Yves, Vivien, Frederic
Published in IEEE transactions on computers (01.08.2018)
Published in IEEE transactions on computers (01.08.2018)
Get full text
Journal Article
Reordering Strategy for Blocking Optimization in Sparse Linear Solvers
Pichon, Gregoire, Faverge, Mathieu, Ramet, Pierre, Roman, Jean
Published in SIAM journal on matrix analysis and applications (01.01.2017)
Published in SIAM journal on matrix analysis and applications (01.01.2017)
Get full text
Journal Article
The uncertain cloud: State of the art and research challenges
Mezni, Haithem, Aridhi, Sabeur, Hadjali, Allel
Published in International journal of approximate reasoning (01.12.2018)
Published in International journal of approximate reasoning (01.12.2018)
Get full text
Journal Article
Robustness: A new form of heredity motivated by dynamic networks
Casteigts, Arnaud, Dubois, Swan, Petit, Franck, Robson, John M.
Published in Theoretical computer science (02.02.2020)
Published in Theoretical computer science (02.02.2020)
Get full text
Journal Article