Výsledky vyhledávání - acm: d.: software/d.3: programming languages/d.3.4: processes/d.3.4.10: run-time environmental*

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

Autoři: Kashyap, Arya

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

Témata: PROGRAMMING languages, SUSTAINABILITY, ENVIRONMENTAL impact analysis, COMPUTING platforms, ENERGY consumption, COMPUTER operating systems

Environmental Bisimulations for Higher-Order Languages.

Autoři: Sangiorgi, Davide Kobayashi, Naoki Sumii, Eijiro

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

Témata: 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.

Autoři: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq a další

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

Témata: 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.

Autoři: 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

Témata: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

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

Autoři: Lederer, Edgar F. A. Dumitrescu, Romeo A.

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

Témata: PROGRAMMING languages, COMPUTER software

A Survey on Spatio-temporal Data Analytics Systems.

Autoři: ALAM, MD MAHBUB TORGO, LUIS BIFET, ALBERT

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

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

The Rational Programmer: Investigating Programming Language Pragmatics.

Autoři: Dimoulas, Christos Felleisen, Matthias

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

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

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

Autoři: Bezerra, Carla Coutinho, Emanuel

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

Témata: SOFTWARE architecture, SOFTWARE engineering, BUSINESS process modeling, PROGRAMMING languages, COMPUTER software, SYSTEMS software, COMPUTER software development

Timetide: A Programming Model for Logically Synchronous Distributed Systems.

Autoři: Kenwright, Logan Roop, Partha Allen, Nathan a další

Zdroj: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-25, 25p

Témata: DISTRIBUTED computing, SYNCHRONIZATION, SOFTWARE architecture, FORMAL methods (Computer science), DETERMINISTIC algorithms

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

Autoři: Graja, Imen Kallel, Slim Guermouche, Nawal a další

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

Témata: CYBER physical systems, BUSINESS process management, COMPUTER software correctness, PROGRAMMING languages, COMPUTER systems

The Effect of Environmental Metrics on Software Fault Prediction.

Autoři: Odabasi, Merve Gul, Ensar

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

Témata: SOFTWARE measurement, MACHINE learning, PROGRAMMING languages, DECISION trees, FORECASTING

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

Autoři: DE NICOLA, ROCCO LORETI, MICHELE PUGLIESE, ROSARIO a další

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

Témata: COMPUTER programming, AUTONOMIC computing, PROGRAMMING languages, COMPUTATIONAL complexity, COMPUTER software, JAVA programming language

Integrated Hardware Garbage Collection.

Autoři: GARCÍA, ANDRÉS AMAYA MAY, DAVID NUTTING, ED

Zdroj: ACM Transactions on Embedded Computing Systems; Sep2021, Vol. 20 Issue 5, p1-25, 25p

Témata: REFUSE collection, SOFTWARE productivity, SOFTWARE reliability, SANITATION workers, PROGRAMMING languages, PYTHON programming language

Blame and coercion: Together again for the first time.

Autoři: SIEK, JEREMY G. THIEMANN, PETER WADLER, PHILIP

Zdroj: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-56, 56p

Témata: PROGRAMMING languages, COMPUTER software correctness, BISIMULATION, MATHEMATICAL optimization, PROOF theory

Efficient data race detection for async-finish parallelism.

Autoři: Raman, Raghavan Zhao, Jisheng Sarkar, Vivek a další

Zdroj: Formal Methods in System Design; Dec2012, Vol. 41 Issue 3, p321-347, 27p

Témata: PARALLEL programming, RUN time systems (Computer science), MULTICORE processors, DEVELOPMENT of application software, PARALLEL algorithms, PROGRAMMING languages

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

Autoři: Jiménez, Miguel Piattini, Mario Vizcaíno, Aurora

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

Témata: COMPUTER software development, COMPUTER software quality control, SOFTWARE architecture, COMPUTER programming, COMPUTER programmers, COMPUTER software developers, PROGRAMMING languages

Dynamic Update of Business Process Management.

Autoři: Nahabedian, Leandro

Zdroj: ICSE: International Conference on Software Engineering; 2017, p413-416, 4p

Témata: BUSINESS process management, SOFTWARE architecture, HUMAN behavior models, DECLARATIVE programming languages, COMPUTER software development

Using language workbenches and domain-specific languages for safety-critical software development.

Autoři: Voelter, Markus Kolb, Bernd Birken, Klaus a další

Zdroj: Software & Systems Modeling; Aug2019, Vol. 18 Issue 4, p2507-2530, 24p

Témata: COMPUTER software development, WORKBENCHES, PROGRAMMING languages, LANGUAGE & languages

A Programmable Programming Language.

Autoři: FELLEISEN, MATTHIAS FINDLER, ROBERT BRUCE FLATT, MATTHEW a další

Zdroj: Communications of the ACM; Mar2018, Vol. 61 Issue 3, p62-71, 10p, 1 Illustration, 8 Diagrams

Témata: RACKET (Computer program language), DOMAIN-specific programming languages, COMPUTER software development

Behavioral Interface Specification Languages.

Autoři: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. a další

Zdroj: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p16-16:58, 58p

Témata: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering