Search results for "programexecution"

Found 4 publication records. Showing 4 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Rajiv Gupta 0001	Synchronization and Communication Costs of Loop Partitioning on Shared-Memory Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	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
33	Santosh G. Abraham, David E. Hudak	Compile-Time Partitioning of Iterative Parallel Loops to Reduce Cache Coherency Traffic.	IEEE Trans. Parallel Distributed Syst.	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
30	Agastya Nanda, Mangala Gowri Nanda	Gaining insight into programs that analyze programs: by visualizing the analyzed program.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visualization, analysis
30	Ashutosh Gupta 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu	Proving non-termination.	POPL	2008	DBLP DOI BibTeX RDF	non-termination, recurrent sets, model checking, testing, program verification

Displaying result #1 - #4 of 4 (100 per page; Change: )