Výsledky vyhľadávania - acm: d.: software/d.3: programming languages/d.3.4: process/d.3.4.10: run-time environments~

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

Lowering the Barriers to Programming: A Taxonomy of Programming Environments and Languages for Novice Programmers.

Autori: Kelleher, Caitlin Pausch, Randy

Zdroj: ACM Computing Surveys; Jun2005, Vol. 37 Issue 2, p83-137, 55p

Predmety: COMPUTER programming, COMPUTER programmers, PROGRAMMING languages, ALGORITHMS, COMPUTER software

Programming Tools and Environments.

Autori: Saltz, Joel Sussman, Alan Graham, Susan a ďalší

Zdroj: Communications of the ACM; Nov98, Vol. 41 Issue 11, p64-73, 10p

Predmety: COMPUTER programming, HIGH performance computing, COMPUTER scientists, COMPUTER architecture, COMPUTER systems, PROGRAMMING languages, COMPUTER software

Space Overhead Bounds for Dynamic Memory Management with Partial Compaction.

Autori: BENDERSKY, ANNA PETRANK, EREZ

Zdroj: ACM Transactions on Programming Languages & Systems; Oct2012, Vol. 34 Issue 3, p13:1-13:43, 43p

Predmety: RUN time systems (Computer science), COMPUTER software execution, PROGRAMMING languages, COMPUTER memory management, LOOP tiling (Computer science), ARBITRARY constants

NATURAL PROGRAMMING LANGUAGES AND ENVIRONMENTS.

Autori: Myers, Brad A. Pane, John F. Ko, Andy

Zdroj: Communications of the ACM; Sep2004, Vol. 47 Issue 9, p47-52, 6p, 2 Color Photographs, 1 Illustration

Predmety: PROGRAMMING languages, DEBUGGING, ELECTRONIC data processing, COMPUTER programming, COMPUTER software

Quantum Software Components and Platforms: Overview andQuality Assessment.

Autori: SERRANO, MANUEL A. CRUZ-LEMUS, JOSÉ A. PEREZ-CASTILLO, RICARDO a ďalší

Zdroj: ACM Computing Surveys; Aug2023, Vol. 55 Issue 8, p1-30, 30p

Predmety: QUANTUM computing, PROGRAMMING languages, SOFTWARE engineers, COMPUTER software, STEAM engines, QUANTUM computers

MARIA: A Universal, Declarative, Multiple Abstraction-Level Language for Service-Oriented Applications in Ubiquitous Environments.

Autori: Paterno', Fabio Santoro, Carmen Spano, Lucio Davide

Zdroj: ACM Transactions on Computer-Human Interaction (TOCHI); Nov2009, Vol. 16 Issue 4, p19-19:30, 30p, 2 Black and White Photographs, 7 Diagrams, 4 Charts

Predmety: USER interfaces, PROGRAMMING languages, COMPUTER software development, SERVICE-oriented architecture (Computer science), SOFTWARE engineering, INTERACTIVE computer 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

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

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

µOpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics.

Autori: Japke, Nils Grambow, Martin Laaber, Christoph a ďalší

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

Predmety: COMPUTER software quality control, TIME measurements, OPEN source software, PROGRAMMING languages

Integrated Hardware Garbage Collection.

Autori: GARCÍA, ANDRÉS AMAYA MAY, DAVID NUTTING, ED

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

Predmety: REFUSE collection, SOFTWARE productivity, SOFTWARE reliability, SANITATION workers, PROGRAMMING languages, PYTHON programming language

Toward live domain-specific languages.

Autori: van Rozen, Riemer van der Storm, Tijs

Zdroj: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p195-212, 18p

Predmety: DOMAIN-specific programming languages, CODING theory, ALGORITHMS, SOFTWARE architecture, RUN time systems (Computer science)

Efficient data race detection for async-finish parallelism.

Autori: Raman, Raghavan Zhao, Jisheng Sarkar, Vivek a ďalší

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

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

A Glimpse of Hopjs

Autori: Serrano, Manuel Prunet, Vincent Secure Diffuse Programming (INDES) a ďalší

Prispievatelia: Serrano, Manuel Prunet, Vincent Secure Diffuse Programming (INDES) a ďalší

Zdroj: 21th ACM International Conference on Functional Programming (ICFP)
International Conference on Functional Programming (ICFP)
https://inria.hal.science/hal-01350936
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩

Predmety: Functional Programming, Web Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

Geografické téma: Nara, Japan

Dostupnosť: https://inria.hal.science/hal-01350936
https://inria.hal.science/hal-01350936v1/document
https://inria.hal.science/hal-01350936v1/file/icfp16.pdf
https://inria.hal.science/hal-01350936v1/file/pipeline2.pdf
https://doi.org/10.1145/2951913.2951916

WasmAndroid: A Cross-Platform Runtime for Native Programming Languages on Android.

Autori: WEN, ELLIOTT WEBER, GERALD NANAYAKKARA, SURANGA

Zdroj: ACM Transactions on Embedded Computing Systems; Jan2023, Vol. 22 Issue 1, p1-19, 19p

Predmety: PROGRAMMING languages, NATIVE language, SOURCE code, SYSTEMS software, MOBILE operating systems, COMPILERS (Computer programs)

Korporácia: GOOGLE Inc.

A Programmable Programming Language.

Autori: FELLEISEN, MATTHIAS FINDLER, ROBERT BRUCE FLATT, MATTHEW a ďalší

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

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

Behavioral Interface Specification Languages.

Autori: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. a ďalší

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

Predmety: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering

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

Early Experience with the Visual Programmer's WorkBench.

Autori: Rubin, Robert V. Walker II, James Golin, Eric J.

Zdroj: IEEE Transactions on Software Engineering; Oct90, Vol. 16 Issue 10, p1107-1121, 15p, 11 Diagrams

Predmety: VISUAL programming (Computer science), VISUAL programming languages (Computer science), SOFTWARE engineering, COMPUTER programming, CONCURRENT engineering, ENGINEERING, ALGORITHMS, ELECTRONIC data processing, COMPUTER software