Ethernet for High-Throughput Computing at CERN

Συγγραφείς: Krawczyk, R., Colombo, T., Neufeld, N., Pisani, F., Valat, S.

Πηγή: 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

A Visualisation Driven Training for Vibrotactile Skin Reading

Συγγραφείς: Luzhnica, G., Veas, E.

Πηγή: 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

Συγγραφείς: Li, Y., Nomura, K., Insley, J.A., Morozov, V., Kumaran, K., Romero, N.A., Goddard, W.A., Kalia, R.K., Nakano, A., Vashishta, P.

Πηγή: 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

Συγγραφείς: Lewis, Nicholas

Πηγή: 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

Συγγραφείς: Ventura, Jonathan, Hollerer, Tobias

Πηγή: 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

Συγγραφείς: 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

Πηγή: IEEE Micro Micro, IEEE. 36(2):8-20 Jan, 2016

The Netflix Challenge: Datacenter Edition

Συγγραφείς: Delimitrou, Christina, Kozyrakis, Christos

Πηγή: 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

Συγγραφείς: Ristanović, Dejan, Protić, Jelica

Πηγή: 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

Συγγραφείς: Salapura, V., Walkup, R., Gara, A.

Πηγή: IEEE Micro Micro, IEEE. 26(5):67-81 Jan, 2006

Horus: large-scale symmetric multiprocessing for Opteron systems

Συγγραφείς: Rajesh Kota, Oehler, R.

Πηγή: IEEE Micro Micro, IEEE. 25(2):30-40 Apr, 2005

Tools and Algorithms for the Construction and Analysis of Systems

Συνεισφορές: Biere, Armin, Parker, David

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Wehrheim, Heike, Cabot, Jordi

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Jmaiel, Mohamed, Mokhtari, Mounir, Abdulrazak, Bessam, Aloulou, Hamdi, Kallel, Slim

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Lu, Wei, Wen, Qiaoyan, Zhang, Yuqing, Lang, Bo, Wen, Weiping, Yan, Hanbing, Li, Chao, Ding, Li, Li, Ruiguang, Zhou, Yu

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

Relation: Communications in Computer and Information Science

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Ulidowski, Irek, Lanese, Ivan, Schultz, Ulrik Pagh, Ferreira, Carla

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Liu, L., Sun, H., Li, C., Hu, Y., Li, T., Zheng, N.

Πηγή: 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

Συγγραφείς: Arth, Clemens, Wagner, Daniel, Klopschitz, Manfred, Irschara, Arnold, Schmalstieg, Dieter

Πηγή: 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)

Πηγή: 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

Θεματικοί όροι: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática

Σύνδεσμος πρόσβασης: 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)

Πηγή: 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

Θεματικοί όροι: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10486/664379

transML: A family of languages to model model transformations

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

Πηγή: 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. 106-120
978-3-642-16144-5 (print)
978-3-642-16145-2 (online)
0302-9743 (print)
1611-3349 (online)
119
126

Θεματικοί όροι: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10486/664562