Search Results - acm: d.: software/d.3: programming languages/d.3.4: processes/d.3.4.10: run-water environmental*

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

Authors: Kashyap, Arya

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

Subject Terms: PROGRAMMING languages, SUSTAINABILITY, ENVIRONMENTAL impact analysis, COMPUTING platforms, ENERGY consumption, COMPUTER operating systems

A Survey on Spatio-temporal Data Analytics Systems.

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

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

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

Environmental Bisimulations for Higher-Order Languages.

Authors: Sangiorgi, Davide Kobayashi, Naoki Sumii, Eijiro

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

Subject Terms: PROGRAMMING languages, COMPUTER simulation, MATHEMATICAL analysis, CONGRUENCE modular varieties, FORMAL language semantics, SYSTEMS theory, SYSTEMS development, COMPUTER programming

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

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

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

Subject Terms: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

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

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

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

Subject Terms: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

Mathematical Modelling of Biosensing Platforms Applied for Environmental Monitoring.

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

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

Subject Terms: ENVIRONMENTAL monitoring, MATHEMATICAL models, PROBLEM solving, PROGRAMMING languages, HEAVY metals, MICROPOLLUTANTS

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

Authors: NADEEM, AYMAN

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

Subject Terms: SOFTWARE development tools, COMPUTER software development, DATA analytics, PROGRAMMING languages, SOFTWARE engineering, COMPUTER architecture, HUMAN-computer interaction

Modelling and verifying time-aware processes for cyber-physical environments.

Authors: Graja, Imen Kallel, Slim Guermouche, Nawal et al.

Source: IET Software (Wiley-Blackwell); 2019, Vol. 13 Issue 1, p36-48, 13p

Subject Terms: CYBER physical systems, BUSINESS process management, COMPUTER software correctness, PROGRAMMING languages, COMPUTER systems

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

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

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

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

Subject Terms: 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]

Availability: https://inria.hal.science/inria-00182338
https://inria.hal.science/inria-00182338v4/document
https://inria.hal.science/inria-00182338v4/file/RR-6338.pdf

X-ray imaging virtual online laboratory for engineering undergraduates.

Authors: A Corbi D Burgos F Vidal et al.

Source: European Journal of Physics; Jan2020, Vol. 41 Issue 1, p1-1, 1p

Subject Terms: ENGINEERING laboratories, X-ray imaging, DISTANCE education students, STUDENTS, PROGRAMMING languages

The Rational Programmer: Investigating Programming Language Pragmatics.

Authors: Dimoulas, Christos Felleisen, Matthias

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

Subject Terms: PRAGMATICS, PROGRAMMING languages, PROGRAMMING language semantics, TYPESCRIPT (Computer program language), JAVASCRIPT programming language, COMPUTER software development

Parallel programming on a high-performance application-runtime.

Authors: Goscinski, Wojtek James Abramson, David

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

Subject Terms: HIGH performance computing, GRID computing, COMPUTER software development, PARALLEL programming, ARCHITECTURAL design, PROGRAMMING languages, VIRTUAL machine systems

CSP2Turtle: Verified Turtle Robot Plans †.

Authors: MacConville, Dara Farrell, Marie Luckcuck, Matt et al.

Source: Robotics; Apr2023, Vol. 12 Issue 2, p62, 22p

Subject Terms: MOBILE robots, SOFTWARE verification, TURTLES, LARGE scale systems, PYTHON programming language, ROBOTS, PROGRAMMING languages

Modeling software processes from different domains using SPEM and BPMN notations: An experience report of teaching software processes.

Authors: Bezerra, Carla Coutinho, Emanuel

Source: Journal of Software Engineering Research & Development; 2023, Vol. 11 Issue 1, p1-19, 19p

Subject Terms: SOFTWARE architecture, SOFTWARE engineering, BUSINESS process modeling, PROGRAMMING languages, COMPUTER software, SYSTEMS software, COMPUTER software development

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

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

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

Subject Terms: COMPUTER programming, AUTONOMIC computing, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER software, JAVA programming language

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

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

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

Subject Terms: PROGRAMMING languages, COMPUTER software

State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements.

Authors: Salinesi, Camille Achtaich, Asmaa Souissi, Nissrine et al.

Source: Journal of Integrated Design & Process Science; 2021, Vol. 25 Issue 2, p80-99, 20p

Subject Terms: FORMAL languages, CONSTRAINT programming, REQUIREMENTS engineering, SELF-adaptive software, CYBER physical systems, SCALABILITY

Challenges and Improvements in Distributed Software Development: A Systematic Review.

Authors: Jiménez, Miguel Piattini, Mario Vizcaíno, Aurora

Source: Advances in Software Engineering; 2009, p1-14, 14p, 4 Charts, 4 Graphs

Subject Terms: COMPUTER software development, COMPUTER software quality control, SOFTWARE architecture, COMPUTER programming, COMPUTER programmers, COMPUTER software developers, PROGRAMMING languages

Improving lazy abstraction for SCR specifications through constraint relaxation.

Authors: Degiovanni, Renzo Ponzio, Pablo Aguirre, Nazareno et al.

Source: Software Testing: Verification & Reliability; Mar2018, Vol. 28 Issue 2, p1-1, 28p

Subject Terms: COMPUTER-aided design, MARKOV processes, COMPUTER software, PROGRAMMING languages, COMPUTER programming

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

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

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

Subject Terms: WATER management, HYDROLOGIC models, INTERNET access, WEB-based user interfaces, COMPUTER software development, PYTHON programming language