Zobrazeno 1 - 10 of 39 pro vyhledávání: '"Gerd Behrmann"'
1
Storage for Advanced Scientific Use-Cases and Beyond
Autor: Albert Rossi, Jürgen Starek, Paul Millar, Vincent Garonne, Dmitry Litvinsev, Tigran Mkrtchyan, Marina Sahakyan, Patrick Fuhrmann, Gerd Behrmann, Olufemi Segun Adeyemi
Publikováno v: 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)
PDP
The dCache project provides open-source storage software deployed internationally to satisfy ever more demanding scientific storage requirements. Its multifaceted approach provides an integrated way of supporting different use-cases with the same sto
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fbb4ff030150e4ccec83ef7f4a9b7b38
Zobrazit plný text záznamu
2
dCache on Steroids - Delegated Storage Solutions
Autor: Jürgen Starek, Dmitry Litvintsev, Gerd Behrmann, F. Adeyemi, Marina Sahakyan, Paul Millar, Albert Rossi, Tigran Mkrtchyan, A. Ashish, Patrick Fuhrmann
Publikováno v: Journal of physics / Conference Series 898, 062021 (2017). doi:10.1088/1742-6596/898/6/062021
22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP, San Francisco, USA, 2016-10-10-2016-10-14
22nd International Conference on Computing in High Energy and Nuclear Physics, CHEP, San Francisco, USA, 10 Oct 2016 - 14 Oct 2016; Journal of physics / Conference Series 898, 062021 (2017). doi:10.1088/1742-6596/898/6/062021
For over a decade,
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38c0d4031e8264b230b352c4cd638c00
https://bib-pubdb1.desy.de/record/398351
Zobrazit plný text záznamu
4
[Untitled]
Autor: Henrik Hulgaard, Henrik Reif Andersen, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann
Publikováno v: Formal Methods in System Design. 21:225-244
We investigate techniques for verifying hierarchical systems, i.e., finite state systems with a nesting capability. The straightforward way of analysing a hierarchical system is to first flatten it into an equivalent non-hierarchical system and then
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::be4e0c31f754b7b8c0cd070aed22a595
https://doi.org/10.1023/a:1016095519611
Zobrazit plný text záznamu
5
[Untitled]
Autor: Kåre J. Kristoffersen, Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
Publikováno v: Formal Methods in System Design. 18:5-23
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and dependency analysis to significantly improve the efficiency of symbolic mode
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::beac0616ae5a842531510eee6a97add3
https://doi.org/10.1023/a:1008736219484
Zobrazit plný text záznamu
6
Practical verification of embedded software
Autor: Henrik Reif Andersen, Hh. Leerberg, Kåre J. Kristoffersen, N.B. Theilgaard, Gerd Behrmann, Jørn Lind-Nielsen, Arne Skou, Henrik Hulgaard, J. Straunstrup
Publikováno v: Computer. 33:68-75
Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-comprising more than 1,000 components-in a few minutes on a standard PC
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b9e5d0978661bf423b7e1258c2aa2229
https://doi.org/10.1109/2.841786
Zobrazit plný text záznamu
7
Tools for Model-Checking Timed Systems
Autor: Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez
Publikováno v: David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3
Zobrazit plný text záznamu
8
Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage
Autor: Josva Kleist, A. Konstantinov, Oxana Smirnova, Henrik Thostrup Jensen, D. Johansson, Bal´zs Konya, Gerd Behrmann, Michael Grønager
Publikováno v: eScience
The paper describes the overall design and implementation of the geographically distributed computing and data storage centre as built by the Nordic Data Grid Facility (NDGF) with the driving goal to serve the needs of the Large Hadron Collider resea
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c773d5460b4bb8239739ad2b7af726bc
https://doi.org/10.1109/escience.2011.33
Zobrazit plný text záznamu
9
Developing UPPAAL over 15 years
Autor: Wang Yi, Kim Guldstrand Larsen, Paul Pettersson, Alexandre David, Gerd Behrmann
Publikováno v: Behrmann, G, David, A, Larsen, K G, Pettersson, P & Yi, W 2011, ' Developing UPPAAL over 15 years ', Software: Practice & Experience, vol. 41, no. 2, pp. 133-142 . https://doi.org/10.1002/spe.1006
UPPAAL is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eea7a364b369246d53892d0160264440
https://vbn.aau.dk/da/publications/96dc931f-0370-4e24-9522-333a342a1d09
Zobrazit plný text záznamu
10
ATLAS DDM integration in ARC
Autor: Josva Kleist, David Cameron, Gerd Behrmann, Adrian Taga, Mattias Ellert
Publikováno v: Behrmann, G, Cameron, D, Ellert, M, Kleist, J & Taga, A 2008, ' ATLAS DDM integration in ARC ', Journal of Physics-Conference Series . https://doi.org/10.1088/1742-6596/119/6/062015
Aalborg University
Behrmann, G, Cameron, D, Ellert, M, Kleist, J & Tage, A 2007, ' ATLAS DDM integration in ARC ', Computation in High Energy Physics-CHEP'07, Victoria, Canada, 02/09/2007-07/09/2007 .
The Nordic Data Grid Facility (NDGF) consists of Grid resources running ARC middleware in Denmark, Finland, Norway and Sweden. These resources serve many virtual organisations and contribute a large fraction of total worldwide resources for the ATLAS
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23e6f1313288ba0e81ef7e356d1f83a0
https://vbn.aau.dk/da/publications/8c706070-db04-11dd-a016-000ea68e967b
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje