The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for programexecution with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991 (1) 1992 (1) 2008 (1) 2009 (1)
Publication types (Num. hits)
article(2) inproceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 22 keywords

Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
33Rajiv Gupta 0001 Synchronization and Communication Costs of Loop Partitioning on Shared-Memory Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF static loop scheduling, staticloop decomposition, computer-assisted run-time scheduling, multidimensional loops, operation execution costs, synchronization costs, programexecution, synchronization instruction, Encore multiprocessor system, scheduling, parallel algorithms, parallel programming, program compilers, programming theory, communication costs, nested loops, self-scheduling, shared-memory multiprocessor systems, loop partitioning, program decomposition
33Santosh G. Abraham, David E. Hudak Compile-Time Partitioning of Iterative Parallel Loops to Reduce Cache Coherency Traffic. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF adaptive data partitioning, iterative parallel loops, cache coherency traffic, ADP, communication-reducing back end, machine-specific partitioner, multiprocessor model, programexecution factors, vector notation, global data set, arrayaccesses, underlying system architecture, cache line sizes, hexagonal partitions, parallel programming, parallel machines, program compilers, parallelizing compilers, buffer storage, interprocessor communication, interprocessor communication, communication patterns, parallelprograms
30Agastya Nanda, Mangala Gowri Nanda Gaining insight into programs that analyze programs: by visualizing the analyzed program. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF visualization, analysis
30Ashutosh Gupta 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu Proving non-termination. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-termination, recurrent sets, model checking, testing, program verification
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license