Výsledky vyhledávání - Performance Keywords Compiler AND Tools for Concurrent Programming*

Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures

Autoři: Jongsoo Park William J. Dally The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Jongsoo Park William J. Dally The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cva.stanford.edu/projects/elm/pubs/spaa10-jspark.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Compilers General Terms Algorithms, Languages, Performance Keywords Compiler and Tools for Concurrent Programming, Stream Programming, Green Computing and Power-Efficient Architectures, Multi-core Architectures

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.5357
http://cva.stanford.edu/projects/elm/pubs/spaa10-jspark.pdf

From a Formalized Parallel Action Language to Its Efficient Code Generation

Autoři: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Přispěvatelé: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Zdroj: ACM Transactions on Embedded Computing Systems. 16:1-28

Témata: D13 [Programming Techniques]: Concurrent programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], State diagrams, Performance, Parallel programming, 02 engineering and technology, 16. Peace & justice, Parallels Languages, Additional Key Words and Phrases: Action Language, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Model Driven Engineering, D22 [Design Tools and Techniques]: Object-oriented design methods, 0202 electrical engineering, electronic engineering, information engineering, General Terms: Languages, Algorithms

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01425140/file/tecs16.pdf
https://inria.hal.science/hal-01425140v1
https://inria.hal.science/hal-01425140v1/document
https://doi.org/10.1145/0000000.0000000
https://dblp.uni-trier.de/db/journals/tecs/tecs16.html#LlopardF017
https://hal.archives-ouvertes.fr/hal-01425140v1
https://doi.org/10.1145/2990195
https://dl.acm.org/doi/10.1145/2990195
https://hal.inria.fr/hal-01425140/document
https://hal.inria.fr/hal-01425140

Software Behavior Oriented Parallelization

Autoři: Chen Ding Xipeng Shen Kirk Kelsey a další

Přispěvatelé: Chen Ding Xipeng Shen Kirk Kelsey a další

Zdroj: http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/ding.pdf.

Témata: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.5798; http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/ding.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.5798
http://www.cs.ucla.edu/~palsberg/course/cs239/F07/papers/ding.pdf

Compiler Aided Manual Speculation for High Performance Concurrent Data Structures ∗

Autoři: Lingxiang Xiang Michael L. Scott The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Lingxiang Xiang Michael L. Scott The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.rochester.edu/u/scott/papers/2013_PPoPP_CSpec.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Code generation General Terms Algorithm, Performance Keywords Manual Speculation, Design Pattern, Concurrent Data Structure, Compiler Assistance

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.3088; http://www.cs.rochester.edu/u/scott/papers/2013_PPoPP_CSpec.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.3088
http://www.cs.rochester.edu/u/scott/papers/2013_PPoPP_CSpec.pdf

Models, Languages, and Tools for Concurrent and Distributed Programming

Autoři: Michele Boreale Flavio Corradini Michele Loreti a další

Resource Type: eBook.

Témata: Computer science, Software engineering, Compilers (Computer programs), Computer programming, Computer systems, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Abstractions to Separate Concerns in Semi-Regular Grids

Autoři: Andrew Stone Michelle Mills Strout The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Stone Michelle Mills Strout The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.colostate.edu/~mstrout/Papers/Papers13/ics01-stone.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel programming, D.2.2 [Software Engineering, Design Tools and Techniques—Software libraries General Terms Algorithms, Design, Languages, Performance Keywords Programming models, Domain-specific languages, Compilers, High-performance computing, Parallel programming, Earth simulation, Atmospheric science

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.8789
http://www.cs.colostate.edu/~mstrout/Papers/Papers13/ics01-stone.pdf

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

The South African parole system: a critical review of its effectiveness in promoting rehabilitation and public safety.

Autoři: Lekalakala, Ernest Ramokone

Zdroj: International Journal of Research in Business & Social Science; Nov2025, Vol. 14 Issue 8, p562-571, 10p

Modernizing the NEURON Simulator for Sustainability, Portability, and Performance.

Autoři: Awile, Omar Kumbhar, Pramod Cornu, Nicolas a další

Zdroj: Frontiers in Neuroinformatics; 6/27/2022, Vol. 16, p1-21, 21p

Témata: NEURONS, MULTISCALE modeling, COMPUTER architecture, BIOCHEMICAL models, COMPUTATIONAL neuroscience, COMPILERS (Computer programs)

Massively Parallel Monte Carlo Sampling for Xinanjiang Hydrological Model Parameter Optimization Using CPU-GPU Computer Cluster.

Autoři: Kan, Guangyuan Li, Chenliang Zuo, Depeng a další

Zdroj: Water (20734441); Aug2023, Vol. 15 Issue 15, p2810, 22p

Témata: HYDROLOGIC models, PARALLEL programming, COMPUTER workstation clusters, PROGRAMMING languages, COMPUTER systems, C++, SENSITIVITY analysis

Korporace: INTEL Corp., NVIDIA Corp.

Abstract Software Behavior Oriented Parallelization

Autoři: Chen Ding Xipeng Shen Kirk Kelsey a další

Přispěvatelé: Chen Ding Xipeng Shen Kirk Kelsey a další

Zdroj: http://www.cs.rochester.edu/~zhangchl/publications/pldi07.pdf.

Témata: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.4100; http://www.cs.rochester.edu/~zhangchl/publications/pldi07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.4100
http://www.cs.rochester.edu/~zhangchl/publications/pldi07.pdf

Abstract Software Behavior Oriented Parallelization

Autoři: Chen Ding Xipeng Shen Kirk Kelsey a další

Přispěvatelé: Chen Ding Xipeng Shen Kirk Kelsey a další

Zdroj: http://www.cs.rochester.edu/~cding/Documents/Publications/pldi07.pdf.

Témata: Concurrent Programming—parallel programming, D.3.4 [Programming Languages, Processors—optimization, compilers General Terms Languages, Performance Keywords speculative parallelization, program behavior

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9318; http://www.cs.rochester.edu/~cding/Documents/Publications/pldi07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.9318
http://www.cs.rochester.edu/~cding/Documents/Publications/pldi07.pdf

A Study on Energy Consumption in AI-Driven Medical Image Segmentation.

Autoři: Prajwal, R. Pawan, S. J. Nazarian, Shahin a další

Zdroj: Journal of Imaging; Jun2025, Vol. 11 Issue 6, p174, 19p

Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory

Autoři: Mojtaba Mehrara Jeff Hao Po-chun Hsu a další

Přispěvatelé: Mojtaba Mehrara Jeff Hao Po-chun Hsu a další

Zdroj: http://cccp.eecs.umich.edu/papers/mehrara-pldi09.pdf.

Témata: Code generation, Compilers General Terms Languages, Algorithms, Design, Performance Keywords Software transactional memory, Automatic parallelization, Thread-level speculation, Loop level parallelism, Profileguided

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.9846
http://cccp.eecs.umich.edu/papers/mehrara-pldi09.pdf

Commutative set: A language extension for implicit parallel programming

Autoři: Prakash Prabhu Soumyadeep Ghosh Yun Zhang a další

Přispěvatelé: Prakash Prabhu Soumyadeep Ghosh Yun Zhang a další

Zdroj: http://liberty.princeton.edu/Publications/pldi11_commset.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming—Parallel Programming, D.3.4 [Programming Languages, Processors—Compilers, Optimization Languages, Performance, Design, Experimenta- General Terms tion Keywords Implicit parallelism, semantic commutativity, programming model, automatic parallelization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7696; http://liberty.princeton.edu/Publications/pldi11_commset.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7696
http://liberty.princeton.edu/Publications/pldi11_commset.pdf

A From a Formalized Parallel Action Language to its Efficient Code Generation

Autoři: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Přispěvatelé: Llopard, Ivan Fabre, Christian Cohen, Albert a další

Zdroj: ISSN: 1539-9087.

Témata: D13 [Programming Techniques]: Concurrent programming, Parallel programming, D22 [Design Tools and Techniques]: Object-oriented design methods, State diagrams, General Terms: Languages, Algorithms, Performance, Additional Key Words and Phrases: Action Language, Parallels Languages, Model Driven Engineering, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: hal-01425140; https://hal.inria.fr/hal-01425140; https://hal.inria.fr/hal-01425140/document; https://hal.inria.fr/hal-01425140/file/tecs16.pdf

Dostupnost: https://hal.inria.fr/hal-01425140
https://hal.inria.fr/hal-01425140/document
https://hal.inria.fr/hal-01425140/file/tecs16.pdf
https://doi.org/10.1145/0000000.0000000

An Estelle Compiler for Multiprocessor Platforms

Autoři: Stefan Fischer Bernd Hofmann The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Stefan Fischer Bernd Hofmann The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.informatik.uni-mannheim.de/pi4/publications/Fischer1994a.pdf.

Témata: C.2.2, D.1.3, D.2.2 Keywords, Computer{Communication Networks, Network Protocols, Protocol Implementation, Programming Techniques, Concurrent Programming, Software Engineering, Tools and Techniques

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.7928
http://www.informatik.uni-mannheim.de/pi4/publications/Fischer1994a.pdf

An Estelle Compiler for Multiprocessor Platforms

Autoři: S. Fischer B. Hofmann Seminargebaude A a další

Přispěvatelé: S. Fischer B. Hofmann Seminargebaude A a další

Zdroj: http://www.informatik.uni-mannheim.de/tb/lib/TR-93-005.pdf.

Témata: C.2.2, D.1.3, D.2.2 Keywords, Computer{Communication Networks, Network Protocols, Protocol Implementation, Programming Techniques, Concurrent Programming, Software Engineering, Tools and Techniques

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.7319
http://www.informatik.uni-mannheim.de/tb/lib/TR-93-005.pdf

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Témata: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms