Suchergebnisse - D.1.3 Concurrent Programming- Parallel Programming~

Treffer weiter einschränken
  1. 1

    Trace and Stable Failures Semantics for CSP-Agda

    Autoren: Bashar Igried Anton Setzer

    Quelle: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)

    Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, Electronic computers. Computer science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process, QA1-939, Distributed, Parallel, and Cluster Computing (cs.DC), 0101 mathematics, Mathematics, Programming Languages (cs.PL)

    Zugangs-URL: https://arxiv.org/pdf/1709.04714
    http://arxiv.org/abs/1709.04714
    https://doaj.org/article/15158e0a85a14927bdf0b8076f88930b
    https://arxiv.org/pdf/1709.04714
    https://arxiv.org/abs/1709.04714
    http://ui.adsabs.harvard.edu/abs/2017arXiv170904714I/abstract
    https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf
    https://arxiv.org/abs/1709.04714v1
    https://cronfa.swan.ac.uk/Record/cronfa33725
    https://cronfa.swan.ac.uk/Record/cronfa33725/Download/0033725-12072017230838.pdf

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    ParaFlow: Fine-grained parallel SDN controller for large-scale networks.

    Autoren: Song, Ping Liu, Yi Liu, Chi et al.

    Quelle: Journal of Network & Computer Applications. Jun2017, Vol. 87, p46-59. 14p.

    Schlagwörter: *SOFTWARE-defined networking, *QUALITY of service, *SERVER farms (Computer network management), PARALLEL computers, ROUTING (Computer network management), ELECTRIC network topology

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Zippy: A Framework for Computation and Visualization on a GPU Cluster.

    Autoren: Zhe Fan Feng Qiu Kaufman, Arie E.

    Quelle: Computer Graphics Forum. Apr2008, Vol. 27 Issue 2, p341-350. 10p. 4 Color Photographs, 5 Diagrams, 1 Chart, 4 Graphs.

    Schlagwörter: *COMPUTER programming, COMPUTER graphics, VISUALIZATION, IMAGE processing, DIGITAL electronics, IMAGING systems

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    1 Scalable Multimedia Content Analysis on Parallel Platforms Using Python

    Autoren: Ekaterina Gonina Eric Battenberg Penporn Koanantakool et al.

    Weitere Verfasser: Ekaterina Gonina Eric Battenberg Penporn Koanantakool et al.

    Quelle: http://www.eecs.berkeley.edu/~egonina/docs/pycasp_tomccap.pdf.

    Schlagwörter: Categories and Subject Descriptors, D.1.3 [Concurrent Programming] Parallel Programming, D.2.m [Software Engineering, Miscellaneous— rapid prototyping, H.3.1 [Content Analysis and Retrieval] Content Analysis and Indexing General Terms, Scalability Additional Key Words and Phrases, Multimedia Content Analysis, Parallelism, Rapid Prototyping, GPU

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.6908; http://www.eecs.berkeley.edu/~egonina/docs/pycasp_tomccap.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.6908
    http://www.eecs.berkeley.edu/~egonina/docs/pycasp_tomccap.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Abstractions for safe concurrent programming in networked embedded systems

    Autoren: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: William P. Mccartney Nigamanth Sridhar The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.stanford.edu/class/cs240e/papers/p167-mccartney.pdf.

    Schlagwörter: General Terms Design, Experimentation, Languages, Measurement, Performance Keywords Wireless sensor networks, multi-threading, programming methodology, static

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.5201
    http://www.stanford.edu/class/cs240e/papers/p167-mccartney.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Semantics of Transactional Memory and Automatic Mutual Exclusion.

    Autoren: Abadi, Martín Birrell, Andrew Harris, Tim et al.

    Quelle: ACM Transactions on Programming Languages & Systems; Jan2011, Vol. 33 Issue 1, p2:1-2:50, 50p

    Schlagwörter: SEMANTICS, TRANSACTIONAL analysis, SOFTWARE compatibility, COMPUTER systems, COMPUTER multitasking, PARALLEL programming, COMPUTER programming management, COMPUTER simulation, COMPUTER storage devices

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Parallel Programming: Can we PLEASE get it right this time?

    Autoren: Mattson, Tim Wrinn, Michael

    Quelle: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p7-11, 5p, 1 Diagram

    Schlagwörter: COMPUTER industry, COMPUTER software development, COMPUTER engineers, SOFTWARE architecture, PARALLEL processing

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    Programming Challenges & Solutions for Multi-Processor SoCs: An Industrial Perspective.

    Autoren: Paulin, Pierre

    Quelle: DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p262-267, 6p, 6 Diagrams

    Schlagwörter: MULTIPROCESSORS, MULTICORE processors, PARALLEL programming, COMPUTATIONAL photography, ELECTRONIC systems, DECODERS (Electronics)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Parallel Programming Patterns for Multi-Processor SoC: Application to Video Processing.

    Autoren: PAULIN, PIERRE G. ÖZCAN, ALI ERDEM GAGNÉ, VINCENT et al.

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

    Schlagwörter: PARALLEL programming, SOFTWARE patterns, MULTIPROCESSORS, ITERATIVE methods (Mathematics), MULTICORE processors, MATHEMATICAL optimization

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Combinatorially Implosive Algorithms.

    Autoren: Kornfeld, William A. McIlroy, M. Douglas

    Quelle: Communications of the ACM; Oct82, Vol. 25 Issue 10, p734-738, 5p, 1 Diagram

    Schlagwörter: PARALLEL processing, ELECTRONIC data processing, COMPUTER programming, PARALLEL programming, COMBINATORICS, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Deferring Design Pattern Decisions and Automating Structural Pattern Changes Using a Design-Pattern-Based Programming System.

    Autoren: MACDONALD, STEVE TAN, KAI SCHAEFFER, JONATHAN et al.

    Quelle: ACM Transactions on Programming Languages & Systems; Apr2009, Vol. 31 Issue 3, p9:1-9:49, 49p, 5 Black and White Photographs, 12 Diagrams, 4 Charts

    Schlagwörter: COMPUTER programming, COMPUTER software development, PARALLEL processing software, PARALLEL programming, COMPUTER programming management, COMPUTER software quality control

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Satin: A High-Level and Efficient Grid Programming Model.

    Autoren: VAN NIEUWPOORT, ROB V. WRZESIŃSKA, GOSIA JACOBS, CERIEL J. H. et al.

    Quelle: ACM Transactions on Programming Languages & Systems; Mar2010, Vol. 32 Issue 3, p9-9.39, 39p, 1 Diagram, 11 Charts, 5 Graphs

    Schlagwörter: GRID computing, DYNAMIC programming, JAVA programming language, PARALLEL programming, COMPUTER multitasking, DISTRIBUTED computing, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Register Efficient Dynamic Memory Allocator for GPUs.

    Autoren: Vinkler, M. Havran, V.

    Quelle: Computer Graphics Forum. Dec2015, Vol. 34 Issue 8, p143-154. 12p. 2 Diagrams, 8 Charts, 3 Graphs.

    Schlagwörter: *GRAPHICS processing units, *COMPUTER storage devices, *DATA structures, *COMPUTER input-output equipment design & construction, *PERFORMANCE evaluation

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Engineering Parallel Applications with Tunable Architectures.

    Autoren: Schaefer, Christoph A. Pankratius, Victor Tichy, Walter F.

    Quelle: ICSE: International Conference on Software Engineering; 2010, p405-414, 10p, 2 Diagrams, 2 Charts, 1 Graph

    Schlagwörter: COMPUTER architecture, COMPUTER software development, PARALLEL programming, COMPUTER programming, COMPUTER input-output equipment

    Zu den Favoriten
  15. 15

    Soft Concurrent Constraint Programming.

    Autoren: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

    Quelle: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

    Schlagwörter: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    The Cilk++ Concurrency Platform.

    Autoren: Leiserson, Charles E.

    Quelle: DAC: Annual ACM/IEEE Design Automation Conference; Jul2009, p522-527, 6p, 1 Color Photograph, 6 Diagrams

    Schlagwörter: COMPUTER programming, MULTICORE processors, SIMULTANEOUS multithreading processors, PARALLEL processing, PARALLEL programming, COMPUTER engineering

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Developing a Concurrent Service Orchestration Engine in CCR.

    Autoren: Wei Lu Gunarathne, Thilina Cannon, Dennis

    Quelle: ICSE: International Conference on Software Engineering; 2008, p61-68, 8p, 5 Diagrams, 1 Graph

    Schlagwörter: COMPUTER programming, WEB services, INFORMATION technology, ELECTRONIC systems, SOFTWARE engineering

    Zu den Favoriten
  18. 18

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

    Autoren: Otto, Frank Moschny, Thomas

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

    Schlagwörter: SYNCHRONIZATION, TIME measurements, JAVA programming language, OPEN source software, COMPUTER software industry

    Zu den Favoriten
  19. 19

    Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference.

    Autoren: Bagherzadeh, Mehdi Rajan, Hridesh

    Quelle: Aspect-oriented Software Development; 3/16/15, p93-108, 16p

    Zu den Favoriten
  20. 20

    Transactional Memory: From Semantics to Silicon.

    Autoren: Adl-Tabatabai, Ali-Reza

    Quelle: ICSE: International Conference on Software Engineering; 2008, p1-1, 1p

    Schlagwörter: SOFTWARE architecture, PARALLEL programming, COMPUTER storage devices, JAVA programming language, SOFTWARE engineering

    Zu den Favoriten

Suchwerkzeuge: