135,694 research outputs found
Automatic March tests generation for static and dynamic faults in SRAMs
No full textNew memory production modern technologies introduce new classes of faults usually referred to as dynamic memory faults. Although some hand-made March tests to deal with these new faults have been published, the problem of automatically generate March tests for dynamic faults has still to be addressed, in this paper we propose a new approach to automatically generate March tests with minimal length for both static and dynamic faults. The proposed approach resorts to a formal model to represent faulty behaviors in a memory and to simplify the generation of the corresponding tests
Letter by Natale et al Regarding Article, “Amplatzer Amulet Left Atrial Appendage Occluder Versus Watchman Device for Stroke Prophylaxis (Amulet IDE): A Randomized, Controlled Trial”
No full textFlood mapping using LIDAR DEM. Limitations of the 1-D modeling highlighted by the 2-D approach
No full textNowadays, the use of 2-D fully dynamic models represents the most reliable approach for flood inundation and flood hazard studies, especially in complex applications. However, 1-D modeling is still a widely used approach due to the reduced computational time and cost. The introduction of LIDAR technique has stimulated a more detailed topographic description of river reaches. As a result, this huge amount of topographic data can lead to significant improvements in the 1-D computations. Therefore, the main purpose of this paper is to realize how the improvements in the topographic description can reduce the difference between 1-D and 2-D models, highlighting at the same time the critical aspects and the limitations of 1-D approach in the hydraulic simulation as well as in the spatial representation of the results. The analysis presented in the paper refers to two actual case studies for which terrestrial and airborne LIDAR DEMs were collected on purpose. The results of those applications show that the use of 1-D models requires a greater hydraulic skilfulness than the use of 2-D model
Enhancing member value and protecting the electrophysiology profession—Heart Rhythm Advocates are here
No full text
- …
