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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 2089-2094, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
134 | Judith León Espinoza, Abraham Sánchez López, Maria A. Osorio |
Exploring Unknown Environments with Randomized Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 1150-1159, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 27th International Symposium on Computer Architecture (ISCA 2000), June 10-14, 2000, Vancouver, BC, Canada, pp. 25-36, 2000, IEEE Computer Society, 978-1-58113-232-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
118 | Mark McCann, Nicholas Pippenger |
SRT Division Algorithms as Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain, pp. 46-53, 2003, IEEE Computer Society, 0-7695-1894-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Soc. Robotics ![In: Int. J. Soc. Robotics 1(2), pp. 141-155, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(6), pp. 774-779, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
80 | David L. Harris, Stuart F. Oberman, Mark Horowitz |
SRT Division Architectures and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 13th Symposium on Computer Arithmetic (ARITH-13 '97), 6-9 July 1997, Asilomar, CA, USA, pp. 18-25, 1997, IEEE Computer Society, 0-8186-7846-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4688-4694, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
71 | Stuart F. Oberman, Michael J. Flynn |
Minimizing the complexity of SRT tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 6(1), pp. 141-149, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
63 | Toshiyuki Shiwa, Takayuki Kanda 0001, Michita Imai, Hiroshi Ishiguro, Norihiro Hagita |
How quickly should communication robots respond? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: Proceedings of the 3rd ACM/IEEE international conference on Human robot interaction, HRI 2008, Amsterdam, The Netherlands, March 12-15, 2008, pp. 153-160, 2008, ACM, 978-1-60558-017-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 327-337, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
63 | T. N. Vijaykumar, Irith Pomeranz, Karl Cheng |
Transient-Fault Recovery Using Simultaneous Multithreading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 29th International Symposium on Computer Architecture (ISCA 2002), 25-29 May 2002, Anchorage, AK, USA, pp. 87-98, 2002, IEEE Computer Society, 0-7695-1605-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
63 | Hao-Hua Chu, Klara Nahrstedt |
CPU Service Classes for Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 1 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume I, pp. 296-301, 1999, IEEE Computer Society, 0-7695-0253-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-8, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings, pp. 402-411, 2008, Springer, 978-3-540-88308-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Tung N. Pham, Earl E. Swartzlander Jr. |
Design of Radix-4 SRT Dividers in 65 Nanometer CMOS Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 105-108, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Peter Kornerup |
Digit Selection for SRT Division and Square Root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(3), pp. 294-303, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May - 1 June 2001, Taipei, Taiwan, pp. 135-140, 2001, IEEE Computer Society, 0-7695-1134-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
56 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Verification of Arithmetic Circuits: SRT Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 103-122, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
56 | Harald Rueß, Natarajan Shankar, Mandayam K. Srivas |
Modular Verification of SRT Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 123-134, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 11th Symposium on Computer Arithmetic, 29 June - 2 July 1993, Windsor, Canada, Proceedings., pp. 80-86, 1993, IEEE Computer Society/, 0-8186-3862-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
55 | Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet |
A light-weight framework for hardware verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(3), pp. 286-313, 2001. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 479-484, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings, pp. 117-124, 2008, Springer, 978-3-540-92136-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007, University of Minnesota, Minneapolis, MN, USA, August 19-22, 2007, pp. 459-468, 2007, ACM, 978-1-59593-700-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 19th International Conference on VLSI Design (VLSI Design 2006), 3-7 January 2006, Hyderabad, India, pp. 147-152, 2006, IEEE Computer Society, 0-7695-2502-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Wanghong Yuan, Klara Nahrstedt |
Integration of dynamic voltage scaling and soft real-time scheduling for open mobile systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 12th International Workshop, NOSSDAV 2002, Miami Beach, Florida, USA, May 12-14, 2002, Proceedings, pp. 105-114, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
scheduling, multimedia, power management |
47 | Stephen E. McQuillan, John V. McCanny |
Fast VLSI algorithms for division and square root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 8(2), pp. 151-168, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
41 | Peter Soderquist, Miriam Leeser |
An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 132-139, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 195-200, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Álvaro Vázquez, Elisardo Antelo, Paolo Montuschi |
A radix-10 SRT divider based on alternative BCD codings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 280-287, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Peter Kornerup |
Revisiting SRT Quotient Digit Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain, pp. 38-45, 2003, IEEE Computer Society, 0-7695-1894-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Gianluca Cornetta, Jordi Cortadella |
A Radix-16 SRT Division Unit with Speculation of the Quotient Digits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March 1999, Ann Arbor, MI, USA, pp. 74-77, 1999, IEEE Computer Society, 0-7695-0104-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Edmund M. Clarke, Steven M. German, Xudong Zhao 0005 |
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 111-122, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 891-894, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Reconfigurable Computing: Architectures, Tools and Applications, 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings, pp. 260-265, 2008, Springer, 978-3-540-78609-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 149-154, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(9), pp. 951-961, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Peter Fröhlich 0003 |
Dealing with system response times in interactive speech applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, CHI 2005, Portland, Oregon, USA, April 2-7, 2005, pp. 1379-1382, 2005, ACM, 1-59593-002-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings, pp. 574-584, 2004, Springer, 3-540-23095-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings, pp. 22-42, 1998, Springer, 3-540-65388-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Rolf Oppliger, Andres Albanese |
Distance education and on-line universities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 10-15, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 140-, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Alaaeldin Amin, M. Waleed Shinwari |
High-Radix Multiplier-Dividers: Theory, Design, and Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 59(8), pp. 1009-1022, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 535-540, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 46(8), pp. 833-854, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 98-, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 62, pp. 1-18, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Wenwen Wu, Yanqi Huang, Xiaomei Wu |
SRT: Improved transformer-based model for classification of 2D heartbeat images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 88(Part C), pp. 105017, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Networks ![In: IET Networks 12(1), pp. 9-26, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(7), pp. 2111-2119, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.12122, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jeong-Hwan Lee, Jihun Cha |
Optimization of Video Streaming Using SRT Protocol in Mobile Communication Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: 14th International Conference on Information and Communication Technology Convergence, ICTC 2023, Jeju Island, Korea, Republic of, October 11-13, 2023, pp. 1802-1804, 2023, IEEE, 979-8-3503-1327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Maria Sharabayko, Maxim Sharabayko |
Live Streaming using SRT with QUIC Datagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MHV ![In: Proceedings of the 2nd Mile-High Video Conference, MHV 2023, Denver, CO, USA, May 7-10, 2023, pp. 21-26, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(13), pp. 3163, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMT ![In: Proceedings of the Seventh Conference on Machine Translation, WMT 2022, Abu Dhabi, United Arab Emirates (Hybrid), December 7-8, 2022, pp. 901-907, 2022, Association for Computational Linguistics, 978-1-959429-29-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: ICMLC 2022: 14th International Conference on Machine Learning and Computing, Guangzhou, China, February 18 - 21, 2022, pp. 507-511, 2022, ACM, 978-1-4503-9570-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PE-WASUN ![In: Proceedings of the 19th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks on 19th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, & Ubiquitous Networks, Montreal, Quebec, Canada, October 24-28, 2022, pp. 115-121, 2022, ACM, 978-1-4503-9483-3. The full citation details ...](Pics/full.jpeg) |
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.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 220, pp. 117114, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebMedia ![In: WebMedia '20: Brazillian Symposium on Multimedia and the Web, São Luís, Brazil, November 30 - December 4, 2020, pp. 153-156, 2020, ACM, 978-1-4503-8196-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMSB ![In: IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2020, Paris, France, October 27-29, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-5784-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Bhavana Mehta, Jonti Talukdar, Sachin Gajjar |
High Speed SRT Divider for Intelligent Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.06195, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 13(5), pp. 683-691, 2018. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018, 2018, cognitivesciencesociety.org, 978-0-9911967-8-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Alexandru Amaricai, Ovidiu Sicoe, Oana Boncalo |
On the Redundant Representation of Partial Remainders in Radix-4 SRT Dividers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 26(6), pp. 1750097:1-1750097:13, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 11(6), pp. 809-816, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 65(6), pp. 4419-4428, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 63(2), pp. 894-902, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 171, pp. 1684-1690, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCCET ![In: Computer Engineering and Technology - 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers, pp. 3-14, 2016, Springer, 978-981-10-3158-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Danilo Santos, Paulo Afonso Parreira, Heitor A. X. Costa |
SRT - A computational tool for restructuring Java software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 35th International Conference of the Chilean Computer Science Society, SCCC 2016, Valparaíso, Chile, October 10-14, 2016, pp. 1-12, 2016, IEEE, 978-1-5090-3339-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Living Machines ![In: Biomimetic and Biohybrid Systems - 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings, 1st Edition, pp. 86-91, 2015, Springer, 978-3-319-22978-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015, pp. 169-178, 2015, IEEE Computer Society, 978-1-4799-8006-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Qun Xu, Yunfu Shen, Yi Jin 0009 |
High-Efficiency Realization of SRT Division on Ternary Optical Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA (China) ![In: High Performance Computing and Applications - Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers, pp. 158-169, 2015, Springer, 978-3-319-32556-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 97-D(9), pp. 2398-2414, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Peter Kornerup |
Correction to the 2005 paper: "Digit Selection for SRT Division and Square Root". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.6498, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2014, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 15-19, 2014, 2014, AMIA. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Amir Kaivani, Seok-Bum Ko |
Decimal SRT Square Root: Algorithm and Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Circuits Syst. Signal Process. ![In: Circuits Syst. Signal Process. 32(5), pp. 2137-2150, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | David M. Russinoff |
Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 62(5), pp. 900-913, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 44(12), pp. 1165-1174, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Alexandru Amaricai, Oana Boncalo |
SRT radix-2 dividers with (5, 4) redundant representation of partial remainder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NORCHIP ![In: 2013 NORCHIP, Vilnius, Lithuania, November 11-12, 2013, pp. 1-5, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 35th Annual Meeting of the Cognitive Science Society, CogSci 2013, Berlin, Germany, July 31 - August 3, 2013, 2013, cognitivesciencesociety.org, 978-0-9768318-9-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 34th Annual Meeting of the Cognitive Science Society, CogSci 2012, Sapporo, Japan, August 1-4, 2012, 2012, cognitivesciencesociety.org, 978-0-9768318-8-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Shirin Pourashraf, Sayed Masoud Sayedi |
A low power D3L 16-bit radix- 4 pipelined SRT divider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: 25th IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2012, Montreal, QC, Canada, April 29 - May 2, 2012, pp. 1-6, 2012, IEEE, 978-1-4673-1431-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops (1) ![In: Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011, Revised Selected Papers, Part I, pp. 15-24, 2011, Springer, 978-3-642-29736-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Data Min. Bioinform. ![In: Int. J. Data Min. Bioinform. 4(3), pp. 316-330, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | David M. Russinoff |
A Mechanically Verified Commercial SRT Divider. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 23-63, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Alfredo Toriz P., René Zapata, Abraham Sánchez López, Maria A. Osorio |
Integrated Exploration Based SRT-EKF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (Special Sessions) ![In: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Special Sessions, Revised Papers, pp. 171-176, 2010, IEEE Computer Society, 978-0-7695-4284-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: 2008 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008, Philadephia, Pennsylvania, USA, November 3-5, 2008, pp. 98-103, 2008, IEEE Computer Society, 978-0-7695-3452-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 54-II(8), pp. 680-684, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Mark McCann, Nicholas Pippenger |
SRT Division Algorithms as Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 34(6), pp. 1279-1301, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2005, July 25-29, 2005, Seoul, Korea, Proceedings, pp. 4, 2005, IEEE, 0-7803-9050-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Gustavo Sutter, Gery Bioul, Jean-Pierre Deschamps |
Comparative Study of SRT-Dividers in FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 209-220, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Harald Rueß, Natarajan Shankar, Mandayam K. Srivas |
Modular Verification of SRT Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 14(1), pp. 45-73, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke, Steven M. German, Xudong Zhao 0005 |
Verifying the SRT Division Algorithm Using Theorem Proving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 14(1), pp. 7-44, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Hicham Boutamine, Alain Guyot, Bachar El-Hassan, Marc Renaudin |
Asynchronous SRT Dividers: The Real Cost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: 1996 European Design and Test Conference, ED&TC 1996, Paris, France, March 11-14, 1996, pp. 195-199, 1996, IEEE Computer Society, 0-8186-7423-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Randal E. Bryant |
Bit-Level Analysis of an SRT Divider Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996., pp. 661-665, 1996, ACM Press, 0-89791-779-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Richard F. Hobson, Michael W. Fraser |
An efficient maximum-redundancy radix-8 SRT division and square-root method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 30(1), pp. 29-38, January 1995. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(1), pp. 144-150, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Neil Burgess, Ted Williams |
Choices of Operand Truncation in the SRT Division Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(7), pp. 933-938, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|