A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A dynamic specification to automatically debug and correct various divider circuits
2016
Integration
Preserved Fulltext
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
2007
2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2002
SIGARCH Computer Architecture News
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2011
Bragantia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2006
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2006
SIGARCH Computer Architecture News
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2016
Coupled systems mechanics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2022
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of the Acoustical Society of America
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Frontiers in Pharmacology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2019
Advances in Civil Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2021
Frontiers in Physiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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