Zobrazeno 1 - 10
of 82
pro vyhledávání: '"S. Gossens"'
Autor:
Lindy Reunes, Sofie Peirs, P. Van Vlierberghe, W Van Loocke, Dieter Deforce, Tim Pieters, Juliette Roels, Tim Lammens, Marc R. Mansour, Tom Taghon, S. Gossens, Gloria Milani, F. Van Nieuwerburgh, Morgan Thenoz
Publikováno v:
HemaSphere. 3:384-385
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8bf49185e15835569b876d5bacc164a5
https://doi.org/10.1097/01.hs9.0000561720.13984.b8
https://doi.org/10.1097/01.hs9.0000561720.13984.b8
Publikováno v:
HASE
This paper introduces view graphs, which allow representation of source code for program analysis and testing at different levels of abstraction. At a low level of abstraction, view graphs can be used for white-box analysis and testing, and at a high
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce8761626ea5871dbadfae4bb210e450
https://doi.org/10.1109/hase.2005.27
https://doi.org/10.1109/hase.2005.27
Autor:
Mario Dal Cin, S. Gossens
Publikováno v:
COMPSAC Workshops
We present a new metric for control flow path sets based on a control flow abstraction technique and evaluate the concept in a study of a large set of artificially generated programs, using a special model of fault detection ability.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f810bb25bfd599ee6ec799acef0d94e
https://doi.org/10.1109/cmpsac.2004.1342661
https://doi.org/10.1109/cmpsac.2004.1342661
Autor:
M. Dal Cin, S. Gossens
Publikováno v:
HASE
Explicit fault tolerant programs are characterized by proactive efforts to ensure robustness and ability of fault correction. A fault tolerant application is usually realized conforming to one of a collection of standard techniques. Graph based metho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfc0d2ef5ca43279d364d97f5efb2d7f
https://doi.org/10.1109/hase.2004.1281733
https://doi.org/10.1109/hase.2004.1281733
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540223771
SAMOS
SAMOS
This paper describes our state-of-the-art design flow used for specification, implementation and verification of a 10 million gates ASIC System-on-Chip (SoC) for a Sonet/SDH application. We present our tools and methodologies currently used and/or be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d5b2bb6bb200b0d62831c2159057efc
https://doi.org/10.1007/978-3-540-27776-7_11
https://doi.org/10.1007/978-3-540-27776-7_11
Autor:
S. Gossens
Publikováno v:
HASE
The behaviour of systems is determined by their implementation in some form of source code. While behaviour itself is complex and its detailed semantics are hard to describe by means of lower level than a programming or specification language, the st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52ae2e0dcd704da072bd7dd1830de05e
https://doi.org/10.1109/hase.2002.1173124
https://doi.org/10.1109/hase.2002.1173124
Publikováno v:
HASE
This paper presents our approach to leverage formal methods in an industrial design environment by closing the gap between the specification and design phases. We achieve this goal by deriving behavioural VHDL models from a formal system specificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b63fce09808c4bd8680e2f4c9c69276
https://doi.org/10.1109/hase.2002.1173122
https://doi.org/10.1109/hase.2002.1173122
Publikováno v:
Anesthesia and analgesia. 87(2)
UNLABELLED We conducted a prospective, randomized study to compare quality of sedation, hemodynamic stability, and oxygen consumption of three different drugs for continuous i.v. sedation in the immediate postoperative period in patients scheduled fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2affcecb26a84864895ead5a7a5b8338
https://pubmed.ncbi.nlm.nih.gov/9706915
https://pubmed.ncbi.nlm.nih.gov/9706915
Autor:
Mao, Qian1 (AUTHOR), Zheng, Wei2 (AUTHOR), Shi, Menghan3 (AUTHOR), Yang, Fan4 (AUTHOR) yangfan.yang@connect.polyu.hk
Publikováno v:
Sensors (14248220). May2024, Vol. 24 Issue 10, p3199. 20p.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.