Search Results - acm: d.: software/d.3: programming languages/d.3.4: processors/d.3.4.10: run-water environmental~

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

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

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

Subject Terms: COMPUTER programming, PROGRAMMING languages, JAVA programming language, COMPUTER software development, MULTICORE processors, SOFTWARE engineering, ELECTRONIC data processing

Efficient data race detection for async-finish parallelism.

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

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

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

Proceedings of the ACM Programming Languages and Pragmatics Conference.

Authors: Forsythe, George E.

Source: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p137-138, 2p

Subject Terms: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES

Computing Without Processors.

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

Subject Terms: COMPUTER programming, SYSTEMS development, COMPUTER multitasking, COMPUTER software, PROGRAMMING languages

Company/Entity: MICROSOFT Corp.

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

Authors: Saeed, Ahmed Ahmadinia, Ali Just, Mike

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

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

Implicitly threaded parallelism in Manticore.

Authors: FLUET, MATTHEW RAINEY, MIKE REPPY, JOHN et al.

Source: Journal of Functional Programming; Nov2010, Vol. 20 Issue 5/6, p537-576, 40p

Subject Terms: PARALLEL processing, PARALLEL computers, PROGRAMMING languages, MULTICORE processors, MATHEMATICAL functions, COMPILERS (Computer programs)

An Optimization Framework for Embedded Processors with Auto-Addressing Mode.

Authors: XIAOTONG ZHUANG PANDE, SANTOSH

Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p11-11.41, 41p, 10 Diagrams, 8 Charts, 9 Graphs

Subject Terms: EMBEDDED computer systems, SERVICE-oriented architecture (Computer science), DIGITAL signal processing, PROGRAMMING languages, COMPUTER programming, COMPUTER software

Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing.

Authors: Ragan-Kelley, Jonathan Adams, Andrew Sharlet, Dillon et al.

Source: Communications of the ACM; Jan2018, Vol. 61 Issue 1, p106-115, 10p, 3 Diagrams, 1 Graph

Subject Terms: MATHEMATICAL decoupling, ALGORITHMS, IMAGE processing, COMPUTER scheduling, HIGH performance processors, COMPUTER vision, PROGRAMMING languages, COMPUTATIONAL photography, MATHEMATICS

A Formalism for Translator Interactions.

Authors: Cries, D. Earley, Jay Sturgis, Howard

Source: Communications of the ACM; Oct70, Vol. 13 Issue 10, p607-617, 11p, 1 Diagram

Subject Terms: PROGRAMMING languages, ELECTRONIC data processing, ARTIFICIAL languages, MICROPROCESSORS, COMPILERS (Computer programs), COMPUTER software

Over 400 Requests Received for ACM's DETAB/65 Preprocessor.

Source: Communications of the ACM; Feb1966, Vol. 9 Issue 2, p125-125, 1/3p

Subject Terms: MACRO processors, MACROPROGRAMMING, COBOL (Computer program language), PROGRAMMING languages, ASSOCIATIONS, institutions, etc., COMPILING (Electronic computers), COMPUTER programming, COMPUTER software

Company/Entity: ASSOCIATION for Computing Machinery

Register allocation by graph coloring under full live-range splitting

Authors: Blazy, Sandrine Robillard, Benoît Programming languages, types, compilation and proofs (GALLIUM) et al.

Contributors: Blazy, Sandrine Robillard, Benoît Programming languages, types, compilation and proofs (GALLIUM) et al.

Source: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009) ; https://inria.hal.science/inria-00387749 ; ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009), ACM, Jun 2009, Dublin, Ireland

Subject Terms: register allocation, coalescing, graph reduction, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Subject Geographic: Dublin, Ireland

Availability: https://inria.hal.science/inria-00387749
https://inria.hal.science/inria-00387749v1/document
https://inria.hal.science/inria-00387749v1/file/LCTES09.pdf

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

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

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

Subject Terms: PARALLEL programming, MULTICORE processors, PROGRAMMING languages, PITFALL traps, DEBUGGING

Integrated Hardware Garbage Collection.

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

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

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

Parallel Iterator for Parallelizing Object-Oriented Applications.

Authors: Giacaman, Nasser Sinnen, Oliver

Source: International Journal of Parallel Programming; Apr2011, Vol. 39 Issue 2, p232-269, 38p, 5 Diagrams, 1 Chart, 6 Graphs

Subject Terms: MULTICORE processors, OBJECT-oriented programming languages, PARALLEL programming, PARALLEL processing, APPLICATION software

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

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

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

Subject Terms: MICROPROCESSOR design & construction, PROGRAMMING languages, JAVA programming language, COMPUTER research, MULTICORE processors, COMPUTER programming

Identifying Query Incompatibilities with Evolving XML Schemas

Authors: Genevès, Pierre Layaïda, Nabil Quint, Vincent et al.

Contributors: Genevès, Pierre Layaïda, Nabil Quint, Vincent et al.

Source: Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming ; ICFP'09 ; https://inria.hal.science/inria-00423058 ; ICFP'09, Aug 2009, Edinburgh, United Kingdom. pp.221-230, ⟨10.1145/1596550.1596583⟩

Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

Subject Geographic: Edinburgh, United Kingdom

Availability: https://inria.hal.science/inria-00423058
https://inria.hal.science/inria-00423058/document
https://inria.hal.science/inria-00423058/file/types-evolution.pdf
https://doi.org/10.1145/1596550.1596583

Sequential Specification of Time-Aware Stream Processing Applications.

Authors: GEUNS, STEFAN J. HAUSMANS, JOOST P. H. M. BEKOOIJ, MARCO J. G.

Source: ACM Transactions on Embedded Computing Systems; Jan2013, Vol. 12 Issue 1, p1-19, 19p

Subject Terms: SEQUENTIAL analysis, STREAM (Computer hardware description language), APPLICATION software, MULTICORE processors, PROGRAMMING languages, NATURAL language processing, SEMANTIC computing

Programming Tools and Environments.

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

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

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

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

Authors: Marko Boger Frank Wienberg Winfried Lamersdorf

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

Subject Terms: PROGRAMMING languages, COMPUTER software, COMPUTER multitasking, JAVA programming language

Code mapping algorithm for custom instructions on reconfigurable instruction set processors.

Authors: Zhang, Huizhen Chen, Yonghong

Source: International Journal of Electronics; Jan2015, Vol. 102 Issue 1, p18-31, 14p

Subject Terms: INSTRUCTION set processors, CARTOGRAPHY software, POLYNOMIALS, ALGORITHMS, PROGRAMMING languages