Výsledky vyhľadávania - 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.

Autori: Kashyap, Arya

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

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

A Survey on Spatio-temporal Data Analytics Systems.

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

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

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

Environmental Bisimulations for Higher-Order Languages.

Autori: Sangiorgi, Davide Kobayashi, Naoki Sumii, Eijiro

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

Predmety: 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.

Autori: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq a ďalší

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

Predmety: 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.

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

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

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

Mathematical Modelling of Biosensing Platforms Applied for Environmental Monitoring.

Autori: Teniou, Ahlem Rhouati, Amina Marty, Jean-Louis a ďalší

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

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

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

Autori: NADEEM, AYMAN

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

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

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

Autori: Cachera, David Jensen, Thomas Jobin, Arnaud a ďalší

Prispievatelia: Cachera, David Jensen, Thomas Jobin, Arnaud a ďalší

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

Predmety: 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]

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

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

Autori: Graja, Imen Kallel, Slim Guermouche, Nawal a ďalší

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

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

X-ray imaging virtual online laboratory for engineering undergraduates.

Autori: A Corbi D Burgos F Vidal a ďalší

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

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

The Rational Programmer: Investigating Programming Language Pragmatics.

Autori: Dimoulas, Christos Felleisen, Matthias

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

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

Parallel programming on a high-performance application-runtime.

Autori: Goscinski, Wojtek James Abramson, David

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

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

CSP2Turtle: Verified Turtle Robot Plans †.

Autori: MacConville, Dara Farrell, Marie Luckcuck, Matt a ďalší

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

Predmety: 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.

Autori: Bezerra, Carla Coutinho, Emanuel

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

Predmety: 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.

Autori: DE NICOLA, ROCCO LORETI, MICHELE PUGLIESE, ROSARIO a ďalší

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

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

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

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

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

Predmety: PROGRAMMING languages, COMPUTER software

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

Autori: Salinesi, Camille Achtaich, Asmaa Souissi, Nissrine a ďalší

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

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

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

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

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

Predmety: 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.

Autori: Degiovanni, Renzo Ponzio, Pablo Aguirre, Nazareno a ďalší

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

Predmety: 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.

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

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

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