|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 138-143, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 652-659, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings, pp. 144-163, 2008, Springer, 978-3-540-89855-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 151-158, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 299-308, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 . ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), Washington, DC, USA, August 2-4, 1995., pp. 238-245, 1995, IEEE Computer Society, 0-8186-7088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 472-479, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 133-142, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings, pp. 451-460, 2006, Springer, 3-540-31198-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Davide Sangiorgi |
Internal Mobility and Agent-Passing Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 672-683, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 242-251, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 75-79, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 174-181, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 127-136, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(3), pp. 436-469, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 124-142, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 94 - VAPP VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings, pp. 461-472, 1994, Springer, 3-540-58430-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings, pp. 251-258, 2004, Springer, 3-540-23163-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings, pp. 29-36, 2003, Springer, 3-540-20149-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Xuehua Chen, Dave Turner |
Efficient Message-Passing within SMP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings, pp. 286-293, 2003, Springer, 3-540-20149-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 258-265, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 275, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 170-178, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 22nd Annual International Conference on Supercomputing, ICS 2008, Island of Kos, Greece, June 7-12, 2008, pp. 94-103, 2008, ACM, 978-1-60558-158-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(12), pp. 1740-1753, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings, pp. 178-190, 2007, Springer, 978-3-540-73813-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(10), pp. 1568-1583, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(1), pp. 47-56, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 37-45, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
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++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 43-50, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 242-249, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
object-oriented hardware modelling, communication, message passing |
35 | Jianxin Xiong, Dingxing Wang |
Analyzing Nondeterminacy of Message Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 547-549, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
message passing, trace analysis, Parallel debugging |
35 | Leonidas Georgiadis, Wojciech Szpankowski |
Stability of token passing rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 11(1-2), pp. 7-33, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 192-199, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: Proceedings of of SYSTOR 2010: The 3rd Annual Haifa Experimental Systems Conference, Haifa, Israel, May 24-26, 2010, 2010, ACM, 978-1-60558-908-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cluster, internet, parallel, grid, multicore |
34 | Tony Hey |
MPI: Past, Present and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings, pp. 5-6, 2007, Springer, 978-3-540-75415-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Kai Shen |
Parallel sparse LU factorization on second-class message passing platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005, pp. 351-360, 2005, ACM, 1-59593-167-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Eduardo Tovar, Francisco Vasques |
Non pre-emptive scheduling of messages on SMTV token-passing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, pp. 209-218, 2000, IEEE Computer Society, 0-7695-0734-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings, pp. 282-299, 1998, Springer, 3-540-65388-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 23rd Annual International Symposium on Computer Architecture, Philadelphia, PA, USA, May 22-24, 1996, pp. 296-307, 1996, ACM, 0-89791-786-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Michele Boreale, Luca Trevisan |
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 294-308, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VI Proceedings - Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 4-7, 1994., pp. 61-73, 1994, ACM Press, 0-89791-660-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Monica Nesi |
Value-Passing CCS in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 352-365, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification decomposition for reactive synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 19(4), pp. 339-357, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
Reactive Synthesis of Smart Contract Control Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA (1) ![In: Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I, pp. 248-269, 2023, Springer, 978-3-031-45328-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Noemi Passing |
Compositional synthesis of reactive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
34 | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
Reactive Synthesis of Smart Contract Control Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.06039, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Synthesizing Dominant Strategies for Liveness (Full Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.01660, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Compositional synthesis of modular systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 18(3), pp. 455-469, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022, pp. 24:1-24:11, 2022, ACM, 978-1-4503-9196-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
Temporal Stream Logic modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 325-346, 2022, Springer, 978-3-030-99252-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Synthesizing Dominant Strategies for Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India., pp. 37:1-37:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-261-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Compositional Synthesis of Modular Systems (Full Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.14783, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification Decomposition for Reactive Synthesis (Full Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.08459, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Philippe Heim, Noemi Passing |
Temporal Stream Logic modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14988, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Compositional Synthesis of Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, pp. 303-319, 2021, Springer, 978-3-030-88884-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Gideon Geier, Noemi Passing |
Specification Decomposition for Reactive Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings, pp. 113-130, 2021, Springer, 978-3-030-76383-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Dependency-based Compositional Synthesis (Full Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.06941, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
34 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.08961, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 29(2-3), pp. 757-774, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Noemi Passing |
Dependency-Based Compositional Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, pp. 447-463, 2020, Springer, 978-3-030-59151-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
Verified Rust Monitors for Lola Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, pp. 431-450, 2020, Springer, 978-3-030-60507-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTW ![In: Datenbanksysteme für Business, Technologie und Web (BTW 2019), 18. Fachtagung des GI-Fachbereichs „Datenbanken und Informationssysteme` (DBIS), 4.-8. März 2019, Rostock, Germany, Proceedings, pp. 107-126, 2019, Gesellschaft für Informatik, Bonn, 978-3-88579-683-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - 22nd International Conference on Extending Database Technology, EDBT 2019, Lisbon, Portugal, March 26-29, 2019, pp. 534-537, 2019, OpenProceedings.org, 978-3-89318-081-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaMoN ![In: Proceedings of the 14th International Workshop on Data Management on New Hardware, Houston, TX, USA, June 11, 2018, pp. 5:1-5:8, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, CIKM 2017, Singapore, November 06 - 10, 2017, pp. 2467-2470, 2017, ACM, 978-1-4503-4918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Proceedings of the 20th International Conference on Extending Database Technology, EDBT 2017, Venice, Italy, March 21-24, 2017., pp. 84-95, 2017, OpenProceedings.org, 978-3-89318-073-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Tobias Marschall, Noemi E. Passing |
Representing Pattern Matching Algorithms by Polynomial-Size Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.00138, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Minh-Duc Pham, Linnea Passing, Orri Erling, Peter A. Boncz |
Deriving an Emergent Relational Schema from RDF Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015, pp. 864-874, 2015, ACM, 978-1-4503-3469-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LWA ![In: Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB, Trier, Germany, October 7-9, 2015., pp. 45-49, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 16th Working Conference on Reverse Engineering, WCRE 2009, 13-16 October 2009, Lille, France, pp. 43-52, 2009, IEEE Computer Society, 978-0-7695-3867-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Susanne Strahringer, Ursula Löbbert-Passing, Christian J. Schäfer, Ulrich Everling |
Prozessorientierte Expertenschätzungen in der Unternehmenspraxis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HMD Prax. Wirtsch. ![In: HMD Prax. Wirtsch. 257, pp. 105-116, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
34 | Martin Passing, Falko Dressler |
Experimental Performance Evaluation of Cryptographic Algorithms on Sensor Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASS ![In: IEEE 3rd International Conference on Mobile Adhoc and Sensor Systems, MASS 2006, 9-12 October 2006, Vancouver, BC, Canada, pp. 882-887, 2006, IEEE Computer Society, 1-4244-0507-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Martin Passing, Falko Dressler |
Practical Evaluation of the Performance Impact of Security Mechanisms in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006, pp. 623-629, 2006, IEEE Computer Society, 1-4244-0418-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Ursula Passing, Martin J. Shepperd |
An experiment on software project size and effort estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September - 1 October 2003. Rome, Italy, pp. 120-131, 2003, IEEE Computer Society, 0-7695-2002-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Ursula Passing, Susanne Strahringer |
Estimating Software Project Effort Based on the Development Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 22(2), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
33 | Sandhya Dwarkadas, Alan L. Cox, Willy Zwaenepoel |
An Integrated Compile-Time/Run-Time Software Distributed Shared Memory System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VII Proceedings - Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, USA, October 1-5, 1996., pp. 186-197, 1996, ACM Press, 0-89791-767-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
FORTRAN |
31 | Andreas Eberhart, Jinke Li |
Optimizing communication for array operations on message-passing multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 242-248, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(12), pp. 1317-1321, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(6), pp. 646-651, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 6th International Symposium on High Performance Distributed Computing, HPDC '97, Portland, OR, USA, August 5-8, 1997., pp. 326-335, 1997, IEEE Computer Society, 0-8186-8117-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 545-552, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 481-489, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 170-177, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 338-354, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 207-212, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (2) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 495-496, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 311-312, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 341-346, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings, pp. 325-332, 2005, Springer, 3-540-29009-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 170-174, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 16th international conference on Supercomputing, ICS 2002, New York City, NY, USA, June 22-26, 2002, pp. 77-83, 2002, ACM, 1-58113-483-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 57, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 15, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(3), pp. 276-288, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 23rd Australasian Computer Science Conference (ACSC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 81-87, 2000, IEEE Computer Society, 0-7695-0518-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 14(3), pp. 207-232, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 477-478, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 207-214, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 11(2), pp. 159-180, 1997. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|