Search results for "hardware"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ahmad-Reza Sadeghi, Ivan Visconti, Christian Wachsmann	Enhancing RFID Security and Privacy by Physically Unclonable Functions.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, Berk Sunar, Pim Tuyls	Memory Leakage-Resilient Encryption Based on Physically Unclonable Functions.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Inyoung Kim, Abhranil Maiti, Leyla Nazhandali, Patrick Schaumont, Vignesh Vivekraja, Huaiye Zhang	From Statistics to Circuits: Foundations for Future Physical Unclonable Functions.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Ghaith Hammouri, Aykutlu Dana, Berk Sunar	License Distribution Protocols from Optical Media Fingerprints.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Darko Kirovski	Anti-counterfeiting: Mixing the Physical and the Digital World.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Roel Maes, Ingrid Verbauwhede	Physically Unclonable Functions: A Study on the State of the Art and Future Research Directions.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Yoo-Jin Baek, Vanessa Gratzer, Sung-Hyun Kim, David Naccache	Extracting Unknown Keys from Unknown Algorithms Encrypting Unknown Fixed Messages and Returning No Results.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
21	Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson	Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
21	Jürgen Christ, Jochen Hoenicke	Instantiation-Based Interpolation for Quantified Formulae.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
21	Jorge Guajardo, Bart Preneel, Ahmad-Reza Sadeghi, Pim Tuyls (eds.)	Foundations for Forgery-Resilient Cryptographic Hardware, 05.07. - 08.07.2009	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
21	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (eds.)	Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers	Numerical Validation in Current Hardware Architectures	2009	DBLP DOI BibTeX RDF
21	Soichiro Tsuda, Stefan Artmann, Klaus-Peter Zauner	The Phi-Bot: A Robot Controlled by a Slime Mould.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Paolo Arena, Sebastiano De Fiore, Luca Patané	Perception for Action in Roving Robots: A Dynamical System Approach.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Ioannis A. Ieropoulos, John Greenman, Chris Melhuish, Ian Horsfield	Artificial Symbiosis in EcoBots.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	James M. Conrad, Jonathan W. Mills	The History and Future of Stiquito: A Hexapod Insectoid Robot.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Fumiya Iida, Simon Bovet	Learning Legged Locomotion.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Toshio Fukuda, Tadayoshi Aoyama, Yasuhisa Hasegawa, Kosuke Sekiyama	Multilocomotion Robot: Novel Concept, Mechanism, and Control of Bio-inspired Robot.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Shuhei Miyashita, Max Lungarella, Rolf Pfeifer	Tribolon: Water-Based Self-Assembly Robots.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Tetsuya Asai, Takahide Oya	Nature-inspired Single-electron Computers.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Andrew Adamatzky, Benjamin de Lacy Costello, Hiroshi Yokoi	Reaction-Diffusion Controllers for Robots.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Alessandro Crespi, Auke Jan Ijspeert	Salamandra Robotica: A Biologically Inspired Amphibious Robot that Swims and Walks.	Artificial Life Models in Hardware	2009	DBLP DOI BibTeX RDF
21	Darko Kirovski	Anti-Counterfeiting: Mixing the Physical and the Digital World.	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
21	Boris Skoric, Marc X. Makkes	Simplification of Controlled PUF primitives.	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
21	Philippe Teuwen	How to Make Smartcards Resistant to Hackers' Lightsabers?	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
21	Patrick Schaumont	Engineering On-Chip Thermal Effects.	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
21	Boris Skoric, Pim Tuyls	An efficient fuzzy extractor for limited noise.	Foundations for Forgery-Resilient Cryptographic Hardware	2009	DBLP BibTeX RDF
21	Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (eds.)	Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	David P. Luebke, John D. Owens (eds.)	Proceedings of the EUROGRAPHICS/ACM SIGGRAPH Conference on Graphics Hardware 2008, Sarajevo, Bosnia and Herzegovina, 2008	Graphics Hardware	2008	DBLP BibTeX RDF
21	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Michel Kieffer	Distributed parameter and state estimation in a network of sensors.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Jürgen Wolff von Gudenberg	Interval Arithmetic and Standardization.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Markus Neher 0001	The CoStLy C++ Class Library.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Michael Zimmer 0002, Walter Krämer	Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Di Jiang, Neil F. Stewart	Robustness of Boolean operations on subdivision-surface models.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Eva Dyllong	A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Paul Zimmermann	Implementation of the reciprocal square root in MPFR.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith 0001	Second Note on Basic Interval Arithmetic for IEEE754R.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Evgenija D. Popova	On the Interoperability between Interval Software.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Gregorio de Miguel Casado, Juan Manuel García Chamizo	A Software Library for Reliable Online-Arithmetic with Rational Numbers.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Ulrich W. Kulisch	Complete Interval Arithmetic and its Implementation.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Peter W. Markstein	The New IEEE-754 Standard for Floating Point Arithmetic.	Numerical Validation in Current Hardware Architectures	2008	DBLP BibTeX RDF
21	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing
21	Ekaterina Auer, Wolfram Luther	Numerical Verification Assessment in Computational Biomechanics.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Numerical verification assessment, validation, uncertainty, result verification
21	Stef Graillat, Jean Luc Lamotte, Diep Nguyen Hong	Error-Free Transformation in Rounding Mode toward Zero.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	R. Baker Kearfott, John D. Pryce, Nathalie Revol	Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	Eva Dyllong	Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	Reliable solid modeling, interval arithmetic, hierarchical data structure
21	Ulrich W. Kulisch	Complete Interval Arithmetic and Its Implementation on the Computer.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic
21	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
21	Annie A. M. Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun	Continued Fractions for Special Functions: Handbook and Software.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	Walter Krämer, Michael Zimmer 0002	Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 65H10, 15-04, 65G10, 65-04, 68W15, 65G99
21	Evgenija D. Popova	Mathematica Connectivity to Interval Libraries filib++ and C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	interval software, C-XSC, filib++, MathLink, external programs, interfacing, Mathematica, Software interoperability
21	Werner Hofschuster, Walter Krämer, Markus Neher 0001	C-XSC and Closely Related Software Packages.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 68N30, 68N19, 65F99, 65G20, 65G30
21	Di Jiang, Neil F. Stewart	Robustness of Boolean Operations on Subdivision-Surface Models.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	Michel Kieffer	Distributed Bounded-Error Parameter and State Estimation in Networks of Sensors.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	Andreas Rauh, Johanna Minisini, Eberhard P. Hofer	Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	Andreas Frommer, Valeria Simoncini	Error Bounds for Lanczos Approximations of Rational Functions of Matrices.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF
21	Jacob Ström, Per Wennersten, Jim Rasmusson, Jon Hasselgren, Jacob Munkberg, Petrik Clarberg, Tomas Akenine-Möller	Floating-Point Buffer Compression in a Unified Codec Architecture.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Jacob Munkberg, Jon Hasselgren, Tomas Akenine-Möller	Non-Uniform Fractional Tessellation.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Nathan A. Carr, Radomír Mech, Gavin S. P. Miller	Coherent Layer Peeling for Transparent High-Depth-Complexity Scenes.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Ahmad Sharif, Hsien-Hsin S. Lee	Total Recall: A Debugging Framework for GPUs.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Wen Sun 0001, Yan Lu 0001, Feng Wu 0001, Shipeng Li 0001	DHTC: An Effective DXTC-based HDR Texture Compression Scheme.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Avi Bleiweiss	GPU Accelerated Pathfinding.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Pitchaya Sitthi-amorn, Jason Lawrence, Lei Yang 0006, Pedro V. Sander, Diego Nehab	An Improved Shading Cache for Modern GPUs.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Sami Kyöstilä, Kari J. Kangas, Kari Pulli	Tracy: A Debugger and System Analyzer for Cross-Platform Graphics Development.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Gary J. Katz, Joseph T. Kider Jr.	All-Pairs Shortest-Paths for Large Graphs on the GPU.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Daniel Cederman, Philippas Tsigas	On Dynamic Load Balancing on Graphics Processors.	Graphics Hardware	2008	DBLP DOI BibTeX RDF
21	Mark Segal, Timo Aila (eds.)	Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on Graphics Hardware 2007, San Diego, California, USA, August 4-5, 2007	Graphics Hardware	2007	DBLP BibTeX RDF
21	Shubhabrata Sengupta, Mark J. Harris, Yao Zhang 0001, John D. Owens	Scan primitives for GPU computing.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
21	Brandon Lloyd, Naga K. Govindaraju, Steven E. Molnar, Dinesh Manocha	Practical logarithmic rasterization for low-error shadow maps.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
21	Jacob Ström, Martin Pettersson	ETC2: texture compression using invalid combinations.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
21	Jacob Munkberg, Ola Olsson, Jacob Ström, Tomas Akenine-Möller	Tight frame normal map compression.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
21	Jim Rasmusson, Jon Hasselgren, Tomas Akenine-Möller	Exact and error-bounded approximate color buffer compression and decompression.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
21	Diego F. Nehab, Pedro V. Sander, Jason Lawrence, Natalya Tatarchuk, John Isidoro	Accelerating real-time shading with reverse reprojection caching.	Graphics Hardware	2007	DBLP DOI BibTeX RDF
21	Michael C. Doggett, Michael Wimmer 0001 (eds.)	Proceedings of the 21st ACM SIGGRAPH/EUROGRAPHICS symposium on Graphics hardware, Vienna, Austria, September 3-4, 2006	Graphics Hardware	2006	DBLP BibTeX RDF
21	Masahiro Murakawa, Yuji Kasai, Hidenori Sakanashi, Tetsuya Higuchi	Evolvable Analog LSI.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Hidenori Sakanashi, Masaya Iwata, Tetsuya Higuchi	EHW Applied to Image Data Compression.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Ricardo Salem Zebulum, Didier Keymeulen, Rajeshuni Ramesham, Lukás Sekanina, James Mao, Nikhil Kumar, Adrian Stoica	Characterization and Synthesis of Circuits at Extreme Low Temperatures.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Eiichi Takahashi, Yuji Kasai, Masahiro Murakawa, Tetsuya Higuchi	Post-Fabrication Clock-Timing Adjustment Using Genetic Algorithms.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Hirokazu Nosato, Masahiro Murakawa, Yuji Kasai, Tetsuya Higuchi	Evolvable Optical Systems.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Daniel Mange, André Stauffer, Gianluca Tempesti, Fabien Vannel, André Badertscher	Bio-Inspired Computing Machines with Artificial Division and Differentiation.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Adrian Stoica, Didier Keymeulen, Ricardo Salem Zebulum, Xin Guo 0002	Reconfigurable Electronics for Extreme Environments.	Evolvable Hardware	2006	DBLP DOI BibTeX RDF
21	Tetsugo Inada, Michael D. McCool	Compressed Lossless Texture Representation and Caching.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Jon Hasselgren, Tomas Akenine-Möller	Efficient Depth Buffer Compression.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Vincent Forest, Loïc Barthe, Mathias Paulin	Realistic Soft Shadows by Penumbra-Wedges Blending.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Marc F. A. Schroders, Rob van Gulik	Quadtree Relief Mapping.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Adam Moerschell, John D. Owens	Distributed Texture Memory in a Multi-GPU Environment.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Kurt Akeley, Jonathan Su	Minimum Triangle Separation for Correct Z-Buffer Occlusion.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Myles Sussman, William Crutchfield, Matthew Papakipos	Pseudorandom Number Generation on the GPU.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Bo Han, Bingfeng Zhou	Efficient Video Decoding on GPUs by Point Based Rendering.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Benjamin Segovia, Jean-Claude Iehl, Richard Mitanchey, Bernard Péroche	Non-interleaved Deferred Shading of Interleaved Sample Patterns.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Weidong Shi, Hsien-Hsin S. Lee, Richard M. Yoo, Alexandra Boldyreva	A Digital Rights Enabled Graphics Processing System.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Markus Hadwiger, Andrea Kratz, Christian Sigg, Katja Bühler	GPU-Accelerated Deep Shadow Maps for Direct Volume Rendering.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Jacob Munkberg, Tomas Akenine-Möller, Jacob Ström	High Quality Normal Map Compression.	Graphics Hardware	2006	DBLP DOI BibTeX RDF
21	Michael Meißner, Bengt-Olaf Schneider (eds.)	Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Symposium on Graphics Hardware 2005, Los Angeles, California, USA, July 30-31, 2005	Graphics Hardware	2005	DBLP BibTeX RDF