Search Results - Concurrent Programming – Parallel Program- ming

Refine Results
  1. 1

    PRODA: improving parallel programs on GPUs through dependency analysis.

    Authors: Wei, Xiong Hu, Ming Peng, Tao et al.

    Source: Cluster Computing; Jan2019 Supplement 1, Vol. 22 Issue 1, p2129-2144, 16p

    Subject Terms: GRAPHICS processing units, PARALLEL programming, PARALLEL processing, DATA transmission systems, ELECTRONIC data processing, PRODUCT management software

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Kendo: Efficient Deterministic Multithreading in Software

    Authors: Marek Olszewski Jason Ansel Saman Amarasinghe et al.

    Contributors: Marek Olszewski Jason Ansel Saman Amarasinghe et al.

    Source: http://people.csail.mit.edu/mareko//asplos073-olszewski.pdf.

    Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Program- ming, D.2.5 [Software Engineering, Testing and Debug- ging – Debugging Aids, D.4.1 [Operating Systems, Pro- cess Management – Synchronization General Terms Design, Reliability, Performance Keywords Deterministic Multithreading, Determinism, Parallel Programming, Debugging, Multicore

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.506.3175
    http://people.csail.mit.edu/mareko//asplos073-olszewski.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding

    Authors: Michael Roitzsch Technische Universität Dresden The Pennsylvania State University CiteSeerX Archives

    Contributors: Michael Roitzsch Technische Universität Dresden The Pennsylvania State University CiteSeerX Archives

    Source: http://os.inf.tu-dresden.de/papers_ps/roitzsch07-h264multicore.pdf.

    Subject Terms: Categories and Subject Descriptors C.4 [Performance of Systems, D.1.3 [Programming Techniques, Concurrent Programming—Parallel program- ming General Terms Algorithms, Performance Keywords H.264, Video Encoding, Slices, Multicore, Scalability

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.585.4275
    http://os.inf.tu-dresden.de/papers_ps/roitzsch07-h264multicore.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Asserting and Checking Determinism for Multithreaded Programs.

    Authors: Burnim, Jacob Sen, Koushik

    Source: Communications of the ACM; Jun2010, Vol. 53 Issue 6, p97-105, 9p, 2 Diagrams, 1 Chart

    Subject Terms: PARALLEL programs (Computer programs), SIMULTANEOUS multithreading processors, PARALLEL processing, DEBUGGING, COMPUTER software testing, JAVA programming language

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Verifying Properties of Parallel Programs: An Axiomatic Approach.

    Authors: Owicki, Susan Gries, David Gaines, R. S.

    Source: Communications of the ACM; May76, Vol. 19 Issue 5, p279-285, 7p, 1 Diagram

    Subject Terms: SOFTWARE verification, PARALLEL programming, COMPUTER programming, AXIOMS, METHODOLOGY, COMPUTER software

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Safe and scalable parallel programming with session types

    Authors: Ng, Chun Wang Nicholas Yoshida, Nobuko

    Contributors: Ng, Chun Wang Nicholas Yoshida, Nobuko

    Subject Terms: 004

    Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.659518

    View record in EThOS Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs.

    Authors: Liu, Yang Xu, Zisen Fan, Ming et al.

    Source: IEEE Transactions on Reliability. Jun2022, Vol. 71 Issue 2, p1174-1188. 15p.

    Subject Terms: *MALWARE, *INTERNET servers, *COMPUTER systems, *DEBUGGING, *COMPUTER software security

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Erlang for Concurrent Programming.

    Authors: LARSON, JIM

    Source: Communications of the ACM; Mar2009, Vol. 52 Issue 3, p48-56, 9p, 1 Color Photograph, 5 Diagrams

    Subject Terms: ERLANG (Computer program language), DECLARATIVE programming languages, USER interfaces, GRAPHICAL user interfaces, COMPUTER science, COMPUTER software

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations.

    Authors: HONGJIN LIANG XINYU FENG MING FU

    Source: ACM Transactions on Programming Languages & Systems. Mar2014, Vol. 36 Issue 1, p3:1-3:55. 55p.

    Subject Terms: *COMPUTER simulation, *CONFIRMATION (Logic), *OBJECT-oriented programming languages, *ARBITRARY constants, *MATHEMATICAL transformations

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    Transcriptomic landscape of pseudorabies virus-induced encephalitis reveals key lncRNAs involved in host–neurotropic virus interactions.

    Authors: Phan Van, Thach Huyen Ton Nu Bao, Tien Oh, Byungkwan et al.

    Source: Veterinary Research. 11/10/2025, Vol. 56 Issue 1, p1-22. 22p.

    Subjects: Encephalitis, Inflammation, Microglia, Central nervous system viral diseases, Aujeszky's disease virus, Drug target, Gene expression, LincRNA

    HTML Full Text PDF Full Text
    Save to List
  11. 11

    Proving Correctness of Parallel Implementations of Transition System Models.

    Authors: de Boer, Frank Johnsen, Einar Broch Pun, Violet Ka I et al.

    Source: ACM Transactions on Programming Languages & Systems; Sep2024, Vol. 46 Issue 3, p1-50, 50p

    Subject Terms: PARALLEL processing, PROOF of concept, SIMULATION methods & models, SEMANTICS, MEMORY

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    Scenario-Based Hypersequential Programming.

    Authors: Uchihira, Naoshi Kawata, Hideji Tamura, Fumitaka

    Source: International Journal of Parallel Programming; Apr2000, Vol. 28 Issue 2, p155-157, 3p

    Subject Terms: COMPUTER multitasking, DEBUGGING, PETRI nets, PARALLEL programming, COMPUTER programming, COMPUTER science

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    A Possible Connection Between Two Theories: Grammar Systems and Concurrent Programming.

    Authors: Grando, María Adela Mitrana, Victor

    Source: Fundamenta Informaticae; 2007, Vol. 76 Issue 3, p325-336, 12p

    Subject Terms: COMPARATIVE grammar, GRAMMAR, MATHEMATICAL models, FORMAL languages, LANGUAGE & languages

    Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    Avalanche: A Fine-Grained Flow Graph Model for Irregular Applications on Distributed-Memory Systems

    Authors: Jeremiah J. Willcock Ryan R. Newton Andrew Lumsdaine et al.

    Contributors: Jeremiah J. Willcock Ryan R. Newton Andrew Lumsdaine et al.

    Source: http://www.cs.indiana.edu/~rrnewton/papers/2012-FHPC_avalanche.pdf.

    Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Tech- niques, Applicative (Functional) Programming, D.1.3 [Program- ming Techniques, Concurrent Programming—Parallel Program- ming, D.3.2 [Programming Languages, Language Classifications— Data-Flow Languages General Terms Design, Performance Keywords Data flow programming, irregular applications, distributed- memory

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.642.5301
    http://www.cs.indiana.edu/~rrnewton/papers/2012-FHPC_avalanche.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    Genetic Parallel Programming: Design and Implementation.

    Authors: Sin Man Cheang Kwong Sak Leung Kin Hong Lee

    Source: Evolutionary Computation; Summer2006, Vol. 14 Issue 2, p129-156, 28p

    Subject Terms: PARALLEL programming, ARITHMETIC, GENETIC programming, COMPUTER programmers, COMPUTER programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Objects as Session-Typed Processes

    Authors: Stephanie Balzer Frank Pfenning The Pennsylvania State University CiteSeerX Archives

    Contributors: Stephanie Balzer Frank Pfenning The Pennsylvania State University CiteSeerX Archives

    Source: http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/papers/agere15.pdf.

    Subject Terms: Categories and Subject Descriptors D.1 [Programming Techniques, Concurrent Programming—Parallel program- ming, D.1 [Programming Techniques, Object-oriented Programming Keywords object, session types, linear types, process, pro

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.2702
    http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/papers/agere15.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Computer

    Authors: Guillermo L. Taboada Juan Touriño Ramón Doallo et al.

    Contributors: Guillermo L. Taboada Juan Touriño Ramón Doallo et al.

    Source: http://www.des.udc.es/%7Ejuan/papers/pppj2009.pdf.

    Subject Terms: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifica- tions—Object-oriented languages, D.1.3 [Programming Techniques, Concurrent Programming—Parallel program- ming, C.4 [Performance of Systems, Performance at- tributes, Measurement techniques, C.2.5 [Computer-Co- mmunication Networks, Local and Wide-Area Networks— High-speed, Ethernet

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7638; http://www.des.udc.es/%7Ejuan/papers/pppj2009.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7638
    http://www.des.udc.es/%7Ejuan/papers/pppj2009.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    Polytechnic University

    Authors: Matthew B. Dwyer Lori A. Clarke Jamieson M. Cobleigh et al.

    Contributors: Matthew B. Dwyer Lori A. Clarke Jamieson M. Cobleigh et al.

    Source: http://laser.cs.umass.edu/courses/cs521-621/papers/p359-dwyer.pdf.

    Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification, D.1.3 [Programming Techniques, Concurrent Programming—Parallel program- ming

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.7345
    http://laser.cs.umass.edu/courses/cs521-621/papers/p359-dwyer.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Finding Synchronization Defects in Java Programs: Extended Static Analyses and Code Patterns.

    Authors: Otto, Frank Moschny, Thomas

    Source: ICSE: International Conference on Software Engineering; 2008, p41-46, 6p, 1 Diagram, 4 Charts

    Subject Terms: SYNCHRONIZATION, TIME measurements, JAVA programming language, OPEN source software, COMPUTER software industry

    Save to List
  20. 20

    Reducing contention through priority updates

    Authors: Julian Shun Guy E. Blelloch Jeremy T. Fineman et al.

    Contributors: Julian Shun Guy E. Blelloch Jeremy T. Fineman et al.

    Source: http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf.

    Subject Terms: Categories and Subject Descriptors, D.1.3 [Program- ming Techniques, Concurrent Programming—Parallel pro- gramming Keywords, Memory Contention, Parallel Programming Permission to make digital or hard copies of

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8075; http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.8075
    http://www.eecs.berkeley.edu/%7Ejshun/contention.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: