Zobrazeno 1 - 10
of 43
pro vyhledávání: '"program diagnostics"'
Publikováno v:
IET Cyber-Physical Systems (2017)
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation. The present case study is performed on flight control software, for which saf
Externí odkaz:
https://doaj.org/article/f147b7058da8457ebc8722d0a0475b32
Autor:
Demina Z.G.
Publikováno v:
Pedagogìka, Psihologìâ ta Mediko-bìologìčnì Problemi Fìzičnogo Vihovannâ ì Sportu, Vol 1, Pp 47-50 (2010)
Traditional physical education program is not able to take into account the peculiarities of training and professional activity of students of musical and pedagogical professions, the more there is no universally accepted standards of form and final
Externí odkaz:
https://doaj.org/article/12ed7ca5cd66498e9c0402725bd07002
Publikováno v:
SecDev
Fuzz testing techniques are becoming pervasive for their ever-improving ability to generate crashing trial cases for programs. Memory safety violations however can lead to silent corruptions and errors, and a fuzzer may recognize them only in the pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1cde81b9033365e3b52eda4d4207131
http://hdl.handle.net/11573/1470329
http://hdl.handle.net/11573/1470329
Autor:
Nikoleris, Nikos
Application performance on computer processors depends on a number of complex architectural and microarchitectural design decisions. Consequently, computer architects rely on performance modeling to improve future processors without building prototyp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::eb76598cedbe2b66a4a5445a45fe216f
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-369490
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-369490
Akademický článek
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.
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname
Dynamically typed languages increase programmer's productivity at the expense of some runtime overheads to manage the types of variables, since they are not declared at compile time and can change at runtime. One of the most important overheads is du
Publikováno v:
VISSOFT
For developers concerned with a performance drop or improvement in their software, a profiler allows a developer to quickly search and identify bottlenecks and leaks that consume much execution time. Non real-time profilers analyze the history of alr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e3d77a43bffb9bae69b0dd7d4cad5e12
http://hdl.handle.net/10061/12723
http://hdl.handle.net/10061/12723
Publikováno v:
IET Cyber-Physical Systems (2017)
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation. The present case study is performed on flight control software, for which saf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83cf00cc20c5a665f9fb66cf490cd69c
https://mediatum.ub.tum.de/doc/1439808/document.pdf
https://mediatum.ub.tum.de/doc/1439808/document.pdf
Autor:
Guillaume van Niel, Carla Oliveira, Roberto Furlan, Ihsan Gursel, Anabela Cordeiro da Silva, Edit I. Buzás, Samir El Andaloussi, Eva Rohde, Alicia Llorente, Hernando A. del Portillo, Graça Raposo, Bernd Giebel, An Hendrix, Maja Kosanović, Lorraine O'Driscoll, Natasa Zarovni, Apolonija Bedina Zavec, Stefano Fais, Bertrand Kaeffer, Giovanni Camussi, Gabriella Pocsfalvi, María Yáñez-Mó, Irina Nazarenko, Tanja Ficko Trček, Marei Sammar, Lawrence Rajendran, Marjo Yliperttula, Antonio Marcilla, Francesc E. Borràs, Marilena E. Lekka, Joana Carvalho, Georg Lipps, Pia Siljander, Veronika Kralj-Iglič, Francesco Cappello, M. Helena Vasconcelos, Mariantonia Logozzi
Publikováno v:
ACS Nano
ACS Nano, American Chemical Society, 2016, 10 (4), pp.3886-3899. ⟨10.1021/acsnano.5b08015⟩
ACS nano 10 (2016): 3886–3899. doi:10.1021/acsnano.5b08015
info:cnr-pdr/source/autori:Fais, Stefano; O'Driscoll, Lorraine; Borras, Francesc E.; Buzas, Edit; Camussi, Giovanni; Cappello, Francesco; Carvalho, Joana; da Silva, Anabela Cordeiro; Del Portillo, Hernando; El Andaloussi, Samir; Trcek, Tanja Ficko; Furlan, Roberto; Hendrix, An; Gursel, Ihsan; Kralj-Iglic, Veronika; Kaeffer, Bertrand; Kosanovic, Maja; Lekka, Marilena E.; Lipps, Georg; Logozzi, Mariantonia; Marcilla, Antonio; Sammar, Marei; Llorente, Alicia; Nazarenko, Irina; Oliveira, Carla; Pocsfalvi, Gabriella; Rajendran, Lawrence; Raposo, Graca; Rohde, Eva; Siljander, Pia; van Niel, Guillaume; Vasconcelos, M. Helena; Yanez-Mo, Maria; Yliperttula, Marjo L.; Zarovni, Natasa; Zavec, Apolonija Bedina; Giebel, Bernd/titolo:Evidence-Based Clinical Use of Nanoscale Extracellular Vesicles in Nanomedicine/doi:10.1021%2Facsnano.5b08015/rivista:ACS nano/anno:2016/pagina_da:3886/pagina_a:3899/intervallo_pagine:3886–3899/volume:10
ACS Nano, American Chemical Society, 2016, 10 (4), pp.3886-3899. ⟨10.1021/acsnano.5b08015⟩
ACS nano 10 (2016): 3886–3899. doi:10.1021/acsnano.5b08015
info:cnr-pdr/source/autori:Fais, Stefano; O'Driscoll, Lorraine; Borras, Francesc E.; Buzas, Edit; Camussi, Giovanni; Cappello, Francesco; Carvalho, Joana; da Silva, Anabela Cordeiro; Del Portillo, Hernando; El Andaloussi, Samir; Trcek, Tanja Ficko; Furlan, Roberto; Hendrix, An; Gursel, Ihsan; Kralj-Iglic, Veronika; Kaeffer, Bertrand; Kosanovic, Maja; Lekka, Marilena E.; Lipps, Georg; Logozzi, Mariantonia; Marcilla, Antonio; Sammar, Marei; Llorente, Alicia; Nazarenko, Irina; Oliveira, Carla; Pocsfalvi, Gabriella; Rajendran, Lawrence; Raposo, Graca; Rohde, Eva; Siljander, Pia; van Niel, Guillaume; Vasconcelos, M. Helena; Yanez-Mo, Maria; Yliperttula, Marjo L.; Zarovni, Natasa; Zavec, Apolonija Bedina; Giebel, Bernd/titolo:Evidence-Based Clinical Use of Nanoscale Extracellular Vesicles in Nanomedicine/doi:10.1021%2Facsnano.5b08015/rivista:ACS nano/anno:2016/pagina_da:3886/pagina_a:3899/intervallo_pagine:3886–3899/volume:10
collaboration au projet H2020 European Cooperation in Science and Technology (COST) program European Network on Microvesicles and Exosomes in Health and Disease (ME-HAD); International audience; Recent research has demonstrated that all body fluids a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ccb380f2f46c5b10cb52d90ce455da8
https://hdl.handle.net/11693/38156
https://hdl.handle.net/11693/38156
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced by the notion of store-as-