Zobrazeno 1 - 10
of 759
pro vyhledávání: '"Loop unrolling"'
Publikováno v:
Frontiers in Materials, Vol 10 (2024)
The application of laser ultrasonic technology to defect detection is being widely studied. The Synthetic Aperture Focusing Techniques (SAFTs) is one of the imaging algorithms for detecting and imaging internal defects. SAFT based on Delay and Sum (D
Externí odkaz:
https://doaj.org/article/b6d1eeb28357471c8bddfb3693fbf719
Autor:
José Jacobo Oliveros-Oliveros, José Rubén Conde-Sánchez, Carlos Arturo Hernández-Gracidas, María Monserrat Morín-Castillo, José Julio Conde-Mones
Publikováno v:
Applied Sciences, Vol 14, Iss 4, p 1388 (2024)
Objective: This work presents an implementation of a stable algorithm that recovers sources located at the boundary separating two homogeneous media in field-programmable gate arrays. Two loop unrolling architectures were developed and analyzed for t
Externí odkaz:
https://doaj.org/article/11ec63c53d214037ba4ac9aaa51cfe3c
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.
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.
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:
Proceedings of the ACM on Programming Languages, 7 (OOPSLA1)
Bounded verification has proved useful to detect bugs and to increase confidence in the correctness of a program. In contrast to unbounded verification, reasoning about calls via (bounded) inlining and about loops via (bounded) unrolling does not req
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e204871b5aaec5af37ff6d0779909606
https://doi.org/10.1145/3586054
https://doi.org/10.1145/3586054
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.
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.
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.
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.