Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Carmelo Loiacono"'
Publikováno v:
Sensors, Vol 16, Iss 6, p 813 (2016)
The development of intelligent transportation systems requires the availability of both accurate traffic information in real time and a cost-effective solution. In this paper, we describe Street Viewer, a system capable of analyzing the traffic behav
Externí odkaz:
https://doaj.org/article/6d4749563c1c466d8d1cf606178378c4
Autor:
Armin Biere, Paolo Pasini, Denis Patti, Danilo Vendraminetto, Carmelo Loiacono, Stefano Quer, Keijo Heljanko, Gianpiero Cabodi, Marco Palena
Publikováno v:
Journal on Satisfiability, Boolean Modeling and Computation. 9:135-172
Model checkers and sequential equivalence checkers have become essential tools for the semiconductor industry in recent years. The Hardware Model Checking Competition (HWMCC) was founded in 2006 with the purpose of intensifying research interest in t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::840aa2cb116d7d522668ceac4145387c
https://doi.org/10.3233/sat190106
https://doi.org/10.3233/sat190106
Autor:
Paolo Camurati, Paolo Pasini, Stefano Quer, Carmelo Loiacono, Marco Palena, Gianpiero Cabodi, Denis Patti
Hardware systems complexity has constantly increased in recent years. Guaranteeing their correctness is a must. Formal verification techniques, such as model checking, now play a major role in industrial environments. Their efficiency in dealing with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::acdff943f93f562b0a4ad0e7b24ea695
http://hdl.handle.net/11583/2665134
http://hdl.handle.net/11583/2665134
Autor:
Carmelo Loiacono, Francesco Savarese, Boyang Du, S.F. Finocchiaro, Luca Sterpone, Gianpiero Cabodi
Publikováno v:
IOLTS
The SRAM cells that form the configuration memory of an SRAM-based FPGA make such FPGAs particularly vulnerable to soft errors. A soft error occurs when ionizing radiation corrupts the data stored in a circuit. The error persists until new data is wr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e88128fd6c4afd56603ceaff4295f10
https://doi.org/10.1109/iolts.2016.7604690
https://doi.org/10.1109/iolts.2016.7604690
Autor:
Francesco Savarese, Danilo Vendraminetto, S.F. Finocchiaro, Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono
Nowadays embedded devices collect various kinds of information and provide it to communication networks for further processing. These devices often provide critical functionalities that could be exploited by malicious parties. Using formal techniques
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aca669eb828161203e22359aa783a6d1
http://hdl.handle.net/11583/2641771
http://hdl.handle.net/11583/2641771
Autor:
Francesco Savarese, Danilo Vendraminetto, Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, S.F. Finocchiaro
Publikováno v:
IVSW
Many embedded systems, like medical, sensing, automotive, military, require basic security functions, often referred to as "secure communications". Nowadays, interest has been growing around defining new security related properties, expressing relati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1b037f118c0c272815dc22fef21990
http://hdl.handle.net/11583/2642251
http://hdl.handle.net/11583/2642251
Autor:
Gianluca Francini, Gianpiero Cabodi, Stefano Quer, Denis Patti, Massimo Balestri, Carmelo Loiacono, Alessandro Garbo
Publikováno v:
Third International Conference on Advances in Computing, Communication and Information Technology- CCIT 2015.
Recent developments in embedded processors have enabled heterogeneous computing on mobile devices using open-access general-purpose computing languages. Following the MPEG CDVS standard, this paper presents an efficient feature computation phase, com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60c88e7852813a3a2aad70b48fb97dec
https://doi.org/10.15224/978-1-63248-061-3-23
https://doi.org/10.15224/978-1-63248-061-3-23
Publikováno v:
ICME Workshops
Mobile image retrieval and pairwise matching applications pose a unique set of challenges. As communicating large amount of data could take tens of seconds over a slow wireless link, MPEG defined the CDVS standard to transfer over the network only th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8475459e99fd7f2354cb996eb7188137
http://hdl.handle.net/11583/2615884
http://hdl.handle.net/11583/2615884
Publikováno v:
Scopus-Elsevier
This paper addresses the problem of reducing the size of Craig interpolants generated within inner steps of SAT-based Unbounded Model Checking. Craig interpolants are obtained from refutation proofs of unsatisfiable SAT runs, in terms of and/or circu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::205fc0c881098c81ecf78831c0e246af
http://hdl.handle.net/11583/2602577
http://hdl.handle.net/11583/2602577
Publikováno v:
Journal of Circuits, Systems and Computers. 26:1750187
General-purpose computing on graphics processing units is the utilization of a graphics processing unit (GPU) to perform computation in applications traditionally handled by the central processing unit. Many attempts have been made to implement well-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f66f53a48a1ef150019cb6d2bafa9ee
https://doi.org/10.1142/s0218126617501870
https://doi.org/10.1142/s0218126617501870