Ethernet for High-Throughput Computing at CERN

Authors: Krawczyk, R., Colombo, T., Neufeld, N., Pisani, F., Valat, S.

Source: IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 33(12):3640-3650 Dec, 2022

Towards On-Board Implementation of ML-Based Helicopter Weight Estimator

Authors: Valot, Nicolas, Mechouche, Ammar, Lesage, Benjamin, Pagetti, Claire, Fabre, Louis

Contributors: Airbus Helicopters, Aeroport International de Marseille-Provence, DTIS, ONERA, Université de Toulouse Toulouse, ONERA-Communauté d'universités et établissements de Toulouse (Comue de Toulouse), PATO DGAC, The Future of Vertical Flight (VFS), ANR-23-IACL-0002,ANITI IA Cluster,Artificial and Natural Intelligence Toulouse Institute(2023)

Source: The 2026 Annual Forum and Technology Display (Forum 82) ; https://hal.science/hal-05655153 ; The 2026 Annual Forum and Technology Display (Forum 82), The Future of Vertical Flight (VFS), May 2026, Palm Beach Florida, USA, United States

Subject Terms: Certification, Implementation, Semantic preservation, Embedded AI, ACM: C.: Computer Systems Organization/C.5: COMPUTER SYSTEM IMPLEMENTATION, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Palm Beach Florida, USA, United States

Availability: https://hal.science/hal-05655153
https://hal.science/hal-05655153v1/document
https://hal.science/hal-05655153v1/file/main.pdf

A Visualisation Driven Training for Vibrotactile Skin Reading

Authors: Luzhnica, G., Veas, E.

Source: IEEE Transactions on Haptics IEEE Trans. Haptics Haptics, IEEE Transactions on. 15(1):103-108 Jan, 2022

Scalable Reactive Molecular Dynamics Simulations for Computational Synthesis

Authors: Li, Y., Nomura, K., Insley, J.A., Morozov, V., Kumaran, K., Romero, N.A., Goddard, W.A., Kalia, R.K., Nakano, A., Vashishta, P.

Source: Computing in Science & Engineering Comput. Sci. Eng. Computing in Science & Engineering. 21(5):64-75 Jan, 2019

Purchasing Power: Rivalry, Dissent, and Computing Strategy in Supercomputer Selection at Los Alamos

Authors: Lewis, Nicholas

Source: IEEE Annals of the History of Computing IEEE Annals Hist. Comput. Annals of the History of Computing, IEEE. 39(3):25-40 2017

Wide-area scene mapping for mobile visual tracking

Authors: Ventura, Jonathan, Hollerer, Tobias

Source: 2012 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) Mixed and Augmented Reality (ISMAR), 2012 IEEE International Symposium on. :3-12 Nov, 2012

Relation: 2012 IEEE International Symposium on Mixed and Augmented Reality (ISMAR)

An Agile Approach to Building RISC-V Microprocessors

Authors: Lee, Yunsup, Waterman, Andrew, Cook, Henry, Zimmer, Brian, Keller, Ben, Puggelli, Alberto, Kwak, Jaehwa, Jevtic, Ruzica, Bailey, Stevo, Blagojevic, Milovan, Chiu, Pi-Feng, Avizienis, Rimas, Richards, Brian, Bachrach, Jonathan, Patterson, David, Alon, Elad, Nikolic, Bora, Asanovic, Krste

Source: IEEE Micro Micro, IEEE. 36(2):8-20 Jan, 2016

The Netflix Challenge: Datacenter Edition

Authors: Delimitrou, Christina, Kozyrakis, Christos

Source: IEEE Computer Architecture Letters IEEE Comput. Arch. Lett. Computer Architecture Letters. 12(1):29-32 Jun, 2013

Once Upon a Pocket: Programmable Calculators from the Late 1970s and Early 1980s and the Social Networks Around Them

Authors: Ristanović, Dejan, Protić, Jelica

Source: IEEE Annals of the History of Computing IEEE Annals Hist. Comput. Annals of the History of Computing, IEEE. 34(3):55-66 Sep, 2012

Exploiting Workload Parallelism for Performance and Power Optimization in Blue Gene

Authors: Salapura, V., Walkup, R., Gara, A.

Source: IEEE Micro Micro, IEEE. 26(5):67-81 Jan, 2006

Horus: large-scale symmetric multiprocessing for Opteron systems

Authors: Rajesh Kota, Oehler, R.

Source: IEEE Micro Micro, IEEE. 25(2):30-40 Apr, 2005

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Biere, Armin, Parker, David

Subject Terms: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/31311
http://library.oapen.org/handle/20.500.12657/37722
https://library.oapen.org/bitstream/20.500.12657/37722/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Fundamental Approaches to Software Engineering

Contributors: Wehrheim, Heike, Cabot, Jordi

Subject Terms: Software Engineering, Special Purpose and Application-Based Systems, Control Structures and Microprogramming, Computer System Implementation, Information Systems and Communication Service, Artificial Intelligence, open access, software engineering, requirements engineering, model-based design, software analysis, testing, software architectures, security, model transformations, software evolution, software product lines, architecting, artificial intelligence, computer programming, computer systems, embedded systems, mathematics, software architecture, software design, Expert systems / knowledge-based systems, Algorithms & data structures, Systems analysis & design, Computer networking & communications, Artificial intelligence, Algorithms and data structures, Systems analysis and design, Computer networking and communications

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/28633
http://library.oapen.org/handle/20.500.12657/37725
https://library.oapen.org/bitstream/20.500.12657/37725/1/2020_Book_FundamentalApproachesToSoftwar.pdf

The Impact of Digital Technologies on Public Health in Developed and Developing Countries

Contributors: Jmaiel, Mohamed, Mokhtari, Mounir, Abdulrazak, Bessam, Aloulou, Hamdi, Kallel, Slim

Subject Terms: Computer Communication Networks, Artificial Intelligence, Information Systems Applications (incl. Internet), Special Purpose and Application-Based Systems, Computer System Implementation, User Interfaces and Human Computer Interaction, Computer and Information Systems Applications, open access, artificial intelligence, communication systems, computer vision, databases, hci, human-computer interaction, image processing, Internet of Things, IoT, machine learning, network protocols, sensors, signal processing, software architecture, software design, telecommunication networks, telecommunication systems, user interfaces, wireless telecommunication systems, Network hardware, Artificial intelligence, Information retrieval, Internet searching, Expert systems / knowledge-based systems, Systems analysis & design, User interface design & usability, Systems analysis and design, User interface design and usability

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Access URL: https://directory.doabooks.org/handle/20.500.12854/34276
https://library.oapen.org/handle/20.500.12657/39976
https://library.oapen.org/bitstream/20.500.12657/39976/1/2020_Book_TheImpactOfDigitalTechnologies.pdf

Cyber Security

Contributors: Lu, Wei, Wen, Qiaoyan, Zhang, Yuqing, Lang, Bo, Wen, Weiping, Yan, Hanbing, Li, Chao, Ding, Li, Li, Ruiguang, Zhou, Yu

Subject Terms: Systems and Data Security, Computer Communication Networks, Information Systems Applications (incl. Internet), Computer System Implementation, Cryptology, Mobile and Network Security, Data and Information Security, Computer and Information Systems Applications, communication channels (information theory), communication systems, computer crime, computer hardware, computer networks, computer security, computer systems, cryptography, data communication systems, data security, databases, network protocols, network security, sensors, signal processing, telecommunication networks, telecommunication systems, telecommunication traffic, wireless telecommunication systems, Network hardware, Information retrieval, Internet searching, Systems analysis & design, Coding theory & cryptology, Data encryption, Computer security, Systems analysis and design, Coding theory and cryptology, Network security

File Description: image/jpeg

Relation: Communications in Computer and Information Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/63624
https://library.oapen.org/handle/20.500.12657/46787
https://library.oapen.org/bitstream/20.500.12657/46787/1/2020_Book_CyberSecurity.pdf

Reversible Computation: Extending Horizons of Computing

Contributors: Ulidowski, Irek, Lanese, Ivan, Schultz, Ulrik Pagh, Ferreira, Carla

Subject Terms: Logic Design, Computer System Implementation, Computer Communication Networks, Special Purpose and Application-Based Systems, Software Engineering, Operating Systems, open access, reversible computation, semantics of reversible computation, formal methods, models of computation, circuit design, simulation, robotics, debugging, quantum computing, wireless communications, programming languages, dependability, modelling of biochemical systems, computer networks, engineering, software engineering, parallel processing systems, theoretical computer science, Computer architecture & logic design, Systems analysis & design, Network hardware, Expert systems / knowledge-based systems, Operating systems, Computer architecture and logic design, Systems analysis and design

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/38350
http://library.oapen.org/handle/20.500.12657/39589
https://library.oapen.org/bitstream/20.500.12657/39589/1/2020_Book_ReversibleComputationExtending.pdf

Exploring Customizable Heterogeneous Power Distribution and Management for Datacenter

Authors: Liu, L., Sun, H., Li, C., Hu, Y., Li, T., Zheng, N.

Source: IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 29(12):2798-2813 Dec, 2018

Wide area localization on mobile phones

Authors: Arth, Clemens, Wagner, Daniel, Klopschitz, Manfred, Irschara, Arnold, Schmalstieg, Dieter

Source: 2009 8th IEEE International Symposium on Mixed and Augmented Reality Mixed and Augmented Reality, 2009. ISMAR 2009. 8th IEEE International Symposium on. :73-82 Oct, 2009

Relation: 2009 8th IEEE International Symposium on Mixed and Augmented Reality (ISMAR)

Generic meta-modelling with concepts, templates and mixin layers

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Lecture Notes in Computer Science, Volumen 6394. Springer 2010. 16-30
978-3-642-16144-5 (print)
978-3-642-16145-2 (online)
0302-9743 (print)
1611-3349 (online)
16
30
6394

Subject Terms: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática

Access URL: http://hdl.handle.net/10486/664464

Formal support for QVT-Relations with Coloured Petri nets

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5795. Springer 2009. 256-270
978-3-642-04424-3 (print)
978-3-642-04425-0 (online)
0302-9743 (print)
1611-3349 (online)
256
270
5795

Subject Terms: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática

Access URL: http://hdl.handle.net/10486/664379