Suchergebnisse - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments*

Tag-Protector: An Effective and Dynamic Detection of Illegal Memory Accesses through Compile Time Code Instrumentation.

Autoren: Saeed, Ahmed Ahmadinia, Ali Just, Mike

Quelle: Advances in Software Engineering; 6/19/2016, p1-19, 19p

Schlagwörter: PROGRAMMING languages, COMPUTER security vulnerabilities, COMPUTER storage devices, C++, SOURCE code, RUN time systems (Computer science), MULTICORE processors

Efficient data race detection for async-finish parallelism.

Autoren: Raman, Raghavan Zhao, Jisheng Sarkar, Vivek et al.

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

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

Combining Functional and Imperative Programming for Multicore Software: An Empirical Study Evaluating Scala and Java.

Autoren: Pankratius, Victor Schmidt, Felix Garretón, Gilda

Quelle: ICSE: International Conference on Software Engineering; Feb2012, p123-133, 11p

Schlagwörter: COMPUTER programming, PROGRAMMING languages, JAVA programming language, COMPUTER software development, MULTICORE processors, SOFTWARE engineering, ELECTRONIC data processing

Programming Tools and Environments.

Autoren: Saltz, Joel Sussman, Alan Graham, Susan et al.

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

Schlagwörter: 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.

Autoren: BENDERSKY, ANNA PETRANK, EREZ

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

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

Integrated Hardware Garbage Collection.

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

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

Schlagwörter: REFUSE collection, SOFTWARE productivity, SOFTWARE reliability, SANITATION workers, PROGRAMMING languages, PYTHON programming language

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

Autoren: YIP, EUGENE GIRAULT, ALAIN ROOP, PARTHA S. et al.

Quelle: ACM Transactions on Programming Languages & Systems; Jun2023, Vol. 45 Issue 2, p1-74, 74p

Schlagwörter: PARALLEL programming, MULTICORE processors, PROGRAMMING languages, PITFALL traps, DEBUGGING

Simulation of a Self-adaptive Run-time Environment with Hardware and Software Components

Autoren: Onur Derin Alberto Ferrante The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Onur Derin Alberto Ferrante The Pennsylvania State University CiteSeerX Archives

Quelle: http://people.alari.ch/derino/Research/publications/20090825-DeFe-SINTER.pdf.

Schlagwörter: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Program- ming, D.3.4 [Programming Languages, Processors— run-time environments, I.2.2 [Artificial Intelligence, Au- tomatic Programming—program modification General Terms Experimentation, Performance, Reliability, Theory Keywords Component-based design, HW/SW co-design, Self-adaptive systems, Simulation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.5154

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.5154
http://people.alari.ch/derino/Research/publications/20090825-DeFe-SINTER.pdf

A Model for Implementing EUCLID Modules and Prototypes: A model for implementing EUCLID modules and prototypes

Autoren: David B. Wortman Richard Holt

Quelle: ACM Transactions on Programming Languages and Systems. 4:552-562

Schlagwörter: language constructs, Data structures, verifiable systems software, packages, General topics in the theory of software, 02 engineering and technology, 01 natural sciences, processors, parametrized type definitions, programming languages, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, system implementation language, run-time environments, abstract data types

Dateibeschreibung: application/xml

Zugangs-URL: https://dblp.uni-trier.de/db/journals/toplas/toplas4.html#HoltW82
https://dl.acm.org/doi/10.1145/69622.357183

Returning Control to the Programmer: SIMD Intrinsics for Virtual Machines.

Autoren: PARRI, JONATHAN SHAPIRO, DANIEL BOLIC, MIODRAG et al.

Quelle: Communications of the ACM; Apr2011, Vol. 54 Issue 4, p38-43, 6p, 1 Color Photograph, 1 Diagram

Schlagwörter: MICROPROCESSOR design & construction, PROGRAMMING languages, JAVA programming language, COMPUTER research, MULTICORE processors, COMPUTER programming

Virtual Processors: Migrating object-clusters unify concurrency and distribution.

Autoren: Marko Boger Frank Wienberg Winfried Lamersdorf

Quelle: Integrated Computer-Aided Engineering; 2001, Vol. 7 Issue 4, p343, 17p

Schlagwörter: PROGRAMMING languages, COMPUTER software, COMPUTER multitasking, JAVA programming language

Performance and portability of accelerated lattice Boltzmann applications with OpenACC.

Autoren: Calore, Enrico Gabbana, Alessandro Kraus, Jiri et al.

Quelle: Concurrency & Computation: Practice & Experience; 8/25/2016, Vol. 28 Issue 12, p3485-3502, 18p

Schlagwörter: LATTICE Boltzmann methods, HIGH performance computing, SOFTWARE compatibility, CENTRAL processing units, PROGRAMMING languages, COMPUTER software correctness

Computer Science Education in the 21st Century.

Autoren: Patterson, David A.

Quelle: Communications of the ACM; Mar2006, Vol. 49 Issue 3, p27-30, 4p, 1 Chart, 1 Graph

Schlagwörter: COMPUTER science, CURRICULUM change, INFORMATION technology, JAVA programming language, COMPUTER software development

People: PATTERSON, David A.

Conference Calendar.

Autoren: Craeynest, Dirk

Quelle: Ada User Journal; Sep2013, Vol. 34 Issue 3, p157-161, 5p

Schlagwörter: MULTICORE processors, SOFTWARE engineering conferences, SOFTWARE reliability, CONFERENCES & conventions

Quantum Software Components and Platforms: Overview andQuality Assessment.

Autoren: SERRANO, MANUEL A. CRUZ-LEMUS, JOSÉ A. PEREZ-CASTILLO, RICARDO et al.

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

Schlagwörter: QUANTUM computing, PROGRAMMING languages, SOFTWARE engineers, COMPUTER software, STEAM engines, QUANTUM computers

Enterprise JavaScript with Jangaroo Using ActionScript 3 for JavaScript ”Programming in the Large”

Autoren: Andreas Gawecki Frank Wienberg The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Andreas Gawecki Frank Wienberg The Pennsylvania State University CiteSeerX Archives

Quelle: http://plastic.host.adobe.com/plastic4.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.11 [Software Engineering, Software Architectures, D.3.3 [Programming Languages, Language Constructs and Features – Classes and objects, Frameworks, Inheritance, Modules, packages, D.3.4 [Programming Languages, Processors — Code generation, Compilers, Debuggers, Parsing, Run-time environments Languages, Documentation, Stan- General Terms dardization Keywords JavaScript, ActionScript, RIA, Programming in the large, Browser, Opensource, Flash

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.7497; http://plastic.host.adobe.com/plastic4.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.7497
http://plastic.host.adobe.com/plastic4.pdf

Maple: Simplifying SDN Programming Using Algorithmic Policies

Autoren: Andreas Voellmy Junchang Wang Y. Richard et al.

Weitere Verfasser: Andreas Voellmy Junchang Wang Y. Richard et al.

Quelle: http://conferences.sigcomm.org/sigcomm/2013/papers/sigcomm/p87.pdf.

Schlagwörter: Categories and Subject Descriptors, C.2.3 [Computer Communication Networks, Network Operations—Network management, D.3.4 [Programming Languages, Processors—Compilers, Incremental compilers, Run-time environments, Optimization. General Terms, Algorithms, Design, Languages, Performance. Keywords, Software-defined Networking, Policies, Openflow

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.4372; http://conferences.sigcomm.org/sigcomm/2013/papers/sigcomm/p87.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.4372
http://conferences.sigcomm.org/sigcomm/2013/papers/sigcomm/p87.pdf

Maple: Simplifying SDN Programming Using Algorithmic Policies

Autoren: Andreas Voellmy Junchang Wang Y. Richard et al.

Weitere Verfasser: Andreas Voellmy Junchang Wang Y. Richard et al.

Quelle: http://www.cs.princeton.edu/courses/archive/fall13/cos597E/papers/maple.pdf.

Schlagwörter: Categories and Subject Descriptors, C.2.3 [Computer Communication Networks, Network Operations—Network management, D.3.4 [Programming Languages, Processors—Compilers, Incremental compilers, Run-time environments, Optimization. General Terms, Algorithms, Design, Languages, Performance. Keywords, Software-defined Networking, Policies, Openflow

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.8590; http://www.cs.princeton.edu/courses/archive/fall13/cos597E/papers/maple.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.402.8590
http://www.cs.princeton.edu/courses/archive/fall13/cos597E/papers/maple.pdf

Maple: Simplifying SDN Programming Using Algorithmic Policies

Autoren: Andreas Voellmy Junchang Wang Y. Richard et al.

Weitere Verfasser: Andreas Voellmy Junchang Wang Y. Richard et al.

Quelle: http://cs-www.cs.yale.edu/homes/yry/research/TechReports/maple-sigcomm13.pdf.

Schlagwörter: Categories and Subject Descriptors, C.2.3 [Computer Communication Networks, Network Operations—Network management, D.3.4 [Programming Languages, Processors—Compilers, Incremental compilers, Run-time environments, Optimization. General Terms, Algorithms, Design, Languages, Performance. Keywords, Software-defined Networking, Policies, Openflow

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.3034

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.3034
http://cs-www.cs.yale.edu/homes/yry/research/TechReports/maple-sigcomm13.pdf

Computing Without Processors.

Quelle: Communications of the ACM; Aug2011, Vol. 54 Issue 8, p46-54, 9p, 1 Color Photograph, 11 Diagrams, 1 Graph

Schlagwörter: COMPUTER programming, SYSTEMS development, COMPUTER multitasking, COMPUTER software, PROGRAMMING languages

Firma/Körperschaft: MICROSOFT Corp.