Search Results - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization AND Design*
-
1
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Parallel and Distributed Systems. 33:1464-1477
Subject Terms: [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)
File Description: application/pdf
Access 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
Authors: et al.
Contributors: et al.
Source: ISSN: 1383-7621 ; Journal of Systems Architecture ; https://hal.science/hal-04433439 ; Journal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: Journal of Software Engineering and Applications. :353-397
Subject Terms: 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
-
4
Authors: et al.
Contributors: et al.
Source: IEEE Design & Test. 35:31-37
Subject Terms: 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
Access 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/ -
5
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
-
6
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
-
7
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Computers. 63:1600-1612
Subject Terms: 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
Access 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 -
8
Authors:
Contributors:
Source: 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
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Embedded Computing Systems. 13:1-37
Subject Terms: 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
Access 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 -
10
Authors: et al.
Contributors: et al.
Source: 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⟩.
Subject Terms: 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]
-
11
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-02527366 ; [Research Report] RR-9336, Inria Rennes Bretagne Atlantique. 2020.
Subject Terms: 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]
-
12
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
-
13
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
-
14
Authors: et al.
Contributors: et al.
Source: 2nd Web Audio Conference
https://hal.science/hal-01304889
2nd Web Audio Conference, Apr 2016, Atlanta, GA, United States
http://webaudio.gatech.edu/Subject Terms: 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]
Subject Geographic: Atlanta, GA, United States
-
15
Authors: et al.
Contributors: et al.
Source: ACM Computers in Entertainment ; https://hal.science/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩
Subject Terms: 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]
Availability: 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
Authors: et al.
Contributors: et al.
Source: 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/
Subject Terms: 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
-
17
Authors: et al.
Contributors: et al.
Source: HPDC '13: 22th International ACM Symposium on High-Performance Parallel and Distributed Computing ; https://inria.hal.science/hal-00809847 ; HPDC '13: 22th International ACM Symposium on High-Performance Parallel and Distributed Computing, Jun 2013, New York, United States. pp.155-166, ⟨10.1145/2462902.2462918⟩
Subject Terms: 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.1: Distributed systems, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: New York, United States
-
18
Authors: et al.
Contributors: et al.
Source: ACM symposium on Principles of distributed computing (PODC'13) ; https://hal.science/hal-01151136 ; ACM symposium on Principles of distributed computing (PODC'13), Jul 2013, New-York, United States. pp.84-91, ⟨10.1145/2484239.2484271⟩
Subject Terms: Agreement problem, Synchronous distributed system, Byzantine process, Message-passing model, Round-based protocol, EIG, Consensus, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures/C.1.4.0: Distributed architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, 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.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrency, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Subject Geographic: New-York, United States
-
19
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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
-
20
Authors: et al.
Contributors: et al.
Source: The 13th Workshop on Adaptive and Reflective Middleware (ARM 2014), in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference 2014, Bordeaux, France ; https://inria.hal.science/hal-01081147 ; The 13th Workshop on Adaptive and Reflective Middleware (ARM 2014), in conjunction with ACM/IFIP/USENIX ACM International Middleware Conference 2014, Bordeaux, France, Dec 2014, Bordeaux, France. ⟨10.1145/2677017.2677023⟩ ; http://site.uit.no/arm2014/
Subject Terms: Cyber Foraging, Surrogate, Remote Execution, Wireless, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Full Text Finder 
Nájsť tento článok vo Web of Science