Suchergebnisse - "ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization AND Design*"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Transactions on Parallel and Distributed Systems. 33:1464-1477
Schlagwörter: [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Experiment-driven research, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 02 engineering and technology, Distributed computing experimentation library, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, Parallel, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], and Cluster Computing [cs.DC], ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.2: Installation Management/K.6.2.3: Performance and usage measurement, Performance evaluation, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.3: Performance evaluation (efficiency and effectiveness)
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-03324177/file/tpds-enoslib-preprint.pdf
http://ieeexplore.ieee.org/document/9534688
https://hal.inria.fr/hal-03324177
https://www.computer.org/csdl/journal/td/5555/01/09534688/1wLblAxTkxq
https://ieeexplore.ieee.org/document/9534688
https://hal.inria.fr/hal-03324177/document
https://hal.archives-ouvertes.fr/hal-03324177v1 -
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 1383-7621 ; Journal of Systems Architecture ; https://hal.science/hal-04433439 ; Journal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩.
Schlagwörter: Abstract interpretation, Real-time systems, Worst-Case Execution Time analysis, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO]Computer Science [cs]
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Design & Test. 35:31-37
Schlagwörter: formal methods, real-time testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, model-based testing, real-time systems, runtime enforcement, parametric timed model, 13. Climate action, RTOS, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Zugangs-URL: https://hal.archives-ouvertes.fr/hal-01713193/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf
https://hal.archives-ouvertes.fr/hal-01713193/document
https://doi.org/10.1109/MDAT.2018.2791801
https://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18
https://hal.archives-ouvertes.fr/hal-01713193
http://doi.org/10.1109/MDAT.2018.2791801
https://ieeexplore.ieee.org/document/8253506/ -
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Software Engineering and Applications. :353-397
Schlagwörter: Design Method, Comparison Criteria, Embedded System, [INFO]Computer Science [cs], Real-Time System, Modelling Language, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système ; https://hal.science/hal-01891398 ; Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Schlagwörter: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO]Computer Science [cs], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: RSP 2018 - 29th International Symposium on Rapid System Prototyping ; https://hal.science/hal-01891599 ; RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7
Schlagwörter: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://inria.hal.science/hal-02527366 ; [Research Report] RR-9336, Inria Rennes Bretagne Atlantique. 2020.
Schlagwörter: Ressource manager, Edge computing, DSLS, Gestionnaire de ressource, Informatique en péripherie, DSL, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
8
Autoren:
Weitere Verfasser:
Quelle: Congrès JRES : Les Journées Réseaux de l'Enseignement et de la Recherche ; https://hal.science/hal-01639362 ; Congrès JRES : Les Journées Réseaux de l'Enseignement et de la Recherche, Nov 2017, Nantes, France
Schlagwörter: Gestion de parc, Centralisation, Logiciel libre, Mises à jour, Automatisation, Apple, Self-service, Catalogue, Applications, Déploiement, Package, macOs, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.9: Systems Programs and Utilities, [INFO]Computer Science [cs], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: First international conference on Embedded & Distributed Systems, EDiS’2017 ; https://hal.science/hal-01723503 ; First international conference on Embedded & Distributed Systems, EDiS’2017, Dec 2017, Oran, Algeria
Schlagwörter: Mobile computing, Operating system, Energy consumption modeling, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [SCCO.COMP]Cognitive science/Computer science, [INFO]Computer Science [cs], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Schlagwörter: Analyzer, Certifier, Coq-vertified, Real-time system verification, Formal Analysis, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://inria.hal.science/hal-01816248 ; IEEE Transactions on Parallel and Distributed Systems, 2018, pp.1-14. ⟨10.1109/TPDS.2018.2855158⟩.
Schlagwörter: Index Terms—Cloud Computing, Infrastructure-as-a-Service, VM placement, energy, simulation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.1: Modeling and prediction, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.3: Tools, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Transactions on Computers. 63:1600-1612
Schlagwörter: safety-critical systems, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, 02 engineering and technology, ACM: D.: Software, [INFO] Computer Science [cs], WCRT, PRET, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, PRET-C, time predictability, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, 3. Good health, synchronous languages, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, ACM: C.: Computer Systems Organization, WCET
Zugangs-URL: https://inria.hal.science/hal-01095468v1
https://doi.org/10.1109/tc.2013.28
http://ieeexplore.ieee.org/document/6463378/
https://ieeexplore.ieee.org/document/6463378
https://doi.org/10.1109/TC.2013.28
https://dblp.uni-trier.de/db/journals/tc/tc63.html#AndalamRGT14
https://hal.inria.fr/hal-01095468
https://www.computer.org/csdl/trans/tc/preprint/06463378.html -
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Embedded Computing Systems. 13:1-37
Schlagwörter: safety-critical systems, resource sharing, timing analysis, 02 engineering and technology, [INFO] Computer Science [cs], 6. Clean water, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, 13. Climate action, predictability, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, embedded systems
Zugangs-URL: http://dl.
acm .org/ft_gateway.cfm?id=2560033&type=pdf
https://inria.hal.science/hal-01095461v1
https://doi.org/10.1145/2560033
https://dblp.uni-trier.de/db/journals/tecs/tecs13.html#AxerEFGGGJMRRSHW014
https://dl.acm .org/citation.cfm?doid=2592905.2560033
http://user.it.uu.se/~yi/pdf-files/predictability-tecs13.pdf
https://dl.acm .org/doi/pdf/10.1145/2560033
https://hal-univ-tlse3.archives-ouvertes.fr/hal-01095461v1
https://scholars.cityu.edu.hk/en/publications/building-timing-predictable-embedded-systems(556af0ab-da90-481c-8e96-5583f9e7c240).html -
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 2nd Web Audio Conference
https://hal.science/hal-01304889
2nd Web Audio Conference, Apr 2016, Atlanta, GA, United States
http://webaudio.gatech.edu/Schlagwörter: Synchronisation, HTML5, Web Audio API, Audio, Distributed, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.5: Sound and Music Computing, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures/C.1.4.0: Distributed architectures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Geographisches Schlagwort: Atlanta, GA, United States
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Computers in Entertainment ; https://hal.science/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩
Schlagwörter: Planning under uncertainty, Symbolic and algebraic algorithms, Motif discovery, Heuristic function construction, Markov processes, Combinatorics on words, Music retrieval, Performing arts, Sound and music computing, modeling and modularity, Abstraction, Real-time system architecture, Intelligent agents, Modeling methodologies, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.5: Sound and Music Computing/H.5.5.1: Modeling, HCI)/H.5.5: Sound and Music Computing/H.5.5.2: Signal analysis, synthesis, and processing, HCI)/H.5.5: Sound and Music Computing/H.5.5.3: Systems, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.4: Heuristic methods, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.3: Pattern matching, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.1: Models/I.5.1.5: Structural, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.1: Signal processing, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.1: Intelligent agents, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Verfügbarkeit: https://hal.science/hal-01380163
https://hal.science/hal-01380163v1/document
https://hal.science/hal-01380163v1/file/ACM-CiE_ImproteK_Nika-et-al_2017.pdf
https://doi.org/10.1145/3022635 -
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Lecture Notes in Computer Science ; 1st International Conference on Theoretical Computer Science (TTCS) ; https://hal.science/hal-01202799 ; 1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Schlagwörter: real time model checking, time Petri nets, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1509.06507; info:eu-repo/grantAgreement//11025/EU/ITEA3 OpenETCS/OpenETCS; ARXIV: 1509.06507
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Computer Society ; FiCloud - International Conference on Future Internet of Things and Cloud - 2015 ; https://inria.hal.science/hal-01193142 ; FiCloud - International Conference on Future Internet of Things and Cloud - 2015, Helen Karatza; Beniamino Di Martino, Aug 2015, Rome, Italy. ⟨10.1109/FiCloud.2015.90⟩ ; http://www.ficloud.org/2015/
Schlagwörter: Embedded Web Server, Embedded System, Internet of Things, Energy Consumption, Power Measurement, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design/C.2.1.10: Wireless communication, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://inria.hal.science/hal-04358184 ; 2023.
Schlagwörter: Perception Humaine, Sensori-motricité, Haptique, IHM, Réalité virtuelle, Périphériques d'interaction, Retour Haptique, Haptique proprioception et tactile, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.3: Interactive systems, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.0: Human factors, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.5: Haptic I/O, [INFO]Computer Science [cs], [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [PHYS.MECA.GEME]Physics [physics]/Mechanics [physics]/Mechanical engineering [physics.class-ph], [SDV.NEU.SC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciences, [SHS.PSY]Humanities and Social Sciences/Psychology, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [SPI.TRON]Engineering Sciences [physics]/Electronics
Verfügbarkeit: https://inria.hal.science/hal-04358184
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://theses.hal.science/tel-04394652 ; Embedded Systems. Université de Lille, 2023. English. ⟨NNT : ⟩.
Schlagwörter: Worst-case execution time, Static analysis, Symbolic computation, Pire temps d'exécution, Analyse statique de programmes, Calcul symbolique, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: tel-04394652; https://theses.hal.science/tel-04394652; https://theses.hal.science/tel-04394652/document; https://theses.hal.science/tel-04394652/file/125413_GREBANT_2023_archivage.pdf
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: DataCloud'14: The 5th International Workshop on Data-Intensive Computing in the Clouds (held in conjunction with SC14) ; https://inria.hal.science/hal-01094609 ; DataCloud'14: The 5th International Workshop on Data-Intensive Computing in the Clouds (held in conjunction with SC14), Nov 2014, New Orleans, United States. pp.9-16, ⟨10.1109/DataCloud.2014.7⟩
Schlagwörter: incremental processing, MapReduce, data management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Geographisches Schlagwort: New Orleans, United States
Full Text Finder 
Nájsť tento článok vo Web of Science