Filters








1,180 Hits in 2.9 sec

A dynamic specification to automatically debug and correct various divider circuits

Mohammad Hashem Haghbayan, Bijan Alizadeh
2016 Integration  
This paper presents a formal technique to verify and debug division circuits on fixed point numbers.  ...  The proposed technique is based on a reverse-engineering mechanism of obtaining a high level model of the gate level implementation and also introducing an intermediate representation of the specification  ...  Figure 5 . 5 Restoring array divider s03 Figure 6 . s036 The main components in FBLA representation (a) for non-restoring dividers, (b) for restoring dividers, (c) for SRT radix-2 dividers, and (d  ... 
doi:10.1016/j.vlsi.2015.12.004 fatcat:qrwppix6zngzbjnqi2rne4w2oq

On a IEEE 802.15.4/ZigBee to IEEE 802.11 gateway for the ART-WiSe architecture

Joao Leal, Andre Cunha, Mario Alves, Anis Koubaa
2007 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)  
An overlay Wireless Local Area Network (Tier-2) serves as a backbone for a WSN (Tier 1), relying on existing standard communication protocols and commercial-off-the-shell (COTS) technologies -IEEE 802.15.4  ...  Wireless Sensor Networks (WSN) have been attracting growing interests for developing a new generation of large-scale embedded computing systems, with a great potential for a wide range of applications  ...  This architecture is based on a two-tiered network structure (Fig. 1) where a wireless network (Tier-2) serves as a backbone for a WSN (Tier 1), relying on standard communication protocols and commercial-off-the-shell  ... 
doi:10.1109/efta.2007.4416944 dblp:conf/etfa/LealCAK07 fatcat:66qcequ6ezbwvckigrzsnifiyq

Detailed design and evaluation of redundant multithreading alternatives

Shubhendu S. Mukherjee, Michael Kontz, Steven K. Reinhardt
2002 SIGARCH Computer Architecture News  
Using a detailed, commercial-grade, SMT processor design we uncover subtle RMT implementation complexities, and find that RMT can be a more significant burden for singleprocessor devices than prior studies  ...  In a multithreaded environment, we can detect these faults by running two copies of the same program as separate threads, feeding them identical inputs, and comparing their outputs, a technique we call  ...  The original SRT work proposed a slack fetch mechanism to achieve this benefit.  ... 
doi:10.1145/545214.545227 fatcat:pgwkm4xpjbcjjlx32l65tdxlf4

A comparative genetic diversity assessment of industrial and household Brazilian cassava varieties using SSR markers

Marcos Vinicius Bohrer Monteiro Siqueira, Aline Borges, Teresa Losada Valle, Elizabeth Ann Veasey
2011 Bragantia  
In the cluster analysis, a tendency for separation of varieties for industrial use and household consumption was verified.  ...  Furthermore, the analyses indicated a high genetic variability within the two groups (I: varieties for industrial uses; II: varieties for household consumption).  ...  , adapted to mechanized planting SRT -1445 (Fécula Branca) FECBR Landrace Industrial Paraná (3) High dry matter content, adapted to mechanized planting SRT -1335 (Espeto) ESP Landrace Industrial  ... 
doi:10.1590/s0006-87052011005000019 fatcat:5yfd2rqyzfckvprhda6d2eutzy

SlicK

Angshuman Parashar, Anand Sivasubramaniam, Sudhanva Gurumurthi
2006 ACM SIGOPS Operating Systems Review  
predictors can be integrated into a redundant threading mechanism to form SlicK.  ...  This paper presents a new approach to redundant threading by bringing together the concepts of slice-level execution and value and control-flow locality into a novel partial redundant threading mechanism  ...  Integrating the Predictors and SliceEM into an SRT processor Armed with a set of predictors and a slice extraction mechanism, we now need to integrate these into an SRT pipeline and complete the SlicK  ... 
doi:10.1145/1168917.1168870 fatcat:hlf4ljebfbgotdr7a7h2r43xyu

SlicK

Angshuman Parashar, Anand Sivasubramaniam, Sudhanva Gurumurthi
2006 SIGPLAN notices  
predictors can be integrated into a redundant threading mechanism to form SlicK.  ...  This paper presents a new approach to redundant threading by bringing together the concepts of slice-level execution and value and control-flow locality into a novel partial redundant threading mechanism  ...  Integrating the Predictors and SliceEM into an SRT processor Armed with a set of predictors and a slice extraction mechanism, we now need to integrate these into an SRT pipeline and complete the SlicK  ... 
doi:10.1145/1168918.1168870 fatcat:z6usxp4dtfa5tjmojotf5ejdy4

SlicK

Angshuman Parashar, Anand Sivasubramaniam, Sudhanva Gurumurthi
2006 SIGARCH Computer Architecture News  
predictors can be integrated into a redundant threading mechanism to form SlicK.  ...  This paper presents a new approach to redundant threading by bringing together the concepts of slice-level execution and value and control-flow locality into a novel partial redundant threading mechanism  ...  Integrating the Predictors and SliceEM into an SRT processor Armed with a set of predictors and a slice extraction mechanism, we now need to integrate these into an SRT pipeline and complete the SlicK  ... 
doi:10.1145/1168919.1168870 fatcat:wz4bwomwqrbolmb3k5to4pg7nm

Wastewater process modeling

Amra Serdarevic, Alma Dzubur
2016 Coupled systems mechanics  
The software packages (BioWin, GPS-X, Aqua designer, etc) solve a series of simulated equations simultaneously in order to propose several solutions for a specific facility.  ...  Therefore, an efficient and good modeling practice requires both experience and set of proper guidelines as a background.  ...  A system characterized by a large SRT would lead to deterioration of the quality of the process if subjected to mass loadings.  ... 
doi:10.12989/csm.2016.5.1.021 fatcat:a53i5afsbvhl7bblfh4pxulcay

SlicK

Angshuman Parashar, Anand Sivasubramaniam, Sudhanva Gurumurthi
2006 Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII  
predictors can be integrated into a redundant threading mechanism to form SlicK.  ...  This paper presents a new approach to redundant threading by bringing together the concepts of slice-level execution and value and control-flow locality into a novel partial redundant threading mechanism  ...  Integrating the Predictors and SliceEM into an SRT processor Armed with a set of predictors and a slice extraction mechanism, we now need to integrate these into an SRT pipeline and complete the SlicK  ... 
doi:10.1145/1168857.1168870 dblp:conf/asplos/ParasharSG06 fatcat:o6xft3yds5et3maryj5lte6o7y

Feasibility Study of a W-Band Multibeam Heterodyne Receiver for the Gregorian Focus of the Sardinia Radio Telescope

A. Navarrini, L. Olmi, R. Nesti, P. Ortu, P. Marongiu, A. Orlati, A. Scalambra, A. Orfei, J. Roda, A. Cattani, S. Leurini, F. Govoni (+4 others)
2022 IEEE Access  
The receiver utilizes a mechanical derotator to track the parallactic angle.  ...  We report on the feasibility study of a W-band multibeam heterodyne receiver for the Sardinia Radio Telescope (SRT), a general purpose fully steerable 64-m diameter antenna located on the Sardinia island  ...  Hydrogen maser, that is equally power divided via a four-way LO splitter.  ... 
doi:10.1109/access.2022.3153492 fatcat:uzdnib5hrvbtpmyjtyuwrfdgki

Speech intelligibility in virtual restaurants

John F. Culling
2016 Journal of the Acoustical Society of America  
The author is grateful for comments by two anonymous reviewers and for those of Mickael Deroche, Mathieu Lavandier, and Adam Westermann on a presubmission draft of the manuscript.  ...  Westermann and Buchholz (2015) used a commercial program, ODEON (Rindel, 2000) to generate their BRIRs.  ...  Aberdare Hall can be divided in two by wooden panels. Recordings were made in the southern end of the hall with the dividing panels in place.  ... 
doi:10.1121/1.4964401 pmid:27794329 fatcat:doyr4h5cq5epza57tjbuqrxjli

Efficacy and Safety of Recombinant Human Thrombopoietin on Sepsis Patients With Thrombocytopenia: A Systematic Review and Meta-Analysis

Jin Zhang, Zongqing Lu, Wenyan Xiao, Tianfeng Hua, Yao Zheng, Min Yang
2020 Frontiers in Pharmacology  
To investigate whether rhTPO is a benefit for sepsis patients with thrombocytopenia.  ...  The conclusions are needed to be verified indeed by more multicenter RCTs due to the limitation of the included studies.  ...  However, SRT as a complication closely related to the prognosis of sepsis patients, the mechanism and treatment of which are still controversial.  ... 
doi:10.3389/fphar.2020.00940 pmid:32714186 pmcid:PMC7344265 fatcat:iw2ioja7srhptbxnlj22lbpkma

Failure Mechanism and Factor of Safety for Spatially Variable Undrained Soil Slope

Liang Li, Xuesong Chu
2019 Advances in Civil Engineering  
The FS and FM for a specific realization of random field are determined by SRT embedded in FEM- and FDM-based software (e.g., Phase2 6.0 and FLAC) and LEM, respectively.  ...  The SRT in combination with FEM and/or FDM provides a rigorous and powerful tool and is highly preferable for slope reliability of spatially variable undrained slope.  ...  (slope angles <53°) may display a significant number of toe mechanisms. is conclusion has also been verified in this study.  ... 
doi:10.1155/2019/8575439 fatcat:ifkze77f3jc4dnkf3wfd2hhad4

Distributed registration and key distribution for online universities [chapter]

Rolf Oppliger, Martin Bracher, Andres Albanese
1996 IFIP Advances in Information and Communication Technology  
DiRK is being prototyped in a session registration tool ( srt) for the MBone.  ...  We argue that universities have to cooperate with commercial service providers to disseminate lectures to a wide audience, and that this cooperation requires new techniques with regard to the registration  ...  At the University of Berne, DiRK is being prototyped in a session registration tool (srt) for the MBone. The srt will be released for public scrunity later this year.  ... 
doi:10.1007/978-0-387-35083-7_15 fatcat:bcsedwqzjvey7bbygvabn6njzm

Program of Seven 45-min Dry Immersion Sessions Improves Choice Reaction Time in Parkinson's Disease

Alexander Yu. Meigal, Olesya G. Tretjakova, Liudmila I. Gerasimova-Meigal, Irina V. Sayenko
2021 Frontiers in Physiology  
The neurophysiologic, hormonal/neuroendocrine, behavioral, neural plasticity, and acclimation mechanisms may have contributed to such a result.  ...  Before the program of DI, the RT tests are in accordance with their cognition load: SRT (284 ± 37 ms), DRT (338 ± 38 ms), and CRT (540 ± 156 ms).  ...  Among the most commonly used RT tasks are simple RT (SRT) and choice RT (CRT). In the SRT task, a subject reacts with motion on a visual or audio stimulus as fast as possible.  ... 
doi:10.3389/fphys.2020.621198 pmid:33519524 pmcid:PMC7841462 fatcat:jpiha5yaavfchfhheieotdtkie
« Previous Showing results 1 — 15 out of 1,180 results