|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3894 occurrences of 1643 keywords
|
|
|
Results
Found 3168 publication records. Showing 3168 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang |
Static data race detection for concurrent programs with asynchronous calls. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
asynchronous programs, static data race detection, bootstrapping, pointer analysis |
17 | Degui Feng, Guanjun Jiang, Tiefei Zhang, Wei Hu 0001, Tianzhou Chen, Mingteng Cao |
SPMTM: A Novel ScratchPad Memory Based Hybrid Nested Transactional Memory Framework. |
APPT |
2009 |
DBLP DOI BibTeX RDF |
synchronization, Chip multiprocessor, transactional memory, scratchpad memory |
17 | Geoffrey Chu, Christian Schulte 0001, Peter J. Stuckey |
Confidence-Based Work Stealing in Parallel Constraint Programming. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
17 | David Tarjan, Jiayuan Meng, Kevin Skadron |
Increasing memory miss tolerance for SIMD cores. |
SC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Madriles, Pedro López 0001, Josep M. Codina, Enric Gibert, Fernando Latorre, Alejandro Martínez, Raúl Martínez, Antonio González 0001 |
Boosting single-thread performance in multi-core systems through fine-grain multi-threading. |
ISCA |
2009 |
DBLP DOI BibTeX RDF |
core-fusion, single-thread performance, multicore, automatic parallelization, thread-level parallelism, speculative multithreading |
17 | Dongsoo Kang, Chen Liu 0001, Jean-Luc Gaudiot |
The Impact of Speculative Execution on SMT Processors. |
Int. J. Parallel Program. |
2008 |
DBLP DOI BibTeX RDF |
Speculation control, Simultaneous multithreading, Thread scheduling, Confidence estimator |
17 | Joseph J. Sharkey, Jason Loew, Dmitry V. Ponomarev |
Reducing register pressure in SMT processors through L2-miss-driven early register release. |
ACM Trans. Archit. Code Optim. |
2008 |
DBLP DOI BibTeX RDF |
register file, Simultaneous multithreading |
17 | Huaping Wang, Israel Koren, C. Mani Krishna 0001 |
An adaptive resource partitioning algorithm for SMT processors. |
PACT |
2008 |
DBLP DOI BibTeX RDF |
simultaneous multithreading, resource partitioning |
17 | Emre Özer 0001, Ronald G. Dreslinski, Trevor N. Mudge, Stuart Biles, Krisztián Flautner |
Energy-Efficient Simultaneous Thread Fetch from Different Cache Levels in a Soft Real-Time SMT Processor. |
SAMOS |
2008 |
DBLP DOI BibTeX RDF |
Real-time, Energy Efficiency, Caches, Embedded Processors, SMT |
17 | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
Thread Quantification for Concurrent Shape Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Hilbrich, Matthias S. Müller, Bettina Krammer |
Detection of Violations to the MPI Standard in Hybrid OpenMP/MPI Applications. |
IWOMP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Easwaran Raman, Neil Vachharajani, Ram Rangan, David I. August |
Spice: speculative parallel iteration chunk execution. |
CGO |
2008 |
DBLP DOI BibTeX RDF |
automatic paralleization, thread level parallelism, multicore architectures, speculative parallelization, value speculation |
17 | Easwaran Raman, Guilherme Ottoni, Arun Raman, Matthew J. Bridges, David I. August |
Parallel-stage decoupled software pipelining. |
CGO |
2008 |
DBLP DOI BibTeX RDF |
doall, dswp, tlp, automatic parallelization, multi-core architectures, pipelined parallelism |
17 | Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar |
A Static Characterization of Affinity in a Distributed Program. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
Static Detection of Place Locality and Elimination of Runtime Checks. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai |
Conservative vs. Optimistic Parallelization of Stateful Network Intrusion Detection. |
ISPASS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hung-Khoon Tan, Chong-Wah Ngo, Xiao Wu 0001 |
Modeling video hyperlinks with hypergraph for web video reranking. |
ACM Multimedia |
2008 |
DBLP DOI BibTeX RDF |
higher order relation, web video reranking, hypergraph |
17 | Sevin Fide, Stephen F. Jenks |
Architecture optimizations for synchronization and communication on chip multiprocessors. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Roy Krischer, Peter A. Buhr |
Asynchronous exception propagation in blocked tasks. |
Workshop on Exception Handling |
2008 |
DBLP DOI BibTeX RDF |
asynchronous exceptions, resumption, exception handling |
17 | Hans-Juergen Boehm, Sarita V. Adve |
Foundations of the C++ concurrency memory model. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
trylock, c++, memory model, data race, sequential consistency, memory consistency |
17 | Christophe Cérin, Hazem Fkaier, Mohamed Jemni |
Experimental Study of Thread Scheduling Libraries on Degraded CPU. |
ICPADS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Martin Burtscher, Milind Kulkarni 0001, Dimitrios Prountzos, Keshav Pingali |
On the Scalability of an Automatically Parallelized Irregular Application. |
LCPC |
2008 |
DBLP DOI BibTeX RDF |
sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement |
17 | Claude Évéquoz |
Non-Blocking Concurrent FIFO Queues with Single Word Synchronization Primitives. |
ICPP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Juan Carlos Saez, José Ignacio Gómez, Manuel Prieto 0001 |
Improving Priority Enforcement via Non-Work-Conserving Scheduling. |
ICPP |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Eric Koskinen, Maurice Herlihy |
Dreadlocks: efficient deadlock detection. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection |
17 | Kanupriya Gulati, Sunil P. Khatri |
Towards acceleration of fault simulation using graphics processing units. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
graphics processing units, fault simulation |
17 | Steve Vinoski |
Concurrency with Erlang. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
Toward Integration, middleware, concurrency, programming language, Erlang |
17 | Osmar Marchi dos Santos, Andy J. Wellings |
Cost enforcement in the real-time specification for Java. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Model checking, Real-time specification for Java, Java programming language |
17 | Jan A. Bergstra, Cornelis A. Middelburg |
Synchronous cooperation for explicit multi-threading. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming |
17 | Alan Morris, Allen D. Malony, Sameer Shende |
Supporting Nested OpenMP Parallelism in the TAU Performance System. |
Int. J. Parallel Program. |
2007 |
DBLP DOI BibTeX RDF |
TAU, OpenMP, Nested parallelism |
17 | Neil Vachharajani, Ram Rangan, Easwaran Raman, Matthew J. Bridges, Guilherme Ottoni, David I. August |
Speculative Decoupled Software Pipelining. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Xiaofeng Guo, Jinquan Dai, Long Li, Zhiyuan Lv, Prashant R. Chandra |
Latency Hiding in Multi-Threading and Multi-Processing of Network Applications. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen |
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Javier Alonso 0001, Jordi Guitart, Jordi Torres |
Differentiated Quality of Service for e-Commerce Applications through Connection Scheduling based on System-Level Thread Priorities. |
PDP |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Thakur, William Gropp |
Test Suite for Evaluating Performance of MPI Implementations That Support MPI_THREAD_MULTIPLE. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jinquan Dai, Long Li, Bo Huang 0002 |
Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Cheng Wang 0013, Ho-Seop Kim, Youfeng Wu, Victor Ying |
Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hongtao Zhong, Steven A. Lieberman, Scott A. Mahlke |
Extending Multicore Architectures to Exploit Hybrid Parallelism in Single-thread Applications. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Zhibin Zhang, Li Guo 0001, Binxing Fang, Xiaojun Chen 0004 |
Parallelizing Protocol Processing on SMT Processor Efficiently: A FSM Decomposition Approach. |
IPCCC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun |
Scalable Thread Visualization for Debugging Data Races in OpenMP Programs. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization |
17 | Philip Garcia, Henry F. Korth |
Pipelined hash-join on multithreaded architectures. |
DaMoN |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Barbara M. Chapman |
The Multicore Programming Challenge. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen |
On Distributed Real-Time Scheduling in Networked Embedded Systems in the Presence of Crash Failures. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Joseph J. Sharkey, Dmitry V. Ponomarev |
An L2-miss-driven early register deallocation for SMT processors. |
ICS |
2007 |
DBLP DOI BibTeX RDF |
register files, simultaneous multithreading |
17 | Peter Dawson, Geoffrey T. Parks, Daniel Jaeggi, Arturo Molina-Cristobal, P. John Clarkson |
The Development of a Multi-threaded Multi-objective Tabu Search Algorithm. |
EMO |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kyle J. Nesbit, James Laudon, James E. Smith 0001 |
Virtual private caches. |
ISCA |
2007 |
DBLP DOI BibTeX RDF |
quality of service, chip multiprocessor, soft real-time, shared caches, performance isolation |
17 | Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott |
An integrated hardware-software approach to flexible transactional memory. |
ISCA |
2007 |
DBLP DOI BibTeX RDF |
RSTM, multiprocessors, transactional memory, cache coherence |
17 | Karthik Channakeshava, Binoy Ravindran, E. Douglas Jensen |
Utility Accrual Channel Establishment in Multihop Networks. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
Real-time systems, multihop networks, time/utility functions, real-time channels |
17 | Francisco J. Cazorla, Peter M. W. Knijnenburg, Rizos Sakellariou, Enrique Fernández, Alex Ramírez, Mateo Valero |
Predictable Performance in SMT Processors: Synergy between the OS and SMTs. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
real time, operating systems, performance predictability, ILP, thread-level parallelism, simultaneous multithreading, Multithreaded processors |
17 | R. M. Muthukumar, D. Janakiram |
Yama: A Scalable Generational Garbage Collector for Java in Multiprocessor Systems. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
on-the-fly garbage collection, Java, programming languages, Garbage collection, memory management, Java virtual machine |
17 | Umakishore Ramachandran, Kathleen Knobe, Nissim Harel, Hasnain A. Mandviwala |
Distributed Garbage Collection Algorithms for Timestamped Data. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
logical timestamps, performance evaluation, ubiquitous computing, Garbage collection, cluster computing, multimedia systems, distributed programming, virtual time, soft real-time systems |
17 | Ilya Ganusov, Martin Burtscher |
Efficient emulation of hardware prefetchers via event-driven helper threading. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
prefetching, multi-core architectures, helper threading |
17 | Venkatesan Packirisamy, Shengyue Wang, Antonia Zhai, Wei-Chung Hsu, Pen-Chung Yew |
Supporting Speculative Multithreading on Simultaneous Multithreaded Processors. |
HiPC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Evangelia Athanasaki, Nikos Anastopoulos, Kornilios Kourtis, Nectarios Koziris |
Exploring the Capacity of a Modern SMT Architecture to Deliver High Scientific Application Performance. |
HPCC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hou Rui, Longbing Zhang, Weiwu Hu |
A Hybrid Hardware/Software Generated Prefetching Thread Mechanism on Chip Multiprocessors. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Erez Perelman, Marzia Polito, Jean-Yves Bouguet, Jack Sampson, Brad Calder, Carole Dulong |
Detecting phases in parallel applications on shared memory architectures. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp, Ron Sass, David Andrews 0001 |
Enabling a Uniform Programming Model Across the Software/Hardware Boundary. |
FCCM |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Myra B. Cohen, Shiu Beng Kooi, Witawas Srisa-an |
Clustering the heap in multi-threaded applications for improved garbage collection. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
heap clustering, virtual machines, garbage collection, hill climbing, search based software engineering |
17 | Gengbin Zheng, Laxmikant V. Kalé, Orion Sky Lawlor |
Multiple Flows of Control in Migratable Parallel Programs. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jung-Guk Kim, Moon-hae Kim, Shin Heu |
Architectures and Functions of the TMO Kernels for Ubiquitous and Embedded Real-Time Distributed Computing. |
UIC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Greg Hoover, Forrest Brewer, Timothy Sherwood |
A case study of multi-threading in the embedded space. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
multi-threading, embedded architecture |
17 | Joseph J. Sharkey, Dmitry Ponomarev 0001 |
Balancing ILP and TLP in SMT Architectures through Out-of-Order Instruction Dispatch. |
ICPP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jung Ho Ahn, Mattan Erez, William J. Dally |
Architecture - The design space of data-parallel memory systems. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Lisa R. Hsu, Ravishankar R. Iyer 0001, Srihari Makineni, Steven K. Reinhardt, Donald Newell |
Exploring the cache design space for large scale CMPs. |
SIGARCH Comput. Archit. News |
2005 |
DBLP DOI BibTeX RDF |
|
17 | James Burns, Jean-Luc Gaudiot |
Area and System Clock Effects on SMT/CMP Throughput. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
layout area estimation, microarchitecture trade off, processor architecture, SMT |
17 | Joshua L. Kihm, Daniel A. Connors |
Statistical Simulation of Multithreaded Architectures. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dong-Hwan Park, Tai-Yeon Ku, Kyeong-Deok Moon |
Data Broadcasting Software Architecture supporting Real-Time Caching and Monitoring in Interactive TV. |
ACIS-ICIS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jahangir Hasan, Ankit Jalote, T. N. Vijaykumar, Carla E. Brodley |
Heat Stroke: Power-Density-Based Denial of Service in SMT. |
HPCA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
Permission accounting in separation logic. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
concurrency, logic, separation, permissions |
17 | Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani |
Sound Transaction-Based Reduction Without Cycle Detection. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Yun Zhang, Michael Voss |
Runtime Empirical Selection of Loop Schedulers on Hyperthreaded SMPs. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Razali Jidin, David Andrews 0001, Wesley Peck, Dan Chirpich, Kevin Stout, John M. Gauch |
Evaluation of the Hybrid Multithreading Programming Model using Image Processing Transforms. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | H. Peter Hofstee, Michael N. Day |
Hardware and software architectures for the CELL processor. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Björn Engdahl, Malin Köksal, Gary Marsden |
Using treemaps to visualize threaded discussion forums on PDAs. |
CHI Extended Abstracts |
2005 |
DBLP DOI BibTeX RDF |
mobile device, treemap, small screens, discussion forum |
17 | Siddhartha Shivshankar, Sunil Vangara, Alexander G. Dean |
Balancing register pressure and context-switching delays in ASTI systems. |
CASES |
2005 |
DBLP DOI BibTeX RDF |
asynchronous software thread integration, software-implemented-communication protocols, hardware to software migration, fine-grain concurrency |
17 | Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Fredrik Warg, Per Stenström |
Reducing misspeculation overhead for module-level speculative execution. |
Conf. Computing Frontiers |
2005 |
DBLP DOI BibTeX RDF |
misspeculation prediction, module-level parallelism, performance evaluation, chip multiprocessors, thread-level speculation |
17 | Rajkishore Barik |
Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Application of design for verification with concurrency controllers to air traffic control software. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model checking, synchronization, design patterns, interfaces, concurrent programming |
17 | Jan A. Bergstra, Cornelis A. Middelburg |
A Thread Algebra with Multi-level Strategic Interleaving. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Carmelo Acosta, Ayose Falcón, Alex Ramírez, Mateo Valero |
A Complexity-Effective Simultaneous Multithreading Architecture. |
ICPP |
2005 |
DBLP DOI BibTeX RDF |
Complexity-Effective, Heterogeneity-Awareness, Mapping Policies, Clustering, CMP, SMT |
17 | Jisheng Zhao, Ian Rogers, Chris C. Kirkham, Ian Watson |
Loop Parallelisation for the Jikes RVM. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Pedro Marcuello, Antonio González 0001, Jordi Tubella |
Thread Partitioning and Value Prediction for Exploiting Speculative Thread-Level Parallelism. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
Speculative thread-level parallelism, thread spawning policies, branch prediction, value prediction, clustered architectures |
17 | Seongbeom Kim, Dhruba Chandra, Yan Solihin |
Fair Cache Sharing and Partitioning in a Chip Multiprocessor Architecture. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ram Rangan, Neil Vachharajani, Manish Vachharajani, David I. August |
Decoupled Software Pipelining with the Synchronization Array. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Karthik Channakeshava, Binoy Ravindran |
On Utility Accrual Real-Time Channel Establishment in Multi-Hop Networks. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Eric Tune, Rakesh Kumar 0002, Dean M. Tullsen, Brad Calder |
Balanced Multithreading: Increasing Throughput via a Low Cost Multithreading Hierarchy. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jared C. Smolens, Jangwoo Kim, James C. Hoe, Babak Falsafi |
Efficient Resource Sharing in Concurrent Error Detecting Superscalar Microarchitectures. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ayose Falcón, Alex Ramírez, Mateo Valero |
A Low-Complexity, High-Performance Fetch Unit for Simultaneous Multithreading Processors. |
HPCA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cormac Flanagan, Stephen N. Freund |
Atomizer: a dynamic atomicity checker for multithreaded programs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
dynamic analysis, reduction, atomicity |
17 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
17 | Stephen Gilmore |
Extending Camelot with Mutable State and Concurrency. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mohamed A. Gomaa, Michael D. Powell, T. N. Vijaykumar |
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system. |
ASPLOS |
2004 |
DBLP DOI BibTeX RDF |
CMP, migration, SMT, heat, power density |
17 | Cormac Flanagan, Shaz Qadeer |
Thread-Modular Model Checking. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Chulho Shin, Seong-Won Lee, Jean-Luc Gaudiot |
Dynamic Scheduling Issues in SMT Architectures. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Cormac Flanagan, Shaz Qadeer |
A type and effect system for atomicity. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
multithreading, atomicity, race conditions, static checking |
17 | Yen-Teh Hsia |
Curricular Automata and Their Applications. |
ICALT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Peng-Sheng Chen, Ming-Yu Hung, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee |
Compiler support for speculative multithreading architecture with probabilistic points-to analysis. |
PPoPP |
2003 |
DBLP DOI BibTeX RDF |
probabilistic points-to analysis, parallelization, dependence analysis, speculative multithreading |
17 | Pentti Huttunen, Jouni Ikonen, Jari Porras |
MPIT - Communication/Computation Paradigm for Networks of SMP Workstations. |
PARA |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 3168 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|