Výsledky vyhledávání - acm: d.: software/d.4: operating system/d.4.8: performance/d.4.8.3: operational analysis
-
1
Autoři: Okunola, Abiodun
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: Séminaire SRCO - CERMID ; https://hal.inrae.fr/hal-05138693 ; Séminaire SRCO - CERMID, Société canadienne de recherche opérationnelle SCRO -Québec avec la collaboration du département Opérations et Systèmes de Décision et le CERMID, Apr 2025, Québec (Canada), Université Laval, Canada
Témata: Sustainibility transitions, Agricultural Stakeholders, Agroecological Performance, Agricultural Public Policies, Agroforestry systems, Agroforestery, Territorial Decision-Making, Multicriteria Evaluation ou Multicriteria Decision Aiding (MCDA), Decision support, Parties prenantes agricoles, Evaluation de la performance, Modélisation multicritère pour l'aide à la décision, Transition agroécologique agroécosystèmes, Agroforesterie, Poltiques publiques, Transition agroécologique, Systèmes agroforestiers, JEL: C - Mathematical and Quantitative Methods/C.C4 - Econometric and Statistical Methods: Special Topics/C.C4.C44 - Operations Research • Statistical Decision Theory, JEL: D - Microeconomics/D.D8 - Information, Knowledge, and Uncertainty/D.D8.D81 - Criteria for Decision-Making under Risk and Uncertainty, JEL: O - Economic Development, Innovation, Technological Change, and Growth/O.O1 - Economic Development/O.O1.O13 - Agriculture • Natural Resources • Energy • Environment • Other Primary Products, JEL: Q - Agricultural and Natural Resource Economics • Environmental and Ecological Economics/Q.Q5 - Environmental Economics/Q.Q5.Q57 - Ecological Economics: Ecosystem Services • Biodiversity Conservation • Bioeconomics • Industrial Ecology, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.3: Operational analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems/F.4.2.0: Decision problems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS/H.4.2: Types of Systems/H.4.2.0: Decision support (e.g.
Geografické téma: Université Laval
Time: Québec (Canada), Université Laval, Canada
-
3
Aging Analysis Framework of Windows-Based Systems through Differential-Analysis of System Snapshots.
Autoři:
Zdroj: Computers, Materials & Continua; 2022, Vol. 73 Issue 3, p5091-5102, 12p
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: ASIAN'06: 11th Annual Asian Computing Science Conference ; https://inria.hal.science/inria-00130210 ; ASIAN'06: 11th Annual Asian Computing Science Conference, National Institute of Informatics, Dec 2006, Tokyo/Japan
Témata: Language-based security, Monitoring, Automata, Information flow, Confidentiality, Non-interference, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
5
Autoři: a další
Zdroj: ACM Transactions on Embedded Computing Systems; Mar2013, Vol. 12 Issue 3, p1-22, 22p
-
6
Autoři:
Zdroj: Software Quality Journal; Mar2020, Vol. 28 Issue 1, p135-171, 37p
-
7
Autoři: a další
Zdroj: Journal of Supercomputing; Aug2019, Vol. 75 Issue 8, p4657-4683, 27p
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015) ; https://hal.science/hal-01213273 ; The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩
Témata: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Geografické téma: Edmonton
Time: Edmonton, Canada
Relation: hal-01213273; https://hal.science/hal-01213273
-
9
Autoři:
Zdroj: Behaviour & Information Technology; Sep2012, Vol. 31 Issue 9, p873-887, 15p
Témata: COMPUTER software, BUSINESS, COMMERCIAL product evaluation, FACTOR analysis, INDUSTRIES, MANAGEMENT, SCALE analysis (Psychology), T-test (Statistics), LOGISTIC regression analysis
Geografický termín: SRI Lanka
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00362844 ; [Research Report] PI 1923, 2009, pp.23.
Témata: Atomic object, Causal past, Commit/abort, Concurrency control, Consistency condition, Consistent global state, Lock, Read-from relation, Regular Read/write object, Serializability, Shared memory, Software transactional memory, Vector clock, Transaction, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
Relation: Report N°: PI 1923
-
11
Autoři: a další
Zdroj: ACM Transactions on Computer Systems; Jun2014, Vol. 32 Issue 2, p6:1-6:48, 48p
-
12
Autoři: Blum, Bruce I.
Zdroj: Journal of Software Maintenance: Research & Practice; Jan-Feb95, Vol. 7 Issue 1, p3-26, 24p
-
13
Autoři: a další
Zdroj: 2013 IEEE 12th International Symposium on Network Computing & Applications; 2013, p211-218, 8p
-
14
Autoři:
Zdroj: Bulletin of Electrical Engineering & Informatics; Jun2025, Vol. 14 Issue 3, p1779-1793, 15p
-
15
Autoři:
Zdroj: 2016 IEEE 24th International Symposium on Modeling, Analysis & Simulation of Computer & Telecommunication Systems (MASCOTS); 2016, p159-168, 10p
-
16
Autoři: Zave, Pamela
Zdroj: Communications of the ACM; Feb1984, Vol. 27 Issue 2, p104-118, 15p, 8 Diagrams, 3 Charts
-
17
Autoři: a další
Zdroj: Journal of Medical Systems; Oct2015, Vol. 39 Issue 10, p1-11, 11p
Témata: ARTIFICIAL intelligence, COMPUTERS, ELECTRIC power supplies to apparatus, INFORMATION storage & retrieval systems, MEDICAL databases, MICROPROCESSORS, ARTIFICIAL neural networks, OPERATING rooms, PORTABLE computers, RESEARCH funding, CELL phones, SOFTWARE architecture, DESCRIPTIVE statistics
-
18
Autoři:
Zdroj: International Journal of Nonlinear Analysis & Applications; 2022, Vol. 13 Issue 2, p2121-2131, 11p
Reviews & Products: MICROSOFT Windows (Operating system)
-
19
Autoři: a další
Zdroj: 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST), pp. 21–27, Montreal, QC, Canada, 27/5/2019
info:cnr-pdr/source/autori:Pietrantuono R.; Bertolino A.; De Angelis G.; Miranda B.; Russo S./congresso_nome:2019 IEEE%2FACM 14th International Workshop on Automation of Software Test (AST)/congresso_luogo:Montreal, QC, Canada/congresso_data:27%2F5%2F2019/anno:2019/pagina_da:21/pagina_a:27/intervallo_pagine:21–27
2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST)Témata: FOS: Computer and information sciences, Software Defect Prediction, Software quality, 02 engineering and technology, Test strategy, Software reliability, Quantum mechanics, Software Reliability Testing, Reliability engineering, Software testing, Software performance testing, Engineering, Software release life cycle, 0202 electrical engineering, electronic engineering, information engineering, Quality Gate, Software deployment, Acceptance testing, DevOps, Software construction, Software engineering, Automated Software Testing Techniques, Physics, Software development, Power (physics), Acceptance Test, Computer science, Operating system, Reliability (semiconductor), Software reliability testing, Computer Science, Physical Sciences, Software reliability, Software testing, Acceptance test, Integration testing, Operational Profile, Software Reliability Modeling, Pipeline (software), Software Reliability Assessment and Prediction, Software, Acceptance test, Empirical Studies in Software Engineering, Information Systems
Popis souboru: application/pdf
Přístupová URL adresa: https://zenodo.org/record/3575189/files/AST19.pdf
http://hdl.handle.net/11588/753031
https://ieeexplore.ieee.org/document/8822025/
https://dblp.uni-trier.de/db/conf/icse/ast2019.html#PietrantuonoBAM19
https://hdl.handle.net/20.500.14243/364548
https://doi.org/10.1109/AST.2019.00009
https://dl.acm .org/citation.cfm?id=3338663 -
20
Autoři: a další
Zdroj: ACM Transactions on Embedded Computing Systems; Jan2025, Vol. 24 Issue 1, p1-41, 41p
Nájsť tento článok vo Web of Science
Full Text Finder