Search Results for - Narrowed by: Computer science. - Computer hardware.

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2024-05-20T12:19:10Z

Yazar Lohstroh, Marten. editor.
https://doi.org/10.1007/978-3-319-95246-8
Format: Electronic Resources

System and Architecture Proceedings of CSI 2015

2024-05-20T12:19:10Z

Yazar Muttoo, Sunil Kumar. editor.
https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

2024-05-20T12:19:10Z

Yazar O’Regan, Gerard. author.
https://doi.org/10.1007/978-3-030-02619-6
Format: Electronic Resources

Interrupt Handling Schemes in Operating Systems

2024-05-20T12:19:10Z

Yazar Mejia-Alvarez, Pedro. author.
https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources

Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-05-20T12:19:10Z

Yazar Schmorrow, Dylan D. editor.
https://doi.org/10.1007/978-3-319-91470-1
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings

2024-05-20T12:19:10Z

Yazar Joux, Antoine. editor.
https://doi.org/10.1007/978-3-319-89339-6
Format: Electronic Resources

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources

VLSI Design and Test 21st International Symposium, VDAT 2017, Roorkee, India, June 29 – July 2, 2017, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Kaushik, Brajesh Kumar. editor.
https://doi.org/10.1007/978-981-10-7470-7
Format: Electronic Resources

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2024-05-20T12:19:10Z

Yazar Chen, Quan. author.
https://doi.org/10.1007/978-981-10-6238-4
Format: Electronic Resources

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2024-05-20T12:19:10Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources

Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings

2024-05-20T12:19:10Z

Yazar Noguet, Dominique. editor.
http://dx.doi.org/10.1007/978-3-319-40352-6
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Standaert, François-Xavier. editor.
http://dx.doi.org/10.1007/978-3-319-43283-0
Format: Electronic Resources

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

2024-05-20T12:19:10Z

Yazar Herdt, Vladimir. author.
http://dx.doi.org/10.1007/978-3-658-12680-3
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems – CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings

2024-05-20T12:19:10Z

Yazar Gierlichs, Benedikt. editor.
http://dx.doi.org/10.1007/978-3-662-53140-2
Format: Electronic Resources

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Shin, Youngsoo. editor.
http://dx.doi.org/10.1007/978-3-319-46097-0
Format: Electronic Resources

Robotics 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Santos Osório, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-47247-8
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-05-20T12:19:10Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings

2024-05-20T12:19:10Z

Yazar Bonato, Vanderlei. editor.
http://dx.doi.org/10.1007/978-3-319-30481-6
Format: Electronic Resources

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design

2024-05-20T12:19:10Z

Yazar Fakhfakh, Mourad. editor.
http://dx.doi.org/10.1007/978-3-319-19872-9
Format: Electronic Resources

Computational Intelligence in Digital and Network Designs and Applications

2024-05-20T12:19:10Z

Yazar Fakhfakh, Mourad. editor.
http://dx.doi.org/10.1007/978-3-319-20071-2
Format: Electronic Resources

High Performance Computing Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings

2024-05-20T12:19:10Z

Yazar Osthoff, Carla. editor.
http://dx.doi.org/10.1007/978-3-319-26928-3
Format: Electronic Resources

VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Orailoglu, Alex. editor.
http://dx.doi.org/10.1007/978-3-319-23799-2
Format: Electronic Resources

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2024-05-20T12:19:10Z

Yazar Terboven, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-24595-9
Format: Electronic Resources

Applications and Usability of Interactive TV Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Abásolo, María José. editor.
http://dx.doi.org/10.1007/978-3-319-22656-9
Format: Electronic Resources

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

2024-05-20T12:19:10Z

Yazar Sano, Kentaro. editor.
http://dx.doi.org/10.1007/978-3-319-16214-0
Format: Electronic Resources

Evolvable Hardware From Practice to Application

2024-05-20T12:19:10Z

Yazar Trefzer, Martin A. author.
http://dx.doi.org/10.1007/978-3-662-44616-4
Format: Electronic Resources

VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers

2024-05-20T12:19:10Z

Yazar Claesen, Luc. editor.
http://dx.doi.org/10.1007/978-3-319-25279-7
Format: Electronic Resources

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

2024-05-20T12:19:10Z

Yazar Drechsler, Rolf. editor.
http://dx.doi.org/10.1007/978-3-658-09994-7
Format: Electronic Resources

Memristor Networks

2024-05-20T12:19:10Z

Yazar Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-02630-5
Format: Electronic Resources

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

2024-05-20T12:19:10Z

Yazar Anderson, Neal G. editor.
http://dx.doi.org/10.1007/978-3-662-43722-3
Format: Electronic Resources

Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

2024-05-20T12:19:10Z

Yazar Mladenov, Valeri M. editor.
http://dx.doi.org/10.1007/978-3-319-08672-9
Format: Electronic Resources

Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings

2024-05-20T12:19:10Z

Yazar Goehringer, Diana. editor.
http://dx.doi.org/10.1007/978-3-319-05960-0
Format: Electronic Resources

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2024-05-20T12:19:10Z

Yazar Kovalev, Mikhail. author.
http://dx.doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources

Trustworthy Reconfigurable Systems Enhancing the Security Capabilities of Reconfigurable Hardware Architectures

2024-05-20T12:19:10Z

Yazar Feller, Thomas. author.
http://dx.doi.org/10.1007/978-3-658-07005-2
Format: Electronic Resources

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2024-05-20T12:19:10Z

Yazar DeRose, Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

2024-05-20T12:19:10Z

Yazar Biedermann, Alexander. author.
http://dx.doi.org/10.1007/978-3-658-08047-1
Format: Electronic Resources