Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Frédéric Haziza"'
Autor:
Martin Dahlö, Frédéric Haziza, Aleksi Kallio, Eija Korpelainen, Erik Bongcam-Rudloff, Ola Spjuth
Publikováno v:
Bioinformatics and Biology Insights, Vol 2015, Iss 9, Pp 125-128 (2015)
Externí odkaz:
https://doaj.org/article/425d84c54280483396e8ef107c3648f8
Autor:
Claudia Vasallo, Frédéric Haziza, Gemma Milla, Daniel Barrowdale, Manuel Rueda, Roberto Ariosa, Jordi Rambla, Carles Garcia-Linares, Silvia Bahena, Emilio Garcia-Rios, Babita Singh, Coline Thomas, Anand Mohan, Mallory A. Freeberg, Teresa D’Altri, Helen Parkinson, Aravind Sankar, Sabela de la Torre, Arcadi Navarro, Ashutosh Shimpi, Mauricio Moldes, Umuthan Uyan, Paul Flicek, Oscar Martinez Llobet, Bela Juhasz, Giselle Kerry, Dona Shaju, Marcos Casado Barbero, Dietmar Fernandez-Orth, Aina Jene, Lauren A Fromont, Roderic Guigó, Jorge Izquierdo Ciges, Thomas M. Keane, Anna Foix Romero
Publikováno v:
Nucleic Acids Research
The European Genome-phenome Archive (EGA - https://ega-archive.org/) is a resource for long term secure archiving of all types of potentially identifiable genetic, phenotypic, and clinical data resulting from biomedical research projects. Its mission
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63a9c48ae4c3d97e79556278e23735e1
http://europepmc.org/articles/PMC8728218
http://europepmc.org/articles/PMC8728218
Publikováno v:
Digital.CSIC. Repositorio Institucional del CSIC
instname
instname
[Motivation] Association studies based on SNP arrays and Next Generation Sequencing technologies have enabled the discovery of thousands of genetic loci related to human diseases. Nevertheless, their biological interpretation is still elusive, and th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1cce8f8e94e7aa65aac838f349584a68
http://hdl.handle.net/10261/218695
http://hdl.handle.net/10261/218695
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:825-825
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44a1ddc230be84a69b9319732833e499
https://doi.org/10.1007/s10009-021-00629-9
https://doi.org/10.1007/s10009-021-00629-9
Publikováno v:
International Journal on Software Tools for Technology Transfer. 19:549-563
We present a technique for automatically verifying safety properties of concurrent programs, in particular programs that rely on subtle dependencies of local states of different threads, such as lo ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::717790f8981bdce7d9d32aeece0db21e
https://doi.org/10.1007/s10009-016-0415-4
https://doi.org/10.1007/s10009-016-0415-4
Publikováno v:
International Journal on Software Tools for Technology Transfer. 18:495-516
We present a simple and efficient framework for automatic verification of systems with a parametric number of communicating processes. The processes may be organized in various topologies such as words, multisets, rings, or trees. Our method needs to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5868dae871cf7108f157efb079d13b6
https://doi.org/10.1007/s10009-015-0406-x
https://doi.org/10.1007/s10009-015-0406-x
Publikováno v:
ACM SIGARCH Computer Architecture News. 36:72-79
With the introduction of highly concurrent systems in standard desktop computers, ensuring correctness of industrial-size concurrent programs is becoming increasingly important. One of the most important standards in use for developing multi-threaded
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94a8e1c0c3aee373bb28750a1856bc79
https://doi.org/10.1145/1556444.1556454
https://doi.org/10.1145/1556444.1556454
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662491218
VMCAI
VMCAI
We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor's control whether or not the cell has been re-allocated. We e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1c8b41580952622d0780c004100498f
https://doi.org/10.1007/978-3-662-49122-5_19
https://doi.org/10.1007/978-3-662-49122-5_19
Autor:
Aleksi Kallio, Martin Dahlö, Erik Bongcam-Rudloff, Ola Spjuth, Frédéric Haziza, Eija Korpelainen
Publikováno v:
Bioinformatics and Biology Insights, Vol 9 (2015)
Bioinformatics and Biology Insights, Vol 2015, Iss 9, Pp 125-128 (2015)
Bioinformatics and Biology Insights
Bioinformatics and Biology Insights, Vol 2015, Iss 9, Pp 125-128 (2015)
Bioinformatics and Biology Insights
Virtualization is becoming increasingly important in bioscience, enabling assembly and provisioning of complete computer setups, including operating system, data, software, and services packaged as virtual machine images (VMIs). We present an open ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::981078c04d5c61d3556c56ae2f101331
https://doaj.org/article/d25e5d4c4848423685a2359d35d3b1c7
https://doaj.org/article/d25e5d4c4848423685a2359d35d3b1c7
Publikováno v:
Static Analysis ISBN: 9783319109350
SAS
Scopus-Elsevier
SAS
Scopus-Elsevier
We present a method for automatic verification of systems with a parameterized number of communicating processes, such as mutual exclusion protocols or agreement protocols. To that end, we present a powerful abstraction framework that uses an efficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ee29ce7d65a05147cc5cef2df8e36d9
https://doi.org/10.1007/978-3-319-10936-7_1
https://doi.org/10.1007/978-3-319-10936-7_1