Výsledky vyhledávání - D13 [Programming Techniques]: Concurrent programming

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

Implementing Multifrontal Sparse Solvers for Multicore Architectures with Sequential Task Flow Runtime Systems

Autoři: Agullo, Emmanuel Buttari, Alfredo Guermouche, Abdou a další

Přispěvatelé: Agullo, Emmanuel Buttari, Alfredo Guermouche, Abdou a další

Zdroj: ACM Transactions on Mathematical Software. 43:1-22

Témata: [INFO.INFO-DC]Computer Science [cs]/Distributed, G13 [Numerical Analysis]: Numerical Linear Algebra, memory-aware, multicores, 02 engineering and technology, runtime systems, communication-avoiding, Parallel, 01 natural sciences, Categories and Subject Descriptors: D13 [Programming Techniques]: Concurrent Programming, and Cluster Computing [cs.DC], G4 [Mathematical Software] General Terms: Algorithms, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Performance Additional Key Words and Phrases: Sparse direct solvers, 0101 mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01333645/file/toms_qrm_starpu.pdf
https://inria.hal.science/hal-01333645v1
https://doi.org/10.1145/2898348
https://inria.hal.science/hal-01333645v1/document
https://hal.inria.fr/hal-01333645/document
https://dl.acm.org/doi/abs/10.1145/2898348
https://dblp.uni-trier.de/db/journals/toms/toms43.html#AgulloBGL16
https://hal.archives-ouvertes.fr/hal-01333645
https://hal.inria.fr/hal-01333645
https://hal-univ-tlse3.archives-ouvertes.fr/hal-01333645v1

Supporting Time-Based QoS Requirements in Software Transactional Memory

Autoři: Maldonado, Walther Marlier, Patrick Felber, Pascal a další

Přispěvatelé: Maldonado, Walther Marlier, Patrick Felber, Pascal a další

Zdroj: ACM Transactions on Parallel Computing, Vol. 2, no.2, p. 1-30 (2015)

Témata: 2. Zero hunger, Fairness, Scheduling, Categories and Subject Descriptors: D13 [Programming Techniques]: Concurrent Programming—Parallel Programming General Terms: Performance, 0103 physical sciences, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, Quality of Service, Reliability Additional Key Words and Phrases: Contention Management, Transactional Memory, 02 engineering and technology, 01 natural sciences, 7. Clean energy

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-01240225/file/Maldonado_et_al_TOPC.pdf
https://inria.hal.science/hal-01240225v1
https://doi.org/10.1145/2779621
https://inria.hal.science/hal-01240225v1/document
https://dblp.uni-trier.de/db/journals/topc/topc2.html#MaldonadoMFLMR15
https://dl.acm.org/doi/10.1145/2779621
https://hal.archives-ouvertes.fr/hal-01240225
https://dial.uclouvain.be/pr/boreal/object/boreal:213814
https://hal.inria.fr/hal-01240225
https://hal.inria.fr/hal-01240225/document
https://hdl.handle.net/2078.1/213814

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

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Autoři: Flur, Shaked Sarkar, Susmit Pulte, Christopher a další

Přispěvatelé: Flur, Shaked Sarkar, Susmit Pulte, Christopher a další

Zdroj: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. :429-442

Témata: QA75, QA75 Electronic computers. Computer science, C0 [General]: Modeling of computer architecture, ~DC~, Mixed-size, NDAS, ISA, 02 engineering and technology, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], F31 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs Keywords Relaxed Memory Models, mixed-size, Relaxed Memory Models, 0202 electrical engineering, electronic engineering, information engineering, BDC, D13 [Programming Techniques]: Con- current Programming—Parallel programming, semantics, R2C

Popis souboru: application/pdf

Přístupová URL adresa: https://kar.kent.ac.uk/64723/1/mixed-size.pdf
https://inria.hal.science/hal-01413221v1
https://research-repository.st-andrews.ac.uk/handle/10023/9901
https://hal.inria.fr/hal-01413221
https://dl.acm.org/doi/pdf/10.1145/3009837.3009839
https://hal.inria.fr/hal-01413221/document
https://doi.org/10.1145/3009837.3009839
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
https://hdl.handle.net/10023/9901

Parametric Estimation and Constraint Programming-Based Planning and Simulation of Production Cost of a New Product †.

Autoři: Relich, Marcin Świć, Antoni

Zdroj: Applied Sciences (2076-3417); Sep2020, Vol. 10 Issue 18, p6330, 13p

Témata: CONSTRAINT satisfaction, INDUSTRIAL costs, PRODUCT costing, NEW product development, PRODUCTION planning, CONSTRAINT programming, MANUFACTURING processes

Multicriteria-decision support for master plan scheduling: urban regeneration of an industrial area in Northern Italy.

Autoři: Dell'Anna, Federico Berta, Mauro Bottero, Marta a další

Zdroj: Construction Management & Economics; May2024, Vol. 42 Issue 5, p476-501, 26p

Témata: URBAN planning, URBAN policy, CONSTRUCTION projects, INFRASTRUCTURE (Economics), MULTIPLE criteria decision making

Geografický termín: NORTHERN Italy

Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems.

Autoři: Güleşir, Gürcan van den Berg, Klaas Bergmans, Lodewijk a další

Zdroj: Empirical Software Engineering; Dec2009, Vol. 14 Issue 6, p720-777, 58p

Témata: SOURCE (Videotex system), COMPUTER software, SOURCE code, SOFTWARE verification, COMPUTER programming, ERROR analysis in mathematics

Multi-site scheduling under production and transportation constraints.

Autoři: H'Mida, Fehmi Lopez, Pierre

Zdroj: International Journal of Computer Integrated Manufacturing; Mar2013, Vol. 26 Issue 3, p252-266, 15p, 7 Diagrams, 6 Charts, 3 Graphs

Témata: PRODUCTION scheduling, DISTRIBUTION (Probability theory), MATHEMATICAL models, MANUFACTURING processes, PACKING problem (Mathematics), CONSTRAINT programming, TRANSPORTATION

A review of synthesis techniques for Petri nets with applications to automated manufacturing systems.

Autoři: Mu Der Jeng DiCesare, F.

Zdroj: IEEE Transactions on Systems, Man & Cybernetics; 1993, Vol. 23 Issue 1, p301-312, 12p

A Dynamic Load Balancing Framework for Real-time Applications in Message Passing Systems.

Autoři: El Kabbany, Ghada Wanas, Nayer Hegazi, Nadia a další

Zdroj: International Journal of Parallel Programming; Apr2011, Vol. 39 Issue 2, p143-182, 40p, 7 Diagrams, 5 Charts, 7 Graphs

Témata: REAL-time computing, WORKLOAD of computer networks, ALGORITHMS, MICROPROCESSORS, COMPUTER scheduling

Introduction to Java Programming and Data Structures

Autoři: Y. Daniel Liang

Resource Type: eBook.

Categories: COMPUTERS / Languages / Java, COMPUTERS / Data Science / General, COMPUTERS / Programming / General

Introduction to Java Programming and Data Structures, Global Edition

Autoři: Y. Daniel Liang

Resource Type: eBook.

Témata: Data structures (Computer science), C++ (Computer program language)

Categories: COMPUTERS / Languages / Java, COMPUTERS / Data Science / General

High Performance Parallelism Pearls Volume One : Multicore and Many-core Programming Approaches

Autoři: James Reinders James Jeffers

Resource Type: eBook.

Témata: Parallel programming (Computer science), Coprocessors

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Introduction to Java Programming and Data Structures, Comprehensive Version, Global Edition

Autoři: Y. Daniel Liang

Resource Type: eBook.

Témata: Data structures (Computer science), Java (Computer program language), Computer programming

Categories: COMPUTERS / Languages / Java, COMPUTERS / Data Science / General, COMPUTERS / Programming / General

Research Anthology on Multi-Industry Uses of Genetic Programming and Algorithms

Autoři: Information Resources Management Association

Resource Type: eBook.

Témata: Genetic programming (Computer science), Genetic algorithms--Industrial applications, Engineering mathematics, Industries--Data processing

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General

Introduction to Python Programming and Data Structures, Global Edition

Autoři: Y. Daniel Liang

Resource Type: eBook.

Témata: Python (Computer program language)

Categories: COMPUTERS / Programming / Object Oriented, COMPUTERS / Languages / Python

Central European Functional Programming School

Autoři: Viktória Zsók Zoltán Porkoláb Zoltán Horváth

Resource Type: eBook.

Témata: Computer programming, Artificial intelligence, Database management, Software engineering, Compilers (Computer programs)

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Database Administration & Management, COMPUTERS / Software Development & Engineering / General

Introduction to Java Programming, Brief Version, Global Edition

Autoři: Y. Daniel Liang

Resource Type: eBook.

Témata: Java (Computer program language), Computer programming

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / Object Oriented

Transactions on Petri Nets and Other Models of Concurrency XII

Autoři: Maciej Koutny Jetty Kleijn Wojciech Penczek a další

Resource Type: eBook.

Témata: Software engineering, Computer science, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / Algorithms