Výsledky vyhľadávania - 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

Autori: Feng Zhou Chunhong Chen Dawei Jin a ďalší

Prispievatelia: Feng Zhou Chunhong Chen Dawei Jin a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea a ďalší

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

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: 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

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: 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

Autori: Dana Fisman Grigore Rosu

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: 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

Autori: Jan Friso Groote Kim Guldstrand Larsen

Typ zdroja: eBook.

Predmet: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

11.1 The Design of a Low Power Asynchronous Multiplier

Autori: Yijun Liu Steve Furber The Pennsylvania State University CiteSeerX Archives

Prispievatelia: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Armin Biere David Parker

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Kategórie: 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

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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.

Autori: Mihailescu, Marius Iulian Simion, Violeta Elena Ursachi, Alexandra a ďalší

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

FPGA-Accelerated 3D Reconstruction Using Compressive Sensing

Autori: Jianwen Chen Jason Cong Ming Yan a ďalší

Prispievatelia: Jianwen Chen Jason Cong Ming Yan a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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

Autori: Seraj Ahmad The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Seraj Ahmad The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Seraj Ahmad Rabi Mahapatra The Pennsylvania State University CiteSeerX Archives

Prispievatelia: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Gyula Simon Miklós Maróti Ákos Lédeczi a ďalší

Prispievatelia: Gyula Simon Miklós Maróti Ákos Lédeczi a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Michael Haselman Don Dewitt Wendy Mcdougald a ďalší

Prispievatelia: Michael Haselman Don Dewitt Wendy Mcdougald a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: Alok A. Katkar James E. Stine The Pennsylvania State University CiteSeerX Archives

Prispievatelia: 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.

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Yong Ki Lee Dave Singelée Lejla Batina a ďalší

Prispievatelia: Yong Ki Lee Dave Singelée Lejla Batina a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Edward K. S. Au Wai Ho Mow Silas T. Hung a ďalší

Prispievatelia: Edward K. S. Au Wai Ho Mow Silas T. Hung a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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

Autori: Byoungro So Mary W. Hall Pedro C. Diniz a ďalší

Prispievatelia: Byoungro So Mary W. Hall Pedro C. Diniz a ďalší

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

Predmety: 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 súboru: 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

Dostupnosť: 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

Autori: David Zaretsky Gaurav Mittal Xiaoyong Tang a ďalší

Prispievatelia: David Zaretsky Gaurav Mittal Xiaoyong Tang a ďalší

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: 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