Výsledky vyhľadávania - acm: d.: software/d.3: programming languages/d.3.4: process/d.3.4.10: run-time 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

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

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

Research on WebAssembly Runtimes: A Survey.

Autori: Zhang, Yixuan Liu, Mugeng Wang, Haoyu a ďalší

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

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

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

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

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

Autori: SALVANESCHI, GUIDO GHEZZI, CARLO PRADELLA, MATTEO

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

Predmety: PROGRAMMING languages, SELF-adaptive software, COMPUTER systems, COMPUTER software development, COMPARATIVE studies, SOFTWARE architecture

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

USING IMPACT ANALYSIS BASED KNOWLEDGE FOR VALIDATING REFACTORING STEPS.

Autori: Bozó, István Tóth, Melinda Tejfel, Máté a ďalší

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

Predmety: ENVIRONMENTAL impact analysis, SOFTWARE refactoring, SOFTWARE validation, PROGRAMMING languages, SOURCE code

The Effect of Environmental Metrics on Software Fault Prediction.

Autori: Odabasi, Merve Gul, Ensar

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

Predmety: SOFTWARE measurement, MACHINE learning, PROGRAMMING languages, DECISION trees, FORECASTING

Dynamic Update of Business Process Management.

Autori: Nahabedian, Leandro

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

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

Critical Factors for Assimilation of Object-Oriented Programming Languages.

Autori: IHLSOON CHO YOUNG-GUL KIM

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

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

Acm forum.

Autori: Lamport, Leslie Ashenhurst, R. L. Ammeraal, L. a ďalší

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

Predmety: MATHEMATICAL programming, COMPUTER software, CYBERNETICS, PROGRAMMING languages, COMPUTER programming

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams.

Autori: Khatchadourian, Raffi Yiming Tang Bagherzadeh, Mehdi a ďalší

Zdroj: ICSE: International Conference on Software Engineering; 5/25/2019, p619-630, 12p

Predmety: JAVA programming language, COMPUTER science, COMPUTER software development, ARTIFICIAL intelligence, PROGRAMMING languages

Blame and coercion: Together again for the first time.

Autori: SIEK, JEREMY G. THIEMANN, PETER WADLER, PHILIP

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

Predmety: PROGRAMMING languages, COMPUTER software correctness, BISIMULATION, MATHEMATICAL optimization, PROOF theory

Timetide: A Programming Model for Logically Synchronous Distributed Systems.

Autori: Kenwright, Logan Roop, Partha Allen, Nathan a ďalší

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

Predmety: DISTRIBUTED computing, SYNCHRONIZATION, SOFTWARE architecture, FORMAL methods (Computer science), DETERMINISTIC algorithms

A Game Loop Architecture for the GPU Used as a Math Coprocessor in Real-Time Applications.

Autori: ZAMITH, MARCELO P. M. CLUA, ESTEBAN W. G. CONCI, AURA a ďalší

Zdroj: Computers in Entertainment; Oct2008, Vol. 6 Issue 3, p42:1-42:19, 19p, 1 Color Photograph, 7 Diagrams, 3 Charts, 1 Graph

Predmety: VIDEO games, MICROPROCESSORS, MATHEMATICS, REAL-time computing, CENTRAL processing units, PROGRAMMING languages, PHYSICS, OPEN source software

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

Autori: Voelter, Markus Kolb, Bernd Birken, Klaus a ďalší

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

Predmety: COMPUTER software development, WORKBENCHES, PROGRAMMING languages, LANGUAGE & languages

An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool.

Autori: Altalhi, Saeed Musaad Eassa, Fathy Elbouraey Al-Ghamdi, Abdullah Saad Al-Malaise a ďalší

Zdroj: Applied Sciences (2076-3417); Nov2023, Vol. 13 Issue 21, p11960, 16p

Predmety: PARALLEL programming, SOFTWARE architecture, GRAPHICS processing units, MESSAGE passing (Computer science), PROGRAMMING languages, DYNAMIC testing, PARALLEL processing

Jean Sammet: Programming Language Contributor and Historian, and ACM President.

Autori: Bergin, Thomas J.

Zdroj: IEEE Annals of the History of Computing; Jan-Mar2009, Vol. 31 Issue 1, p76-85, 10p, 1 Black and White Photograph

Predmety: PROGRAMMING languages

Geografický termín: NEW York (N.Y.), NEW York (State)

Korporácia: NATIONAL Academy of Engineering

Osoby: SAMMET, Jean E., 1928-2017