|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6133 occurrences of 2620 keywords
|
|
|
Results
Found 8539 publication records. Showing 8534 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Jameela Al-Jaroodi, Nader Mohamed |
An Object-Passing Model for Parallel Programming. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
object-passing parallel/distributed programming, clusters, message-passing, object-oriented languages, heterogeneous systems |
57 | Dhabaleswar K. Panda 0001 |
Global reduction in wormhole k-ary n-cube networks with multidestination exchange worms. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
global reduction, wormhole k-ary n-cube networks, multidestination exchange worms, multidestination message passing mechanism, pairwise exchange worms, complete global reduction, barrier synchronization operations, message passing interface standard, unicast-based message passing, communication startup time, data size, fast global reduction, message passing, synchronisation, hypercube networks, system size |
54 | Sriram Gopal, Wesley Tansey, Gokulnath C. Kannan, Eli Tilevich |
DeXteR- An Extensible Framework for Declarative Parameter Passing in Distributed Object Systems. |
Middleware |
2008 |
DBLP DOI BibTeX RDF |
Extensible Middleware, Parameter Passing, Metadata, Aspect Oriented Programming, Declarative Programming |
50 | Patrick Heckeler, Marcus Ritt, Jörg Behrend, Wolfgang Rosenstiel |
Object-Oriented Message-Passing in Heterogeneous Environments. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
object-oriented communication, heterogeneous communication, Parallel computing, message-passing |
47 | Guido Wirtz |
Modularization, re-use and testing for parallel message-passing programs. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
parallel message-passing programs, program reuse, parallel program design, imperative message-passing programming language, distributed memory paradigm, graphical constructs, sequential parts, slightly restricted ANSI-C, formal specification, parallel programming, message passing, modularization, requirements, program testing, program testing, software reusability, distributed memory systems, parallel languages, sequential programming |
47 | Rajesh Yadav, Rajashekar Reddy, Salim Hariri |
A Multithreaded Message Passing Environment for ATM LAN/WAN . |
HPDC |
1995 |
DBLP DOI BibTeX RDF |
multithreaded message passing environment, ATM WAN, high performance distributed computing environment, redundant data copying, multithreaded message passing system, NYNET communication system, NYNET, ATM wide area network testbed, ATM application programmer interface, multithreaded environment, protocols, asynchronous transfer mode, message passing, local area networks, wide area networks, quality of service requirements, networking technology, protocol processing, modular approach, ATM LAN |
46 | Andrea Clematis, Eugenio Gresso |
HeterEL-a server for programming parallel heterogeneous systems. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
HeterEL, parallel heterogeneous systems, heterogeneous parallel computing, message passing model, virtual shared memory communication model, message passing communications, shared virtual memory libraries, parallel programming, software tools, message passing, shared memory systems, open systems, shared virtual memory, communication libraries |
46 | Ben Lee, Chae Shin, Ali R. Hurson |
A strategy for scheduling partially ordered program graphs onto multicomputers. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
partially ordered program graphs, scalar performance, user code, compile-time scheduling heuristic, SISAL programs, scheduling, performance evaluation, scalability, parallel programming, message passing, reconfigurable architectures, program compilers, processor scheduling, multicomputers, communication overhead, simulation studies, BLAS, massively parallel processing, message-passing programming, inter-processor communication, message-passing multicomputers |
44 | Tomas Plachetka |
Unifying Framework for Message Passing. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Davide Sangiorgi |
Internal Mobility and Agent-Passing Calculi. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
42 | Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie |
The "Annai" environment for portable distributed parallel programming. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
Annai environment, portable distributed parallel programming environment, distributed memory parallel processors, tool prototypes, functionality enhancements, High Performance Fortran compiler, unstructured problem parallelization, performance analyzer, source-level debugger, common user interface, low-level machine interface, target hardware architecture, dynamic data distributions, high-level data-parallel programming, low-level message-passing programming, interactive performance monitor, user interfaces, parallel programming, Message Passing Interface, software tools, message passing, FORTRAN, programming environments, feedback, program compilers, distributed memory systems, software performance evaluation, portability, program debugging, software portability, program diagnostics, application developers, language extensions, performance results |
41 | H. Bekker, E. J. Dijkstra |
Delay-Insensitive Synchronization on a Message-Passing Architecture with an Open Collector Bus. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
delay-insensitive synchronization, open collector bus, high latency, constraint algorithm, SHAKE, Constraint Molecular Dynamics simulation, ring architecture, delay insensitive algorithm, performance evaluation, performance, parallel algorithms, parallel algorithms, parallel architectures, message passing, multiprocessor interconnection networks, multiprocessor interconnection networks, synchronisation, digital simulation, physics computing, system buses, communication time, message passing architecture |
41 | Konstantin Trachos, Erik Maehle |
A class hierarchy emulating virtual shared objects on message-passing systems. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
virtual shared objects, scalable performance, composite virtual objects, object-oriented abstractions, shared composite virtual objects, parallel programming, parallel programming, object-oriented programming, C++, message passing, shared memory, shared memory systems, distributed memory systems, type theory, interaction protocol, distributed memory, data types, C language, shared objects, message-passing systems, class hierarchy |
40 | Christopher Line, K. R. Jayaram, Patrick Eugster |
Lazy argument passing in Java RMI. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
argument passing, invocation, method remote, Java, asynchronous, future, lazy |
40 | Marco Bernardo 0001 |
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
symbolic semantics, value passing, Process algebras |
40 | Hagit Attiya, Amotz Bar-Noy, Danny Dolev |
Sharing Memory Robustly in Message-Passing Systems. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
processor and link failures, fault-tolerance, message passing, shared memory, emulation, atomic registers, wait-freedom |
40 | Rudolf Berrendorf, Michael Gerndt, Zakaria Lahjomri, Thierry Priol |
A Comparison of Shared Virtual Memory and Message Passing Programming Techniques Based on a Finite Element Application. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
finite element application, message passing, programming model, shared virtual memory |
39 | Simon Pinkenburg, Wolfgang Rosenstiel |
Parallel I/O in an Object-Oriented Message-Passing Library. |
PVM/MPI |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Guillermo L. Taboada, Juan Touriño, Ramon Doallo |
Performance Modeling and Evaluation of Java Message-Passing Primitives on a Cluster. |
PVM/MPI |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Xuehua Chen, Dave Turner |
Efficient Message-Passing within SMP Systems. |
PVM/MPI |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Gábor Dózsa, Dániel Drótos, Róbert Lovas |
Translation of a High-Level Graphical Code to Message-Passing Primitives in the GRADE Programming Environment. |
PVM/MPI |
2000 |
DBLP DOI BibTeX RDF |
|
36 | David Lin, Teng-Sheng Moh, W. Melody Moh |
Brief announcement: improved asynchronous group mutual exclusion in token-passing networks. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
distributed algorithm, message-passing, mutual exclusion, token-passing, group mutual exclusion |
36 | Mariam Kamkar, Patrik Krajina, Peter Fritzson |
Dynamic Slicing of Parallel Message-Passing Programs. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
parallel message-passing programs, program maintenance activities, new functionality, software development resources, computer-supported methods, error sources, parallel MIMD computer, distributed systems, parallel programming, software testing, software maintenance, debugging, message passing, software metrics, program testing, dependence analysis, program debugging, software complexity, dynamic program slicing, program decomposition |
35 | Sameer Kumar 0001, Gábor Dózsa, Gheorghe Almási 0001, Philip Heidelberger, Dong Chen 0005, Mark Giampapa, Michael Blocksome, Ahmad Faraj, Jeff Parker, Joe Ratterman, Brian E. Smith, Charles Archer |
The deep computing messaging framework: generalized scalable message passing on the blue gene/P supercomputer. |
ICS |
2008 |
DBLP DOI BibTeX RDF |
application programmer interface, parallel computing, MPI, message passing, collective communication, sockets, active messages, blue gene |
35 | Concepció Roig, Ana Ripoll, Fernando Guirado |
A New Task Graph Model for Mapping Message Passing Applications. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
modelling message-passing programs, program behaviour, task concurrency, static mapping, Task graphs, mapping algorithms |
35 | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement |
35 | Vladimir Kolmogorov |
Convergent Tree-Reweighted Message Passing for Energy Minimization. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
message passing, Markov random fields, graph algorithms, stereo, Energy minimization, belief propagation, early vision |
35 | Sergei Gorlatch |
Send-receive considered harmful: Myths and realities of message passing. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Message Passing Interface (MPI), Programming methodology |
35 | Nader Mohamed, Jameela Al-Jaroodi, Hong Jiang 0001, David R. Swanson |
JOPI: a Java object-passing interface. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
object-passing, cluster, Java, parallel programming, heterogeneous systems, object-oriented systems |
35 | Tobias Grundmann, Marcus Ritt, Wolfgang Rosenstiel |
TPO++: An Object-Oriented Message-Passing Library in C++. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
Object-orientation, C++, MPI, Message-passing, Scientific Computing |
35 | Wolfram Putzke-Röming, Martin Radetzki, Wolfgang Nebel |
A Flexible Message Passing Mechanism for Objective VHDL. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
object-oriented hardware modelling, communication, message passing |
35 | Jianxin Xiong, Dingxing Wang |
Analyzing Nondeterminacy of Message Passing Programs. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
message passing, trace analysis, Parallel debugging |
35 | Leonidas Georgiadis, Wojciech Szpankowski |
Stability of token passing rings. |
Queueing Syst. Theory Appl. |
1992 |
DBLP DOI BibTeX RDF |
Token passing rings, substability, Loynes' scheme, Little's formula, stability, Markov chains, ergodicity, regenerative processes, stochastically dominant |
35 | John Yiannis Cotronis, Zacharias Tsiatsoulis, C. Kouniakis |
Composition of Message Passing Applications On-Demand. |
PVM/MPI |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Yosi Ben-Asher, Dimitry Giver, Gadi Haber, Gil Kulish |
HparC: a mixed nested shared memory and message passing programming style intended for grid. |
SYSTOR |
2010 |
DBLP DOI BibTeX RDF |
cluster, internet, parallel, grid, multicore |
34 | Tony Hey |
MPI: Past, Present and Future. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Kai Shen |
Parallel sparse LU factorization on second-class message passing platforms. |
ICS |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Eduardo Tovar, Francisco Vasques |
Non pre-emptive scheduling of messages on SMTV token-passing networks. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |
Towards a Characterisation of Finite-State Message-Passing Systems. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Edward W. Felten, Richard Alpert, Angelos Bilas, Matthias A. Blumrich, Douglas W. Clark, Stefanos N. Damianakis, Cezary Dubnicki, Liviu Iftode, Kai Li 0001 |
Early Experience with Message-Passing on the SHRIMP Multicomputer. |
ISCA |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Michele Boreale, Luca Trevisan |
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Satish Chandra 0001, James R. Larus, Anne Rogers |
Where is Time Spent in Message-Passing and Shared-Memory Programs? |
ASPLOS |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Monica Nesi |
Value-Passing CCS in HOL. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification decomposition for reactive synthesis. |
Innov. Syst. Softw. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
Reactive Synthesis of Smart Contract Control Flows. |
ATVA (1) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Noemi Passing |
Compositional synthesis of reactive systems. |
|
2023 |
RDF |
|
34 | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
Reactive Synthesis of Smart Contract Control Flows. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Synthesizing Dominant Strategies for Liveness (Full Version). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Compositional synthesis of modular systems. |
Innov. Syst. Softw. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck |
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. |
HSCC |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
Temporal Stream Logic modulo Theories. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Synthesizing Dominant Strategies for Liveness. |
FSTTCS |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Compositional Synthesis of Modular Systems (Full Version). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification Decomposition for Reactive Synthesis (Full Version). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
Temporal Stream Logic modulo Theories. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Compositional Synthesis of Modular Systems. |
ATVA |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification Decomposition for Reactive Synthesis. |
NFM |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Dependency-based Compositional Synthesis (Full Version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
34 | Harald Lang, Linnea Passing, Andreas Kipf, Peter A. Boncz, Thomas Neumann 0001, Alfons Kemper |
Make the most out of your SIMD investments: counter control flow divergence in compiled query pipelines. |
VLDB J. |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Dependency-Based Compositional Synthesis. |
ATVA |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Maximilian E. Schüle, Linnea Passing, Alfons Kemper, Thomas Neumann 0001 |
Ja-(zu-)SQL: Evaluation einer SQL-Skriptsprache für Hauptspeicherdatenbanksysteme. |
BTW |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Maximilian E. Schüle, Dimitri Vorona, Linnea Passing, Harald Lang, Alfons Kemper, Stephan Günnemann, Thomas Neumann 0001 |
The Power of SQL Lambda Functions. |
EDBT |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Harald Lang, Andreas Kipf, Linnea Passing, Peter A. Boncz, Thomas Neumann 0001, Alfons Kemper |
Make the most out of your SIMD investments: counter control flow divergence in compiled query pipelines. |
DaMoN |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Nina C. Hubig, Linnea Passing, Maximilian E. Schüle, Dimitri Vorona, Alfons Kemper, Thomas Neumann 0001 |
HyPerInsight: Data Exploration Deep Inside HyPer. |
CIKM |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Linnea Passing, Manuel Then, Nina C. Hubig, Harald Lang, Michael Schreier, Stephan Günnemann, Alfons Kemper, Thomas Neumann 0001 |
SQL- and Operator-centric Data Analytics in Relational Main-Memory Databases. |
EDBT |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Tobias Marschall, Noemi E. Passing |
Representing Pattern Matching Algorithms by Polynomial-Size Automata. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
34 | Minh-Duc Pham, Linnea Passing, Orri Erling, Peter A. Boncz |
Deriving an Emergent Relational Schema from RDF Data. |
WWW |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Manuel Then, Linnea Passing, Nina C. Hubig, Stephan Günnemann, Alfons Kemper, Thomas Neumann 0001 |
Effiziente Integration von Data- und Graph-Mining-Algorithmen in relationale Datenbanksysteme. |
LWA |
2015 |
DBLP BibTeX RDF |
|
34 | Johannes Passing, Alexander Schmidt 0001, Martin von Löwis, Andreas Polze |
NTrace: Function Boundary Tracing for Windows on IA-32. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Susanne Strahringer, Ursula Löbbert-Passing, Christian J. Schäfer, Ulrich Everling |
Prozessorientierte Expertenschätzungen in der Unternehmenspraxis. |
HMD Prax. Wirtsch. |
2007 |
DBLP BibTeX RDF |
|
34 | Martin Passing, Falko Dressler |
Experimental Performance Evaluation of Cryptographic Algorithms on Sensor Nodes. |
MASS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Martin Passing, Falko Dressler |
Practical Evaluation of the Performance Impact of Security Mechanisms in Sensor Networks. |
LCN |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Ursula Passing, Martin J. Shepperd |
An experiment on software project size and effort estimation. |
ISESE |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ursula Passing, Susanne Strahringer |
Estimating Software Project Effort Based on the Development Process Model. |
Softwaretechnik-Trends |
2002 |
DBLP BibTeX RDF |
|
33 | Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel |
An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System. |
ASPLOS |
1996 |
DBLP DOI BibTeX RDF |
FORTRAN |
31 | Andreas Eberhart, Jinke Li |
Optimizing communication for array operations on message-passing multicomputers. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
contention-free data transfer, scalability, parallel programming, message passing, multiprocessing systems, communication complexity, scheduling algorithm, parallel languages, distributed-memory multicomputers, communication patterns, network resources, data-parallel languages, array operations, message-passing multicomputers |
31 | Mayez A. Al-Mouhamed, Adel Al-Maasarani |
Performance Evaluation of Scheduling Precedence-Constained Computations on Message-Passing Systems. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
scheduling precedence-constrained computations, multiprocessor topology, global priority-based schedulingheuristics, generalized list scheduling, backward scheduling, graph-driven scheduling, scheduling, performance evaluation, performance evaluation, computational complexity, multiprocessor, message passing, network topology, time complexity, message-passing systems |
31 | Patrick M. Lenders |
A Generalized Message-Passing Mechanism for Communicating Sequential Processes. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives |
31 | Johann Leichtl, Phyllis Crandall, Mark J. Clement |
Parallel Programming in Multi-Paradigm Clusters. |
HPDC |
1997 |
DBLP DOI BibTeX RDF |
multi-paradigm clusters, multiprocessor workstations, network overhead, multiparadigm parallelism, shared memory parallel processing, distributed memory parallel processing, message-passing paradigm, shared-memory primitives, Jacobi iteration, parallel programming, parallel programming, message passing, cluster computing, matrix multiplication, numerical integration, programming complexity |
31 | John Yiannis Cotronis |
Efficient Program Composition on Parix by the Ensemble Methodology. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
program composition, Parix, Ensemble methodology, message passing program composition methodology, Process Communication Graphs, application scripts, universal Parix program loader, communication dependencies, complexities, message passing, parallel virtual machine |
31 | Marc A. Nurmi, William E. Bejcek, Rod N. Gregoire, K. C. Liu, Mark D. Pohl |
Automatic Management of CPU and I/O Bottlenecks in Distributed Applications on ATM Networks. |
HPDC |
1996 |
DBLP DOI BibTeX RDF |
CPU bottleneck management, input output bottleneck management, computationally intensive applications, distributed process management, centralized application management, parallel programming, asynchronous transfer mode, message passing, message passing, programming environments, local area networks, distributed applications, bandwidth, ATM networks, software performance evaluation, parallel programming environments, workstation networks, application performance, virtual shared memory |
31 | Jaeyoung Choi, Jack J. Dongarra |
Scalable linear algebra software libraries for distributed memory concurrent computers. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
scalable linear algebra software libraries, distributed memory concurrent computers, core factorization routines, ScaLAPACK library, block cyclic data distribution, message passing communication, scalable software library, de facto standard kernels, Intel iPSC/860, Touchstone Delta, Paragon systems, parallel programming, message passing, software reusability, software libraries, parallel implementations, symbol manipulation, matrix operations, vector operations |
30 | Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
Correct Channel Passing by Construction. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Channel passing, Web Services, Formal Methods, Orchestration, Choreography |
30 | Wen Ji, Yuta Abe, Takeshi Ikenaga, Satoshi Goto |
A cost-efficient partially-parallel irregular LDPC decoder based on sum-delta message passing algorithm. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
ldpc, message passing algorithm |
30 | Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu |
A Formal Model for Channel Passing in Web Service Composition. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
Channel passing, Web Service, Orchestration, Choreography |
30 | Chantana Phongpensri, Thanarat Rungthong |
Vis-OOMPI: Visual Tool for Automatic Code Generation Based on C++/OOMPI. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
visual parallel programming, OOMPI, message-passing programming interface, MPI |
30 | Ganesha S. R. Shanmuganathan, Kang Zhang 0001, W. Eric Wong, Yu Qi |
Analyzing Message-Passing Programs through Visual Slicing. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
program slicing and debugging, visualization, message-passing interface, MPI |
30 | Brett Carson, Ian A. Mason |
ClusterGrind: Valgrinding LAM/MPI Applications. |
PVM/MPI |
2005 |
DBLP DOI BibTeX RDF |
passing, debugging, profiling, message, reporting |
30 | Harsh Shah, Amruth N. Kumar |
A tutoring system for parameter passing in programming languages. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
evaluating educational software, parameter passing mechanisms in programming languages, active learning, problem-solving, online learning, web-based tutors |
30 | Richard L. Graham, Sung-Eun Choi, David J. Daniel, Nehal N. Desai, Ronald G. Minnich, Craig Edward Rasmussen, L. Dean Risinger, Mitchel W. Sukalski |
A network-failure-tolerant message-passing system for terascale clusters. |
ICS |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, MPI, message passing |
30 | Piyush Shivam, Pete Wyckoff, Dhabaleswar K. Panda 0001 |
EMP: zero-copy OS-bypass NIC-driven gigabit ethernet message passing. |
SC |
2001 |
DBLP DOI BibTeX RDF |
OS bypass, user level protocol, message passing, gigabit ethernet |
30 | Osamu Tatebe, Umpei Nagashima, Satoshi Sekiguchi, Hisayoshi Kitabayashi, Yoshiyuki Hayashida |
Design and implementation of FMPL, a fast message-passing library for remote memory operations. |
SC |
2001 |
DBLP DOI BibTeX RDF |
BLACS, BLACS-FMPL, FMPL, hardware barrier synchronization, hardware broadcast, hitachi SR8000, remote memory operations, message-passing library |
30 | Sergei Gorlatch |
Toward Formally-Based Design of Message Passing Programs. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
systematic program design, maximum segment sum, MPI, Message passing, program transformations, skeletons, reduction, scan, homomorphisms, collective operations |
30 | K. John Gough |
Parameter Passing for the Java Virtual Machine. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
languages other than Java, parameter passing mechanisms, Compilers, Java Virtual Machine |
30 | Jinsong Ouyang, Piyush Maheshwari |
Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations. |
J. Supercomput. |
1999 |
DBLP DOI BibTeX RDF |
reliable distributed applications, fault tolerance, message passing, checkpointing, rollback-recovery |
30 | Christophe Cérin |
Differentiating Message Passing Interface and Bulk Synchronous Parallel Computation Models. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
teaching parallel processing, foundations of parallel programming languages, message passing interface (MPI) and bulk synchronous parallel (BSP) models |
30 | Félix García 0002, Alejandro Calderón 0001, Jesús Carretero 0001 |
MiMPI: A Multithred-Safe Implementation of MPI. |
PVM/MPI |
1999 |
DBLP DOI BibTeX RDF |
Parallel programming, MPI, message-passing, threads |
30 | Sung-Yong Park, Salim Hariri |
A High Performance Message-Passing System for Network of Workstations. |
J. Supercomput. |
1997 |
DBLP DOI BibTeX RDF |
Message-Passing Tool, ATM, Application Programming Interface, Network of Workstations, Multi-threading, High Performance Distributed Computing |
Displaying result #1 - #100 of 8534 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|