Suchergebnisse - acm: d.: software/d.3: programming languages/d.3.4: process/d.3.4.10: run-water environmental

The Adoption of Green Programming Languages as a Promising Approach to Improve Computing's Sustainability.

Autoren: Kashyap, Arya

Quelle: International Journal of High School Research; May2024, Vol. 6 Issue 5, p18-24, 7p

Schlagwörter: PROGRAMMING languages, SUSTAINABILITY, ENVIRONMENTAL impact analysis, COMPUTING platforms, ENERGY consumption, COMPUTER operating systems

Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation.

Autoren: SEWELL, PETER WOJCIECHOWSKI, PAWEŁ T. UNYAPOTH, ASIS

Quelle: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p12-12.83, 63p, 7 Diagrams, 6 Charts

Schlagwörter: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages.

Autoren: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq et al.

Quelle: PLoS ONE; Feb2014, Vol. 9 Issue 2, p1-25, 25p

Schlagwörter: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

Environmental Bisimulations for Higher-Order Languages.

Autoren: Sangiorgi, Davide Kobayashi, Naoki Sumii, Eijiro

Quelle: ACM Transactions on Programming Languages & Systems; Jan2011, Vol. 33 Issue 1, p5:1-5:69, 69p

Schlagwörter: PROGRAMMING languages, COMPUTER simulation, MATHEMATICAL analysis, CONGRUENCE modular varieties, FORMAL language semantics, SYSTEMS theory, SYSTEMS development, COMPUTER programming

Mathematical Modelling of Biosensing Platforms Applied for Environmental Monitoring.

Autoren: Teniou, Ahlem Rhouati, Amina Marty, Jean-Louis et al.

Quelle: Chemosensors; Mar2021, Vol. 9 Issue 3, p50, 1p

Schlagwörter: ENVIRONMENTAL monitoring, MATHEMATICAL models, PROBLEM solving, PROGRAMMING languages, HEAVY metals, MICROPOLLUTANTS

A Survey on Spatio-temporal Data Analytics Systems.

Autoren: ALAM, MD MAHBUB TORGO, LUIS BIFET, ALBERT

Quelle: ACM Computing Surveys; 2022 Suppl 10, Vol. 54, p1-38, 38p

Schlagwörter: SPATIAL data infrastructures, GEOGRAPHIC information system software, PROGRAMMING languages, SPATIOTEMPORAL processes, LOCATION-based services, TEMPORAL databases, SQL

USING IMPACT ANALYSIS BASED KNOWLEDGE FOR VALIDATING REFACTORING STEPS.

Autoren: Bozó, István Tóth, Melinda Tejfel, Máté et al.

Quelle: Studia Universitatis Babeş-Bolyai, Informatica; 2011, Vol. 56 Issue 3, p57-64, 8p, 2 Diagrams

Schlagwörter: ENVIRONMENTAL impact analysis, SOFTWARE refactoring, SOFTWARE validation, PROGRAMMING languages, SOURCE code

An Analysis of Language-Level Support for Self-Adaptive Software.

Autoren: SALVANESCHI, GUIDO GHEZZI, CARLO PRADELLA, MATTEO

Quelle: ACM Transactions on Autonomous & Adaptive Systems; 2013, Vol. 8 Issue 2, p1-29, 29p, 4 Diagrams

Schlagwörter: PROGRAMMING languages, SELF-adaptive software, COMPUTER systems, COMPUTER software development, COMPARATIVE studies, SOFTWARE architecture

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids

Autoren: Cachera, David Jensen, Thomas Jobin, Arnaud et al.

Weitere Verfasser: Cachera, David Jensen, Thomas Jobin, Arnaud et al.

Quelle: https://inria.hal.science/inria-00182338 ; [Research Report] RR-6338, INRIA. 2007, pp.35.

Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 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: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]

Verfügbarkeit: https://inria.hal.science/inria-00182338
https://inria.hal.science/inria-00182338v4/document
https://inria.hal.science/inria-00182338v4/file/RR-6338.pdf

Research on WebAssembly Runtimes: A Survey.

Autoren: Zhang, Yixuan Liu, Mugeng Wang, Haoyu et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Nov2025, Vol. 34 Issue 8, p1-47, 47p

Schlagwörter: RUN time systems (Computer science), PROGRAMMING languages, COMPUTER memory management, SCHOLARLY method, UNIVERSITY research

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.

Autoren: COBLENZ, MICHAEL KAMBHATLA, GAURI KORONKEVICH, PAULETTE et al.

Quelle: ACM Transactions on Computer-Human Interaction (TOCHI); Jul2021, Vol. 28 Issue 4, p1-53, 53p

Schlagwörter: PROGRAMMING languages, PLIERS, LANGUAGE & languages, BLOCKCHAINS, OBSIDIAN

The Rational Programmer: Investigating Programming Language Pragmatics.

Autoren: Dimoulas, Christos Felleisen, Matthias

Quelle: Communications of the ACM; Jul2025, Vol. 68 Issue 7, p120-130, 11p

Schlagwörter: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

Parallel programming on a high-performance application-runtime.

Autoren: Goscinski, Wojtek James Abramson, David

Quelle: Concurrency & Computation: Practice & Experience; Dec2008, Vol. 20 Issue 18, p2141-2177, 37p, 9 Diagrams, 11 Graphs

Schlagwörter: HIGH performance computing, GRID computing, COMPUTER software development, PARALLEL programming, ARCHITECTURAL design, PROGRAMMING languages, VIRTUAL machine systems

Critical Factors for Assimilation of Object-Oriented Programming Languages.

Autoren: IHLSOON CHO YOUNG-GUL KIM

Quelle: Journal of Management Information Systems; Winter2001/2002, Vol. 18 Issue 3, p125-156, 32p

Schlagwörter: INFORMATION technology, OBJECT-oriented programming, PROGRAMMING languages, MANAGEMENT information systems, TELEMATICS, TECHNOLOGICAL innovations, COMPUTER software development, ELECTRONIC data processing

The Effect of Environmental Metrics on Software Fault Prediction.

Autoren: Odabasi, Merve Gul, Ensar

Quelle: International Journal of Software Engineering & Knowledge Engineering; Jan2023, Vol. 33 Issue 1, p85-108, 24p

Schlagwörter: SOFTWARE measurement, MACHINE learning, PROGRAMMING languages, DECISION trees, FORECASTING

Transforming Hydrology Python Packages into Web Application Programming Interfaces: A Comprehensive Workflow Using Modern Web Technologies.

Autoren: Pulla, Sarva T. Yasarer, Hakan Yarbrough, Lance D.

Quelle: Water (20734441); Sep2024, Vol. 16 Issue 18, p2609, 22p

Schlagwörter: WATER management, HYDROLOGIC models, INTERNET access, WEB-based user interfaces, COMPUTER software development, PYTHON programming language

Human-Centered Approach to Static-Analysis-Driven Developer Tools.

Autoren: NADEEM, AYMAN

Quelle: Communications of the ACM; Mar2022, Vol. 65 Issue 3, p38-45, 8p, 1 Illustration, 1 Diagram, 1 Chart

Schlagwörter: SOFTWARE development tools, COMPUTER software development, DATA analytics, PROGRAMMING languages, SOFTWARE engineering, COMPUTER architecture, HUMAN-computer interaction

Automatic Result Verification by Complete Run-Time Checking of Computations.

Autoren: Lederer, Edgar F. A. Dumitrescu, Romeo A.

Quelle: International Journal of Foundations of Computer Science; Feb2001, Vol. 12 Issue 1, p97, 28p

Schlagwörter: PROGRAMMING languages, COMPUTER software

Acm forum.

Autoren: Lamport, Leslie Ashenhurst, R. L. Ammeraal, L. et al.

Quelle: Communications of the ACM; Mar1976, Vol. 19 Issue 3, p162-165, 4p

Schlagwörter: MATHEMATICAL programming, COMPUTER software, CYBERNETICS, PROGRAMMING languages, COMPUTER programming

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

A Formal Approach to Autonomic Systems Programming: The SCEL Language.

Autoren: DE NICOLA, ROCCO LORETI, MICHELE PUGLIESE, ROSARIO et al.

Quelle: ACM Transactions on Autonomous & Adaptive Systems; May2014, Vol. 9 Issue 2, p1-29, 29p

Schlagwörter: COMPUTER programming, AUTONOMIC computing, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER software, JAVA programming language