-
1Academic Journal
Authors: Collin Sullivan
Source: Innovative Higher Education.
Linked Full TextSubject Terms: Performance Assessment, Governance, Sociology of Education, Sociology of Profession, Microcredentials, Educational Research, Control Structures and Microprogramming, Higher Education, Digital badges, Quality assurance, Taxonomy, Evaluation rubric
-
2Academic Journal
Source: IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 19(3):1694-1702 Jun, 2022
Linked Full Text -
3Academic Journal
Source: Computing in Science & Engineering Comput. Sci. Eng. Computing in Science & Engineering. 22(1):53-63 Jan, 2020
Linked Full Text -
4Conference
Authors: Bharadwaj, Vishnu P., Kohalli, Manjunath
Source: 2017 2nd International Conference for Convergence in Technology (I2CT) Convergence in Technology (I2CT), 2017 2nd International Conference for. :1140-1143 Apr, 2017
Relation: 2017 2nd International Conference for Convergence in Technology (I2CT)
-
5eBook
Contributors: Groote, Jan Friso, Larsen, Kim Guldstrand
Subject Terms: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering
File Description: image/png; image/jpeg
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
6eBook
Contributors: Panda, Dhabaleswar K.
Subject Terms: Computer Systems Organization and Communication Networks, Image Processing and Computer Vision, Control Structures and Microprogramming, Input/Output and Data Communications, Operating Systems, Information Systems and Communication Service, Computer Engineering and Networks, Computer Vision, Database Management System, computer hardware, computer networks, computer systems, distributed computer systems, distributed systems, embedded systems, hpc, image processing, microprocessor chips, network protocols, parallel architectures, parallel processing systems, processors, signal processing, telecommunication networks, telecommunication systems, telecommunication traffic, open access, Computer networking & communications, Image processing, Computer vision, Algorithms & data structures, Distributed databases, Operating systems, Computer networking and communications, 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/38238
http://library.oapen.org/handle/20.500.12657/39588
https://library.oapen.org/bitstream/20.500.12657/39588/1/2020_Book_SupercomputingFrontiers.pdf -
7eBook
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 -
8eBook
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 -
9eBook
Contributors: Müller, Peter
Subject Terms: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, Programming and scripting languages: general, Computer networking and communications, Algorithms and data structures, Natural language and machine translation
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/28495
http://library.oapen.org/handle/20.500.12657/37721
https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf -
10Academic Journal
Authors: Ho, Chen-Han, Staus, Garret, Ullmer, Aaron, Sakaralingam, Karu
Source: IEEE Computer Architecture Letters IEEE Comput. Arch. Lett. Computer Architecture Letters. 10(2):37-40 Dec, 2011
Linked Full Text -
11Conference
Authors: Black, Benjamin A., Book, Wayne J.
Source: 2008 Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems Haptic interfaces for virtual environment and teleoperator systems, 2008. haptics 2008. symposium on. :253-257 Mar, 2008
Relation: 2008 Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems
-
12Book
Contributors: Panda, Dhabaleswar K.
Subject Terms: Computer Systems Organization and Communication Networks, Image Processing and Computer Vision, Control Structures and Microprogramming, Input, Arquitectura de software, Desarrollo de software, Ingeniería de software
File Description: 139 páginas; application/pdf; application/octet-stream
Relation: https://directory.doabooks.org/handle/20.500.12854/38238; http://hdl.handle.net/20.500.12010/18149
-
13Book
Contributors: Wehrheim, Heike, Cabot, Jordi
Subject Terms: Software Engineering, Special Purpose and Application-Based Systems, Control Structures and Microprogramming, Ingeniería de software, Arquitectura de software, Reingeniería de software
File Description: 552 páginas; application/pdf
Relation: https://directory.doabooks.org/handle/20.500.12854/28633; http://hdl.handle.net/20.500.12010/17511
-
14Academic Journal
Authors: Gonzalez, Antonio, Mahlke, Scott, Mukherjee, Shubu, Sendag, Resit, Chiou, Derek, Yi, Joshua J.
Source: IEEE Micro Micro, IEEE. 27(6):36-45 Jan, 2007
Linked Full Text -
15Academic Journal
Contributors: Laboratoire de Productique, des Energies et du Développement Durable Fès, Université Sidi Mohamed Ben Abdellah (USMBA)
Source: ISSN: 1791-2377 ; Journal of Engineering Science and Technology Review ; https://hal.archives-ouvertes.fr/hal-01538692 ; Journal of Engineering Science and Technology Review, Eastern Macedonia and Thrace Institute of Technology, 2017, 10, pp.8 - 13. ⟨10.25103/jestr.102.02⟩.
Subject Terms: Solar Energy Measurement, Proteus, PV panel, Arduino UNO, Spice, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING, [SPI.NRJ]Engineering Sciences [physics]/Electric power, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
Relation: hal-01538692; https://hal.archives-ouvertes.fr/hal-01538692; https://hal.archives-ouvertes.fr/hal-01538692/document; https://hal.archives-ouvertes.fr/hal-01538692/file/paper_with_data.pdf
-
16Academic Journal
Authors: Houben, Christina, Houben, Sebastian
Source: Leibniz Transactions on Embedded Systems; Vol. 3 No. 1 (2016); 01:1-01:20 ; 2199-2002 ; 10.4230/LITES-v003-i001
Subject Terms: Fault tolerance, Functional safety, PEARL, Embedded systems, Software engineering, Control Structures and Microprogramming~Control Structure Reliability, Testing, and Fault-Tolerance, Programming Languages, Language Constructs and Features, Computers in Other Systems, Real-time, Advanced Driver Assistance Systems, Space Flight
File Description: application/pdf
Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v003-i001-a001/lites-v003-i001-a001-pdf
-
17Conference
Contributors: NVIDIA Corporation Bangalore, NVIDIA Research Austin, Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (CAIRN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
Source: FCCM - 22nd IEEE International Symposium on Field-Programmable Custom Computing Machines ; https://inria.hal.science/hal-01017185 ; FCCM - 22nd IEEE International Symposium on Field-Programmable Custom Computing Machines, May 2014, Boston, United States. pp.230-233, ⟨10.1109/FCCM.2014.68⟩
Subject Terms: Low power, microcontrollers, power gating, reconfigurable hardware, wireless sensor networks, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING, ACM: B.: Hardware/B.7: INTEGRATED CIRCUITS/B.7.1: Types and Design Styles, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Subject Geographic: Boston, United States
Time: Boston, United States
-
18Academic Journal
Authors: Matyska, Ludek, Kozubek, Michal, Vojnar, Tomáš, Zemcík, Pavel, Antos, David
Contributors: Ludek Matyska and Michal Kozubek and Tomáš Vojnar and Pavel Zemcík and David Antos
Subject Terms: Control structures and microprogramming, Input/output and data communications, Integrated circuits, Performance and reliability
File Description: application/pdf
Relation: Is Part Of OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010
-
19Academic Journal
Authors: Woods, J. V., Day, P., Furber, S. B., Garside, J. D., Paver, N. C., Temple, S.
Source: Woods, J V, Day, P, Furber, S B, Garside, J D, Paver, N C & Temple, S 1997, 'AMULET1: A Asynchronous ARM Microprocessor', IEEE Trans. Computers, vol. 46, no. 4, pp. 385-398. < http://dblp.uni-trier.de/db/journals/tc/tc46.html#WoodsDFGPT97 >
Woods, J V, Day, P, Furber, S B, Garside, J D, Paver, N C & Temple, S 1997, 'AMULET 1 : An asynchronous ARM microprocessor', IEEE Transactions on Computers, vol. 46, no. 4, pp. 385-398. https://doi.org/10.1109/12.588033Subject Terms: and design styles, Processor architectures, Integrated circuits, types, and design styles, 9. Industry and infrastructure, 0202 electrical engineering, electronic engineering, information engineering, Integrated circuits, types, Single data stream architectures, 02 engineering and technology, Control design styles, 7. Clean energy, Control structures and microprogramming
Access URL: http://apt.cs.manchester.ac.uk/ftp/pub/apt/papers/AMULET1_ieee97.pdf
https://research.manchester.ac.uk/en/publications/1c2e2e7a-3bfc-47a6-b190-acfd0094fc5e
https://doi.org/10.1109/12.588033
https://research.manchester.ac.uk/en/publications/42706e1d-086e-42b6-a5ab-cc36d575dd68
http://apt.cs.manchester.ac.uk/ftp/pub/apt/papers/AMULET1_ieee97.pdf
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:1h214
https://doi.org/10.1109/12.588033
http://ieeexplore.ieee.org/document/588033/
https://dblp.uni-trier.de/db/journals/tc/tc46.html#WoodsDFGPT97
https://ieeexplore.ieee.org/document/588033/
https://research.manchester.ac.uk/en/publications/42706e1d-086e-42b6-a5ab-cc36d575dd68
http://dblp.uni-trier.de/rec/bibtex/journals/tc/WoodsDFGPT97.xml
http://dblp.uni-trier.de/rec/bibtex/journals/tc/WoodsDFGPT97
http://dblp.uni-trier.de/db/journals/tc/tc46.html#WoodsDFGPT97
https://research.manchester.ac.uk/en/publications/1c2e2e7a-3bfc-47a6-b190-acfd0094fc5e
https://doi.org/10.1109/12.588033
http://www.scopus.com/inward/record.url?scp=0031117668&partnerID=8YFLogxK -
20Report
Authors: Alias, Christophe, Rastello, Fabrice, Plesco, Alexandru
Contributors: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Compiler Optimization and Run-time Systems (CORSE), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), XtremLogic Lyon, INRIA, ROMA, CORSE
Source: https://inria.hal.science/hal-01301334 ; [Research Report] 8900, INRIA. 2016, pp.18.
Subject Terms: High-level synthesis, fine-grain loop optimization, control automaton, pipeline, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING, ACM: B.: Hardware/B.7: INTEGRATED CIRCUITS/B.7.2: Design Aids, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Relation: Report N°: 8900