Výsledky vyhledávání - Types and Design Styles – algorithms implemented in hardware. General Terms Algorithms

Evaluating and optimizing power consumption of anti-collision protocols for applications in RFID systems

Autoři: Feng Zhou Chunhong Chen Dawei Jin a další

Přispěvatelé: Feng Zhou Chunhong Chen Dawei Jin a další

Zdroj: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/islped04/pdffiles/p357.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles – algorithms implemented in hardware. General Terms Algorithms, Design, Performance. Keywords Radio-frequency identification

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.5208

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.5208
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/islped04/pdffiles/p357.pdf

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Autoři: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea a další

Zdroj: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Témata: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

11.1 The Design of a Low Power Asynchronous Multiplier

Autoři: Yijun Liu Steve Furber The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yijun Liu Steve Furber The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/islped04/pdffiles/p301.pdf.

Témata: Categories and Subject Descriptors B.2 [Arithmetic and Logic Structures, General, B.6 [Logic Design, Design Styles—Combinational logic, B.7 [Integrated Circuits, Types and Design Styles—Algorithms implemented in hardware General Terms Algorithms, Design Keywords Asynchronous logic, low power, multiplier, Booth’s algorithm

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.2771

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.2771
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/islped04/pdffiles/p301.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Autoři: Armin Biere David Parker

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Lithographic Aerial Image Simulation with FPGA-Based Hardware Acceleration

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cadlab.cs.ucla.edu/~cong/papers/fpga08-zou.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles— Algorithms implemented in hardware General Terms Algorithms, Performance, Design Keywords Lithography simulation, Co-processor acceleration, FPGA

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.8975

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.8975
http://cadlab.cs.ucla.edu/~cong/papers/fpga08-zou.pdf

A Non-Invasive Diagnostic Platform for Canine Leishmaniasis Using VOC Analysis and Distributed Veterinary Infrastructure.

Autoři: Mihailescu, Marius Iulian Simion, Violeta Elena Ursachi, Alexandra a další

Zdroj: Veterinary Sciences. Aug2025, Vol. 12 Issue 8, p732. 27p.

FPGA-Accelerated 3D Reconstruction Using Compressive Sensing

Autoři: Jianwen Chen Jason Cong Ming Yan a další

Přispěvatelé: Jianwen Chen Jason Cong Ming Yan a další

Zdroj: http://ballade.cs.ucla.edu/%7Econg/papers/fpga12.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles—Algorithms implemented in hardware General Terms Algorithms, Design, Performance

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.5206; http://ballade.cs.ucla.edu/%7Econg/papers/fpga12.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.5206
http://ballade.cs.ucla.edu/%7Econg/papers/fpga12.pdf

ABSTRACT TCAM Enabled On-Chip Logic Minimization

Autoři: Seraj Ahmad The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Seraj Ahmad The Pennsylvania State University CiteSeerX Archives

Zdroj: http://research.cs.tamu.edu/codesign/Publication-list/DAC 2005.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles— Algorithms implemented in hardware General Terms Algorithms, Design Keywords TCAM, Logic Minimization, On-Chip

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.2636

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.2636
http://research.cs.tamu.edu/codesign/Publication-list/DAC 2005.pdf

TCAM Enabled On-Chip Logic Minimization

Autoři: Seraj Ahmad Rabi Mahapatra The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Seraj Ahmad Rabi Mahapatra The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/rts/docs/DAC-1964-2005/papers/2005/dac05/pdffiles/p678.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles— Algorithms implemented in hardware General Terms Algorithms, Design Keywords TCAM, Logic Minimization, On-Chip

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.3873

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.575.3873
http://www.cs.york.ac.uk/rts/docs/DAC-1964-2005/papers/2005/dac05/pdffiles/p678.pdf

Sensor network-based countersniper system

Autoři: Gyula Simon Miklós Maróti Ákos Lédeczi a další

Přispěvatelé: Gyula Simon Miklós Maróti Ákos Lédeczi a další

Zdroj: http://www.cs.colorado.edu/~rhan/CSCI_7143_Fall_2007/Papers/countersniper04.pdf.

Témata: B.7.1 [Integrated Circuits, Types and Design Styles – Algorithms implemented in hardware, C.2.2 [Computer-Communication Networks, Network Protocols – Routing protocols, G.1.0 [Mathematics of Computing, Numerical Analysis – Numerical algorithms, J.7. [Computer Applications, Computers in Other Systems – Military General Terms Algorithms, Design, Measurement, Performance Keywords Sensor Networks, Middleware Services, Time Synchronization, Message Routing, Data Fusion, Acoustic Source Localization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.324.683; http://www.cs.colorado.edu/~rhan/CSCI_7143_Fall_2007/Papers/countersniper04.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.324.683
http://www.cs.colorado.edu/~rhan/CSCI_7143_Fall_2007/Papers/countersniper04.pdf

FPGA-Based Front-End Electronics for Positron Emission Tomography

Autoři: Michael Haselman Don Dewitt Wendy Mcdougald a další

Přispěvatelé: Michael Haselman Don Dewitt Wendy Mcdougald a další

Zdroj: http://www.ee.washington.edu/faculty/hauck/publications/PET_timing_and_localization.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles—Gate arrays, Algorithms implemented in hardware General Terms Algorithms, Measurement, Design, Verification Keywords PET, FPGA, Digital Signal Processing, Pulse Timing, Event Localization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.2891; http://www.ee.washington.edu/faculty/hauck/publications/PET_timing_and_localization.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.2891
http://www.ee.washington.edu/faculty/hauck/publications/PET_timing_and_localization.pdf

Modified booth truncated multipliers

Autoři: Alok A. Katkar James E. Stine The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Alok A. Katkar James E. Stine The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/glsvlsi04/pdffiles/p444.pdf.

Témata: Categories and Subject Descriptors B.2.4 [Arithmetic and Logic Structures, High-Speed Arithmetic, B.5.1 [Register-Transfer-Level Implemen- tation, Design, B.7.1 [Integrated Circuits, Types and Design Styles—algorithms implemented in hardware, VLSI General Terms Algorithms, Performance, Design Keywords Arithmetic, VLSI

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.7528

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.578.7528
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/glsvlsi04/pdffiles/p444.pdf

Low-Cost Untraceable Authentication Protocols for RFID [Extended and corrected version] ∗ ABSTRACT

Autoři: Yong Ki Lee Dave Singelée Lejla Batina a další

Přispěvatelé: Yong Ki Lee Dave Singelée Lejla Batina a další

Zdroj: http://www.cosic.esat.kuleuven.be/publications/article-1363.pdf.

Témata: B.7.1 [Integrated Circuits, Types and Design Styles— Algorithms Implemented in Hardware, E.3 [Data Encryption, Public Key Cryptosystems] General Terms Algorithms, Security Keywords Authentication Protocol, Search Protocol, Privacy, Tracking Attack, Elliptic Curve Cryptography, RFID

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.363

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.214.363
http://www.cosic.esat.kuleuven.be/publications/article-1363.pdf

A Binary–Search Switched–Current Sensing Scheme for 4–state MRAM

Autoři: Edward K. S. Au Wai Ho Mow Silas T. Hung a další

Přispěvatelé: Edward K. S. Au Wai Ho Mow Silas T. Hung a další

Zdroj: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/glsvlsi04/pdffiles/p304.pdf.

Témata: Categories and Subject Descriptors B.7.1 [Integrated Circuits, Types and Design Styles – algorithms implemented in hardware, memory technologies. General Terms Algorithms, Design Keywords Magneto–resistive

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.4963

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.582.4963
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/glsvlsi04/pdffiles/p304.pdf

A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems

Autoři: Byoungro So Mary W. Hall Pedro C. Diniz a další

Přispěvatelé: Byoungro So Mary W. Hall Pedro C. Diniz a další

Zdroj: http://www.ece.ucsb.edu/~kastner/ece253/reader/so02.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Compilers, Parallelizing Compilers, B.5.2 [Designs Aids, Automatic Synthesis, D.7.1 [Types and Design Styles, Algorithms implemented in hardware, Gate Arrays General Terms Algorithms, Performance, Design, Experimentation Keywords Design Space Exploration, Data Dependence Analysis, Reuse Analysis, Loop Transformations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1833; http://www.ece.ucsb.edu/~kastner/ece253/reader/so02.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1833
http://www.ece.ucsb.edu/~kastner/ece253/reader/so02.pdf

Evaluation of Scheduling and Allocation Algorithms While Mapping Software Assembly onto FPGAs

Autoři: David Zaretsky Gaurav Mittal Xiaoyong Tang a další

Přispěvatelé: David Zaretsky Gaurav Mittal Xiaoyong Tang a další

Zdroj: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/glsvlsi04/pdffiles/p397.pdf.

Témata: B.7.1 [Types and Design Styles, Algorithms implemented in hardware, Gate Arrays, VLSI (very large scale integration). General Terms Algorithms, Performance, Design, Experimentation, Verification. Keywords Hardware Synthesis, Optimizations, Scheduling, Chaining, Compilers, Binary Translation, FPGAs

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.579.4620

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.579.4620
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/glsvlsi04/pdffiles/p397.pdf