Search results for "SRT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
149	Judith León Espinoza, Abraham Sánchez López, María Auxilio Osorio Lama	Exploring unknown environments with mobile robots using SRT-Radial.	IROS	2007	DBLP DOI BibTeX RDF
134	Judith León Espinoza, Abraham Sánchez López, Maria A. Osorio	Exploring Unknown Environments with Randomized Strategies.	MICAI	2006	DBLP DOI BibTeX RDF	Sensor-based nonholonomic motion planning, SRT method, randomized strategies
125	Steven K. Reinhardt, Shubhendu S. Mukherjee	Transient fault detection via simultaneous multithreading.	ISCA	2000	DBLP DOI BibTeX RDF
118	Mark McCann, Nicholas Pippenger	SRT Division Algorithms as Dynamical Systems.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
94	Toshiyuki Shiwa, Takayuki Kanda 0001, Michita Imai, Hiroshi Ishiguro, Norihiro Hagita	How Quickly Should a Communication Robot Respond? Delaying Strategies and Habituation Effects.	Int. J. Soc. Robotics	2009	DBLP DOI BibTeX RDF	Delaying strategy, Conversational filler, Habituation effect, Communication robots, System response time
87	Mohamed Anane, Hamid Bessalah, Mohamed Issad, Nadjia Anane, Hassen Salhi	Higher Radix and Redundancy Factor for Floating Point SRT Division.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
80	David L. Harris, Stuart F. Oberman, Mark Horowitz	SRT Division Architectures and Implementations.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	skew-tolerant, Computer arithmetic, floating point units, SRT division, domino circuits
71	Giuseppe Oriolo, Marilena Vendittelli, Luigi Freda, Giulio Troso	The SRT Method: Randomized Strategies for Exploration.	ICRA	2004	DBLP DOI BibTeX RDF
71	Stuart F. Oberman, Michael J. Flynn	Minimizing the complexity of SRT tables.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
63	Toshiyuki Shiwa, Takayuki Kanda 0001, Michita Imai, Hiroshi Ishiguro, Norihiro Hagita	How quickly should communication robots respond?	HRI	2008	DBLP DOI BibTeX RDF	conversational filler, communication robots, system response time
63	Ethan Schuchman, T. N. Vijaykumar	BlackJack: Hard Error Detection with Redundant Threads on SMT.	DSN	2007	DBLP DOI BibTeX RDF
63	T. N. Vijaykumar, Irith Pomeranz, Karl Cheng	Transient-Fault Recovery Using Simultaneous Multithreading.	ISCA	2002	DBLP DOI BibTeX RDF
63	Hao-Hua Chu, Klara Nahrstedt	CPU Service Classes for Multimedia Applications.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF
56	Daniel Sánchez 0004, Juan L. Aragón, José M. García 0001	Extending SRT for parallel applications in tiled-CMP architectures.	IPDPS	2009	DBLP DOI BibTeX RDF
56	Alfredo Toriz P., Abraham Sánchez López, María Auxilio Osorio Lama	Coordinated Multi-robot Exploration with SRT-Radial.	IBERAMIA	2008	DBLP DOI BibTeX RDF
56	Tung N. Pham, Earl E. Swartzlander Jr.	Design of Radix-4 SRT Dividers in 65 Nanometer CMOS Technology.	ASAP	2006	DBLP DOI BibTeX RDF
56	Peter Kornerup	Digit Selection for SRT Division and Square Root.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Digit selection, division, square root
56	Stephen Childs, David Ingram	The Linux-SRT Integrated Multimedia Operating System: Bringing QoS to the Desktop.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
56	Deepak Kapur, Mahadevan Subramaniam	Mechanizing Verification of Arithmetic Circuits: SRT Division.	FSTTCS	1997	DBLP DOI BibTeX RDF
56	Harald Rueß, Natarajan Shankar, Mandayam K. Srivas	Modular Verification of SRT Division.	CAV	1996	DBLP DOI BibTeX RDF
56	Stephen E. McQuillan, John V. McCanny, Robert Hamill	New algorithms and VLSI architectures for SRT division and square root.	IEEE Symposium on Computer Arithmetic	1993	DBLP DOI BibTeX RDF
55	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet	A light-weight framework for hardware verification.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Refinement, Theorem-proving, Timing verification, Switch-level models, SRT division
48	Tzu-Hsi Pan, Hyon-Sok Kay, Youngsun Chun, Chin-Long Wey	High-radix SRT division with speculation of quotient digits .	ICCD	1995	DBLP DOI BibTeX RDF	high-radix SRT division, quotient digits, quotient-digit selection table, speculated quotient digit, quotient-digit correction, digital arithmetic, table lookup, look-up table
47	Ming Zhang 0004, Chenglong Gong, Yuan Feng, Chao Liu 0001	Energy-Predicted Shortest Routing Tree Algorithm in Wireless Sensor Networks.	ISICA	2008	DBLP DOI BibTeX RDF	Energy-predicted, shortest routing tree, wireless sensor networks
47	Inbal Yahav, Louiqa Raschid, Henrique Andrade	Bid based scheduler with backfilling for a multiprocessor system.	ICEC	2007	DBLP DOI BibTeX RDF	bid-based scheduler, strategic users
47	Jin-Tai Yan, Chia-Fang Lee, Yen-Hsiang Chen	Dynamic Tree Reconstruction with Application to Timing-Constrained Congestion-Driven Global Routing.	VLSI Design	2006	DBLP DOI BibTeX RDF
47	Wanghong Yuan, Klara Nahrstedt	Integration of dynamic voltage scaling and soft real-time scheduling for open mobile systems.	NOSSDAV	2002	DBLP DOI BibTeX RDF	scheduling, multimedia, power management
47	Stephen E. McQuillan, John V. McCanny	Fast VLSI algorithms for division and square root.	J. VLSI Signal Process.	1994	DBLP DOI BibTeX RDF
41	Peter Soderquist, Miriam Leeser	An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	Newton-Raphson method, Goldschmidt's algorithm, microprocessor, Floating-point, division, square root, SRT
40	Nishant R. Srivastava	Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling.	DATE	2007	DBLP DOI BibTeX RDF
40	Álvaro Vázquez, Elisardo Antelo, Paolo Montuschi	A radix-10 SRT divider based on alternative BCD codings.	ICCD	2007	DBLP DOI BibTeX RDF
40	Peter Kornerup	Revisiting SRT Quotient Digit Selection.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
40	Gianluca Cornetta, Jordi Cortadella	A Radix-16 SRT Division Unit with Speculation of the Quotient Digits.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
40	Edmund M. Clarke, Steven M. German, Xudong Zhao 0005	Verifying the SRT Division Algorithm Using Theorem Proving Techniques.	CAV	1996	DBLP DOI BibTeX RDF
31	Anitha Priya Krishnan, Delphine Davis, Paul Okunieff, Walter O'Dell	Random walk model based on DTI for predicting the microscopic spread of gliomas.	ISBI	2008	DBLP DOI BibTeX RDF
31	Vítor Silva, Rui Policarpo Duarte, Mário P. Véstias, Horácio C. Neto	Multiplier-based double precision floating point divider according to the IEEE-754 standard.	ARC	2008	DBLP DOI BibTeX RDF
31	Andreas Hansson 0001, Martijn Coenen, Kees Goossens	Channel trees: reducing latency by sharing time slots in time-multiplexed networks on chip.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	quality-of-service, system-on-chip, network-on-chip, time-division-multiplexing
31	Hooman Nikmehr, Braden Phillips, Cheng-Chew Lim	Fast Decimal Floating-Point Division.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
31	Peter Fröhlich 0003	Dealing with system response times in interactive speech applications.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	mobile communication, user preference, system response time, speech I/O, auditory I/O and sound in the UI
31	Gustavo Sutter, Jean-Pierre Deschamps, Gery Bioul, Eduardo I. Boemo	Power Aware Dividers in FPGA.	PATMOS	2004	DBLP DOI BibTeX RDF
31	Deepak Kapur, Mahadevan Subramaniam	Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.	ASIAN	1998	DBLP DOI BibTeX RDF
31	Rolf Oppliger, Andres Albanese	Distance education and on-line universities.	WETICE	1996	DBLP DOI BibTeX RDF	online universities, commercial service providers, lecture dissemination, DiRK, distributed registration, conferencing system, Internet Multicast Backbone, session registration tool, validation, certification, distance education, educational technology, key distribution, MBone
31	Tim Coe, Ping Tak Peter Tang	It Takes Six Ones To Reach a Flaw.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
25	Alaaeldin Amin, M. Waleed Shinwari	High-Radix Multiplier-Dividers: Theory, Design, and Hardware.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	quotient digit selection, multiplier-divider, Computer arithmetic, division, SRT
25	Murali Mohan, Rohini Krishnan, Anshul Kumar, M. Balakrishnan	A New Divide and Conquer Method for Achieving High Speed Division in Hardware.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Carry Propagate Adders, Pipelineability, Throughput, Latency, Rounding, Carry Save Adders, Radix, SRT
25	Stuart F. Oberman, Michael J. Flynn	Division Algorithms and Implementations.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	functional iteration, variable latency, very high radix, Computer arithmetic, floating point, division, table look-up, SRT
25	Gensoh Matsubara, Nobuhiro Ide, Haruyuki Tago, Seigo Suzuki, Nobuyuki Goto	30-ns 55-b Radix 2 Division and Square Root Using a Self-Timed Circuit.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF	simulation, CMOS, division, square root, self-timed, SRT, on-the-fly
24	Dece Pan, Xin Gao, Wei Dai, Jiamei Fu, Zhirui Wang, Xian Sun, Youming Wu	SRT-Net: Scattering Region Topology Network for Oriented Ship Detection in Large-Scale SAR Images.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
24	Wenwen Wu, Yanqi Huang, Xiaomei Wu	SRT: Improved transformer-based model for classification of 2D heartbeat images.	Biomed. Signal Process. Control.	2024	DBLP DOI BibTeX RDF
24	Ahmed M. Jasim, Hamed S. Al-Raweshidy	Towards a cooperative hierarchical healthcare architecture using the HMAN offloading scenarios and SRT calculation algorithm.	IET Networks	2023	DBLP DOI BibTeX RDF
24	Zixuan Liu, Xiaoyu Song, Zhuowei Wang 0001, Yan Wang 0037, Jian-Tao Zhou 0002	Constructing High Radix Quotient Digit Selection Tables for SRT Division and Square Root.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
24	Xiang Feng, Yongbo He, Yubo Wang, Chengkai Wang, Zhenzhong Kuang, Jiajun Ding, Feiwei Qin, Jun Yu 0002, Jianping Fan 0001	ZS-SRT: An Efficient Zero-Shot Super-Resolution Training Method for Neural Radiance Fields.	CoRR	2023	DBLP DOI BibTeX RDF
24	Jeong-Hwan Lee, Jihun Cha	Optimization of Video Streaming Using SRT Protocol in Mobile Communication Network.	ICTC	2023	DBLP DOI BibTeX RDF
24	Maria Sharabayko, Maxim Sharabayko	Live Streaming using SRT with QUIC Datagrams.	MHV	2023	DBLP DOI BibTeX RDF
24	Kai Mu, Ziyuan Zhang, Yurong Qian, Suhong Liu, Mengting Sun, Ranran Qi	SRT: A Spectral Reconstruction Network for GF-1 PMS Data Based on Transformer and ResNet.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
24	Yoonjung Choi, Jiho Shin, Yonghyun Ryu, Sangha Kim 0002	SRT's Neural Machine Translation System for WMT22 Biomedical Translation Task.	WMT	2022	DBLP BibTeX RDF
24	Bowen Hu, Yanyan Shen, Guocheng Wu 0001, Shuqiang Wang	SRT: Shape Reconstruction Transformer for 3D Reconstruction of Point Cloud from 2D MRI.	ICMLC	2022	DBLP DOI BibTeX RDF
24	Román Belda, Pau Arce, Ismael de Fez, Juan Carlos Guerri	Performance Evaluation and Testbed for Delivering SRT Live Content using DASH Low Latency Streaming Systems.	PE-WASUN	2022	DBLP DOI BibTeX RDF
24	Kris Baetens, Mahyar Firouzi, Frank Van Overwalle, Natacha Deroost	Involvement of the cerebellum in the serial reaction time task (SRT) (Response to Janacsek et al.).	NeuroImage	2020	DBLP DOI BibTeX RDF
24	Thiago Felipe Corrêa Borges, Rodrigo Laiola Guimarães	Toward Assessing the Quality of Subtitles based on SRT Files Processing.	WebMedia	2020	DBLP DOI BibTeX RDF
24	Roberto Viola, Ángel Martín, Juan Felipe Mogollón, Álvaro Gabilondo, Javier Morgade, Mikel Zorrilla, Jon Montalban, Pablo Angueira	Adaptive Rate Control for Live streaming using SRT protocol.	BMSB	2020	DBLP DOI BibTeX RDF
24	Bhavana Mehta, Jonti Talukdar, Sachin Gajjar	High Speed SRT Divider for Intelligent Embedded System.	CoRR	2018	DBLP BibTeX RDF
24	Tatiana Fountoukidou, Philippe Raisin, Daniel Kaufmann, Jörn Justiz, Raphael Sznitman, Sebastian Wolf 0005	Motion-invariant SRT treatment detection from direct M-scan OCT imaging.	Int. J. Comput. Assist. Radiol. Surg.	2018	DBLP DOI BibTeX RDF
24	Olga Parshina, Rita Obeid, Elizabeth Che, Timothy J. Ricker, Patricia J. Brooks	SRT and ASRT: Similar Tasks Tapping Distinct Learning Mechanisms?	CogSci	2018	DBLP BibTeX RDF
24	Alexandru Amaricai, Ovidiu Sicoe, Oana Boncalo	On the Redundant Representation of Partial Remainders in Radix-4 SRT Dividers.	J. Circuits Syst. Comput.	2017	DBLP DOI BibTeX RDF
24	Weilong Hu, Zan Li 0001, Hongyan Li, Jiangbo Si, Haiyan Huang	SRT analysis of relay selection in the presence of multiple co-channel interferers.	IET Commun.	2017	DBLP DOI BibTeX RDF
24	Yoon-Jae Kim, Jun-Young Lee 0003	Full-Bridge+SRT Hybrid DC/DC Converter for a 6.6-kW EV On-Board Charger.	IEEE Trans. Veh. Technol.	2016	DBLP DOI BibTeX RDF
24	Byung-Kwon Lee, Jong-Pil Kim, Sam-Gyun Kim, Jun-Young Lee 0003	A PWM SRT DC/DC Converter for 6.6-kW EV Onboard Charger.	IEEE Trans. Ind. Electron.	2016	DBLP DOI BibTeX RDF
24	Taho Dorta, Mireya Zapata, Jordi Madrenas, Giovanny Sánchez	AER-SRT: Scalable spike distribution by means of synchronous serial ring topology address event representation.	Neurocomputing	2016	DBLP DOI BibTeX RDF
24	Yuanxi Peng, Tingting He, Yuanwu Lei, Baozhou Zhu	Single/Double Precision Floating-Point Division and Square Root Unit Based on SRT-8 Algorithm.	NCCET	2016	DBLP DOI BibTeX RDF
24	Danilo Santos, Paulo Afonso Parreira, Heitor A. X. Costa	SRT - A computational tool for restructuring Java software.	SCCC	2016	DBLP DOI BibTeX RDF
24	Simone C. Michaels, Kenneth C. Moses, Richard J. Bachmann, Reginald Hamilton, Abdon Pena-Francesch, Asheesh Lanba, Melik C. Demirel, Roger D. Quinn	Biomimicry of the Manduca Sexta Forewing Using SRT Protein Complex for FWMAV Development.	Living Machines	2015	DBLP DOI BibTeX RDF
24	Kun Cheng, Yuebin Bai, Rui Wang 0014, Yao Ma	Optimizing Soft Real-Time Scheduling Performance for Virtual Machines with SRT-Xen.	CCGRID	2015	DBLP DOI BibTeX RDF
24	Qun Xu, Yunfu Shen, Yi Jin 0009	High-Efficiency Realization of SRT Division on Ternary Optical Computers.	HPCA (China)	2015	DBLP DOI BibTeX RDF
24	In-Joong Kim, Kyu-Young Whang, Hyuk-Yoon Kwon	SRT-Rank: Ranking Keyword Query Results in Relational Databases Using the Strongly Related Tree.	IEICE Trans. Inf. Syst.	2014	DBLP DOI BibTeX RDF
24	Peter Kornerup	Correction to the 2005 paper: "Digit Selection for SRT Division and Square Root".	CoRR	2014	DBLP BibTeX RDF
24	Joshua L. King, Martina A. Clarke, Min Soon Kim	User Experiences of Speech Recognition Technology (SRT) by Physicians: A cross-sectional survey study.	AMIA	2014	DBLP BibTeX RDF
24	Amir Kaivani, Seok-Bum Ko	Decimal SRT Square Root: Algorithm and Architecture.	Circuits Syst. Signal Process.	2013	DBLP DOI BibTeX RDF
24	David M. Russinoff	Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
24	Shirin Pourashraf, Sayed Masoud Sayedi	Implementation of a low power 16-bit radix-4 pipelined SRT divider using a modified Split-Path Data Driven Dynamic Logic (SPD3L) structure.	Microelectron. J.	2013	DBLP DOI BibTeX RDF
24	Alexandru Amaricai, Oana Boncalo	SRT radix-2 dividers with (5, 4) redundant representation of partial remainder.	NORCHIP	2013	DBLP DOI BibTeX RDF
24	Fayme Yeates, Fergal W. Jones, Andy J. Wills, M. R. F. Aitken, Ian P. L. McLaren	Implicit learning: A demonstration and a revision to a novel SRT paradigm.	CogSci	2013	DBLP BibTeX RDF
24	Fayme Yeates, Fergal W. Jones, Andy J. Wills, Mike Aitken, Ian P. L. McLaren	Implicit Learning: A Demonstration and a Novel SRT Paradigm.	CogSci	2012	DBLP BibTeX RDF
24	Shirin Pourashraf, Sayed Masoud Sayedi	A low power D3L 16-bit radix- 4 pipelined SRT divider.	CCECE	2012	DBLP DOI BibTeX RDF
24	Giuseppe Cicotti, Luigi Coppolino, Rosario Cristaldi, Salvatore D'Antonio, Luigi Romano	QoS Monitoring in a Cloud Services Environment: The SRT-15 Approach.	Euro-Par Workshops (1)	2011	DBLP DOI BibTeX RDF
24	Bernard Chen 0001, Jieyue He, Stephen Pellicer, Yi Pan 0001	Using Hybrid Hierarchical K-means (HHK) clustering algorithm for protein sequence motif Super-Rule-Tree (SRT) structure construction.	Int. J. Data Min. Bioinform.	2010	DBLP DOI BibTeX RDF
24	David M. Russinoff	A Mechanically Verified Commercial SRT Divider.	Design and Verification of Microprocessor Systems for High-Assurance Applications	2010	DBLP DOI BibTeX RDF
24	Alfredo Toriz P., René Zapata, Abraham Sánchez López, Maria A. Osorio	Integrated Exploration Based SRT-EKF.	MICAI (Special Sessions)	2010	DBLP DOI BibTeX RDF
24	Bernard Chen 0001, Jieyue He, Stephen Pellicer, Yi Pan 0001	Protein Sequence Motif Super-Rule-Tree (SRT) Structure Constructed by Hybrid Hierarchical K-Means Clustering Algorithm.	BIBM	2008	DBLP DOI BibTeX RDF
24	Sung-Won Lee, Ki-Seok Kwon, In-Cheol Park	Pipelined Cartesian-to-Polar Coordinate Conversion Based on SRT Division.	IEEE Trans. Circuits Syst. II Express Briefs	2007	DBLP DOI BibTeX RDF
24	Mark McCann, Nicholas Pippenger	SRT Division Algorithms as Dynamical Systems.	SIAM J. Comput.	2005	DBLP DOI BibTeX RDF
24	Haibo Hu, Jing Li 0018, Yunhao Chen	The supplementary R-tree (SRT) algorithm used for GIS resources allocation in model base system under grid environment.	IGARSS	2005	DBLP DOI BibTeX RDF
24	Gustavo Sutter, Gery Bioul, Jean-Pierre Deschamps	Comparative Study of SRT-Dividers in FPGA.	FPL	2004	DBLP DOI BibTeX RDF
24	Harald Rueß, Natarajan Shankar, Mandayam K. Srivas	Modular Verification of SRT Division.	Formal Methods Syst. Des.	1999	DBLP DOI BibTeX RDF
24	Edmund M. Clarke, Steven M. German, Xudong Zhao 0005	Verifying the SRT Division Algorithm Using Theorem Proving Techniques.	Formal Methods Syst. Des.	1999	DBLP DOI BibTeX RDF
24	Hicham Boutamine, Alain Guyot, Bachar El-Hassan, Marc Renaudin	Asynchronous SRT Dividers: The Real Cost.	ED&TC	1996	DBLP DOI BibTeX RDF
24	Randal E. Bryant	Bit-Level Analysis of an SRT Divider Circuit.	DAC	1996	DBLP DOI BibTeX RDF
24	Richard F. Hobson, Michael W. Fraser	An efficient maximum-redundancy radix-8 SRT division and square-root method.	IEEE J. Solid State Circuits	1995	DBLP DOI BibTeX RDF
24	Paolo Montuschi, Luigi Ciminiera	A Remark on "Reducing Iteration Time when Result Digit is Zero for Radix-2 SRT Division and Square Root with Redundant Remainders".	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF
24	Neil Burgess, Ted Williams	Choices of Operand Truncation in the SRT Division Algorithm.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF