Search results for "shared-memory programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter K. Szwed, Martin Schulz	Application-level checkpointing for shared memory programs.	ASPLOS	2004	DBLP DOI BibTeX RDF	fault-tolerance, checkpointing, openMP, shared-memory programs
2	Dieter Kranzlmüller, Rene Kobler, Jens Volkert	Event Manipulation for Nondeterministic Shared-Memory Programs.	HPCN	2001	DBLP DOI BibTeX RDF
2	Honghui Lu, Alan L. Cox, Willy Zwaenepoel	Contention elimination by replication of sequential sections in distributed shared memory programs.	PPOPP	2001	DBLP DOI BibTeX RDF
2	Satish Chandra, James R. Larus, Anne Rogers	Where is Time Spent in Message-Passing and Shared-Memory Programs?	ASPLOS	1994	DBLP DOI BibTeX RDF
2	Luk Levrouw, Koenraad Audenaert	Minimizing the Log Size for Execution Replay of Shared-Memory Programs.	CONPAR	1994	DBLP DOI BibTeX RDF	Execution Replay, Logical Clocks, Parallel Debugging
1	Per Larsen, Sven Karlsson, Jan Madsen	Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs.	IEEE Trans. Industrial Informatics	2011	DBLP DOI BibTeX RDF
1		Verification of Parallel Shared-Memory Programs, Owicki-Gries Method of Axiomatic.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Bogdan Marius Tudor, Yong Meng Teo	A Practical Approach for Performance Analysis of Shared-Memory Programs.	IPDPS	2011	DBLP DOI BibTeX RDF
1	Tuan Cao, Benjamin Sowell, Marcos Antonio Vaz Salles, Alan J. Demers, Johannes Gehrke	BRRL: a recovery library for main-memory applications in the cloud.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
1	Marcus Völp	Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels.	ARES	2008	DBLP DOI BibTeX RDF	information flow, language-based security
1	Madanlal Musuvathi, Shaz Qadeer	Fair stateless model checking.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs
1	Lee Baugh, Craig B. Zilles	An Analysis of I/O And Syscalls In Critical Sections And Their Implications For Transactional Memory.	ISPASS	2008	DBLP DOI BibTeX RDF
1	Yuan Zhang, Evelyn Duesterwald, Guang R. Gao	Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers.	LCPC	2007	DBLP DOI BibTeX RDF
1	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
1	Ryan E. Grant, Ahmad Afsahi	A Comprehensive Analysis of OpenMP Applications on Dual-Core Intel Xeon SMPs.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
1	Stephen D. Brookes	Variables as Resource for Shared-Memory Programs: Semantics and Soundness.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Long Fei, Xing Fang, Y. Charlie Hu, Samuel P. Midkiff	Monitoring remotely executing shared memory programs in software DSMs.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Martín Abadi, Cormac Flanagan, Stephen N. Freund	Types for safe locking: Static race detection for Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type system, Concurrent programs, type inference, race conditions
1	Lisa Higham, Jalal Kawash	Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs.	ISPAN	2005	DBLP DOI BibTeX RDF	Instruction re-ordering, High-performance multiprocessors, Mutual exclusion, Sequential consistency, Critical Sections, Memory consistency models
1	Jean-Francois Collard, Norman P. Jouppi, Sami Yehia	System-wide performance monitors and their application to the optimization of coherent memory accesses.	PPOPP	2005	DBLP DOI BibTeX RDF	coherence traffic, performance monitors
1	Richard H. Carver, Yu Lei	A General Model for Reachability Testing of Concurrent Programs.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Khaled Z. Ibrahim, Gregory T. Byrd	Extending OpenMP to Support Slipstream Execution Mode.	IPDPS	2003	DBLP DOI BibTeX RDF	slipstream, redundant execution, multiprocessor, shared memory, OpenMP, dynamic scheduling
1	Wei-Yu Chen, Arvind Krishnamurthy, Katherine A. Yelick	Polynomial-Time Algorithms for Enforcing Sequential Consistency in SPMD Programs with Arrays.	LCPC	2003	DBLP DOI BibTeX RDF
1	Jie Tao, Wolfgang Karl, Martin Schulz	Memory access behavior analysis of NUMA-based shared memory programs.	Scientific Programming	2002	DBLP BibTeX RDF
1	Keum-Sook Ha, Eun-Kyung Ryu, Kee-Young Yoo	Space-Efficient First Race Detection in Shared Memory Programs with Nested Parallelism.	PARA	2002	DBLP BibTeX RDF
1	Ruoming Jin, Gagan Agrawal	Performance prediction for random write reductions: a case study in modeling shared memory programs.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
1	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Thread-Modular Verification for Shared-Memory Programs.	ESOP	2002	DBLP DOI BibTeX RDF
1	Gurdip Singh	Specifying Synchronization in Distributed Shared Memory Programs.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
1	Aaron Greenhouse, William L. Scherlis	Assuring and evolving concurrent programs: annotations and policy.	ICSE	2002	DBLP DOI BibTeX RDF
1	Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo	A Practical Method for On-the-Fly Data Race Detection.	PARA	2002	DBLP BibTeX RDF
1	Seon Wook Kim, Rudolf Eigenmann	Where Does the Speedup Go: Quantitative Modeling of Performance Losses in Shared-Memory Programs.	Parallel Processing Letters	2000	DBLP BibTeX RDF
1	Dejan Perkovic, Peter J. Keleher	A Protocol-Centric Approach to on-the-Fly Race Detection.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	shared memory, DSM, Data races, on-the-fly
1	Mukund Raghavachari, Anne Rogers	Ace: a language for parallel programming with customizable protocols.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	parallel processing
1	Chen-Chi Kuo, John B. Carter, Ravindra Kuramkote	MP-LOCKs: Replacing H/W Synchronization Primitives with Message Passing.	HPCA	1999	DBLP DOI BibTeX RDF
1	Jeffrey K. Hollingsworth	Critical Path Profiling of Message Passing and Shared-Memory Programs.	IEEE Trans. Parallel Distrib. Syst.	1998	DBLP DOI BibTeX RDF	program tuning, on-line evaluation, measurement, tools, Parallel and distributed processing
1	Jörg Cordsen, Jörg Nolte, Wolfgang Schröder-Preikschat	Experiences Developing a Virtual Shared Memory System Using High-Level Object Paradigms.	ECOOP	1998	DBLP DOI BibTeX RDF
1	Sotiris Ioannidis, Sandhya Dwarkadas	Compiler and Run-Time Support for Adaptive Load Balancing in Software Distributed Shared Memory Systems.	LCR	1998	DBLP DOI BibTeX RDF
1	Alain Kägi, Doug Burger, James R. Goodman	Efficient Synchronization: Let Them Eat QOLB.	ISCA	1997	DBLP DOI BibTeX RDF
1	Mukund Raghavachari, Anne Rogers	Ace: Linguistic Mechanisms for Customizable Protocols.	PPOPP	1997	DBLP DOI BibTeX RDF
1	Per Stenström, Jonas Skeppstedt	A Performance Tuning Approach for Shared-Memory Multiprocessors.	Euro-Par	1997	DBLP DOI BibTeX RDF
1	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
1	Robert Snelick, Joseph JáJá, Raghu Kacker, Gordon Lyon	Using Synthetic Perturbations and Statistical Screening to Assay Shared-Memory Programs.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
1	Robert Snelick, Joseph JáJá, Raghu Kacker, Gordon Lyon	Synthetic-perturbation Techniques for Screening Shared Memory Programs.	Softw., Pract. Exper.	1994	DBLP DOI BibTeX RDF
1	Luk Levrouw, Koenraad Audenaert, Jan M. Van Campenhout	Execution Replay with Compact Logs for Shared-Memory Programs.	Applications in Parallel and Distributed Computing	1994	DBLP BibTeX RDF
1	Mitsuhisa Sato, Yuetsu Kodama, Yoshinori Yamaguchi, Shuichi Sakai	Experience with Executing Shared Memory Programs using Fine-Grain Communication and Multithreading in EM-4.	IPPS	1994	DBLP BibTeX RDF
1	Robert Snelick, Joseph JáJá, Raghu Kacker, Gordon Lyon	Using Synthetic-Perturbation Techniques for Tuning Shared Memory Programs (Extended Abstract).	ICPP	1993	DBLP BibTeX RDF
1	Robert H. B. Netzer	Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs.	LCPC	1993	DBLP DOI BibTeX RDF
1	Vikram S. Adve, Mary K. Vernon	The Influence of Random Delays on Parallel Execution Times.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
1	Erik Hagersten, Mats Grindal, Anders Landin, Ashley Saulsbury, Bengt Werner, Seif Haridi	Simulating the Data Diffusion Machine.	PARLE	1993	DBLP DOI BibTeX RDF
1	Robert H. B. Netzer, Sanjoy Ghosh	Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization.	ICPP	1992	DBLP BibTeX RDF
1	John B. Carter, John K. Bennett, Willy Zwaenepoel	Implementation and Performance of Munin.	SOSP	1991	DBLP DOI BibTeX RDF
1	Anne Rogers, Keshav Pingali	Process Decomposition Through Locality of Reference.	PLDI	1989	DBLP DOI BibTeX RDF