|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1685 occurrences of 928 keywords
|
|
|
Results
Found 3205 publication records. Showing 3112 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Mark Moir |
Transparent Support for Wait-Free Transactions. |
WDAG |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Cristiana Bentes Seidel, Ricardo Bianchini, Claudio Luis de Amorim |
The Affinity Entry Consistency Protocol. |
ICPP |
1997 |
DBLP DOI BibTeX RDF |
Distributed Shared Memory, Coherence Protocols, Relaxed Consistency |
23 | Shan-hoi Ng, Sheung-lun Hung |
Multigranularity Locking in Multiple Job Classes Transaction Processing System. |
SIGMOD Rec. |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian |
Distributed Concurrency Control Based on Limited Wait-Depth. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
Wait-DepthLimited, Wound-Wait CC, distributed 2PL, limited wait-depth, distributedalgorithms, performance evaluation, performance evaluation, distributed algorithms, distributed databases, distributed databases, concurrency control, concurrency control, distributed, transaction processing, transaction processing, deadlocks, database theory, two-phase locking |
23 | Maurice Herlihy |
A Methodology for Implementing Highly Concurrent Objects. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
23 | John M. Mellor-Crummey, Michael L. Scott |
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. |
ACM Trans. Comput. Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Martin I. Reiman, Paul E. Wright |
Performance Analysis of Concurrent-Read Exclusive-Write. |
SIGMETRICS |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Philip S. Yu, Daniel M. Dias, John T. Robinson, Balakrishna R. Iyer, Douglas W. Cornell |
Modelling of Centralized Concurrency Control in a Multi-System Environment. |
SIGMETRICS |
1985 |
DBLP DOI BibTeX RDF |
|
23 | Andreas Reuter 0001 |
Concurrency on High-trafic Data Elements. |
PODS |
1982 |
DBLP DOI BibTeX RDF |
|
22 | Byung-Chul Kim, Sang-Woo Jun, Dae-Joon Hwang, Yong-Kee Jun |
Visualizing Potential Deadlocks in Multithreaded Programs. |
PaCT |
2009 |
DBLP DOI BibTeX RDF |
potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs |
22 | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
Inferring locks for atomic sections. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
atomic sections, static lock inference, concurrency |
22 | Michel Raynal |
Locks Considered Harmful: A Look at Non-traditional Synchronization. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation |
22 | Cliff Click |
IWannaBit! |
MSPC |
2008 |
DBLP DOI BibTeX RDF |
lock-free algorithms, locking, software transactional memory, non-blocking algorithms, hardware transactional memory |
22 | Milind Kulkarni 0001, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, L. Paul Chew |
Optimistic parallelism benefits from data partitioning. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
lock coarsening, over-decomposition, locality, data partitioning, optimistic parallelism, irregular programs |
22 | Yubin Zhong |
The Design and Research of Controller in Fuzzy PETRI NET. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Place invariant, Dead lock Phenomenon, Optimize, Controller, Fuzzy PETRI NET |
22 | David Chase, Yossi Lev |
Dynamic circular work-stealing deque. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
deque, load balancing, lock-free, work stealing |
22 | Stijn Dekeyser, Jan Hidders, Jan Paredaens |
A Transaction Model for XML Databases. |
World Wide Web |
2004 |
DBLP DOI BibTeX RDF |
path lock, scheduler, XML, concurrency control, serializability, semistructured data |
22 | Miltos D. Grammatikakis, Stefan Liesche |
Priority Queues and Sorting Methods for Parallel Simulation. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
memory lock, parallel simulation, priority queue, data race, distributed data structure, Concurrent data structure, virtual shared memory, Cray-T3E |
22 | Hong Tang 0004, Kai Shen, Tao Yang 0009 |
Program transformation and runtime support for threaded MPI execution on shared-memory machines. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines |
22 | Ravi Rajwar, Alain Kägi, James R. Goodman |
Improving the Throughput of Synchronization by Insertion of Delays. |
HPCA |
2000 |
DBLP DOI BibTeX RDF |
QOLB, Implicit QOLB, tear-off, Lock Prediction, Synchronization, Delays, multiprocessors, shared-memory, Speculation |
22 | James H. Anderson, Mark Moir |
Universal Constructions for Large Objects. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Concurrency, wait-free, lock-free, shared objects, nonblocking synchronization |
22 | Voon-Yee Vee, Wen-Jing Hsu |
A Scalable and Efficient Storage Allocator on Shared Memory Multiprocessors. |
ISPAN |
1999 |
DBLP DOI BibTeX RDF |
Parallel storage allocators, minimization of lock contention, scalable parallel algorithms |
22 | Per-Åke Larson, Murali Krishnan |
Memory Allocation for Long-Running Server Applications. |
ISMM |
1998 |
DBLP DOI BibTeX RDF |
cache-conscious algorithms, multiprocessor scalability, reducing lock contention, server applications, concurrency, dynamic memory allocation |
22 | Vincent Ng 0002, Tiko Kameda |
Concurrent access to point data. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
point data, B/sup +/-tree, K-D-B tree, d-dimensional space, lock coupling technique, common user operations, SR distributed programming language, relative performance, search, concurrency control, R-tree, insert, index structures, concurrent access, concurrent accesses, concurrency control algorithms |
22 | James H. Anderson, Rohit Jain, Srikanth Ramamurthy |
Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors. |
RTSS |
1997 |
DBLP DOI BibTeX RDF |
wait-free object-sharing schemes, real-time uniprocessors, real-time multiprocessors, priority inheritance protocol, breakdown utilization experiments, lock-based schemes, multiprocessing systems, nonblocking, user level, priority ceiling protocol |
22 | Yasuhiro Hirano, Fumiaki Miura, Tetsuji Satoh |
Extendible Hashing for Concurrent Insertions and Retrievals. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
bucket multi-versioning, concurrent insertions, concurrent retrievals, global depth, directory entries, asynchronous modification, lock conflicts, read-only access, split bucket, simulation, concurrency control, multiprocessing systems, configuration management, speedup, file organisation, extendible hashing, processor number |
22 | Niki Afshartous, Malcolm C. Harrison |
Expressing concurrency in Griffin. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication |
22 | Cai-Dong Wang, Hiroaki Takada, Ken Sakamura |
Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
spin lock algorithm, nested locks, real-time system, shared-memory, priority inheritance, priority order |
22 | Sujata Banerjee, Panos K. Chrysanthis |
Data sharing and recovery in gigabit-networked databases. |
ICCCN |
1995 |
DBLP DOI BibTeX RDF |
wide area gigabit networks, very high speed networks, gigabit-networked databases, lock-based concurrency control protocol, log-based recovery protocol, sequential phases, concurrency control, message passing, data sharing, distributed information systems, data access, data recovery, database servers |
22 | Gill A. Pratt, John Nguyen |
Distributed synchronous clocking. |
ARVLSI |
1995 |
DBLP DOI BibTeX RDF |
distributed synchronous clocking, hardware clock, synchronous processor, distributed error correction algorithm, global phase alignment, mode lock, k-ary Cartesian meshes, scalability, graph theory, timing, synchronisation, error correction, clocks, phase locked loops, digital systems, clock signals |
22 | Akhil Kumar 0001, Michael Stonebraker |
Performance Considerations for an Operating System Transaction Manager. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
log compressing, considerations, operating system transaction manager, conventional transaction manager, OS transaction manager, lock acquisition, additional semantics, OS transaction system, modified index structure, update operations, DBMS performance, performance evaluation, performance, data structures, software reliability, database management system, database management systems, transaction processing, operating systems (computers), transaction management, performance penalty |
22 | Mostafa A. Bassiouni |
Single-Site and Distributed Optimistic Protocols for Concurrency Control. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods |
22 | Pei-Jyun Leu, Bharat K. Bhargava |
Clarification of Two Phase Locking in Concurrent Transaction Processing. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
concurrent transaction processing, lock points, unlock points, read operations, write operations, conflicting transactions, RN2PL, D-serializable, parallel programming, protocols, distributed databases, database theory, two phase locking, semantic description, locking protocol |
22 | Margaret H. Eich |
Graph Directed Locking. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
lock conversion, database flow graph locking, non-two-phase methods, distributed databases, distributed databases, directed graphs, database theory, directed acyclic graph, system recovery, deadlock-free, database concurrency control |
20 | Pierangelo di Sanzo, Roberto Palmieri, Bruno Ciciani, Francesco Quaglia, Paolo Romano 0002 |
Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
concurrency control, two phase locking, data access patterns |
20 | |
Lock Manager. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
20 | |
Lock Coupling. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
20 | |
Lock Tuning. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Wei Li 0021, Lingyu Wang 0001, Bo Zhu 0001, Lei Zhang 0004 |
An Integrity Lock Architecture for Supporting Distributed Authorizations in Database Federations. |
SEC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Julie Christopher |
Study of optimal load lock dedication for cluster tools. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Li-Pu Chuang, Ming-Hung Chang, Po-Tsang Huang, Chih-Hao Kan, Wei Hwang |
A 5.2mW all-digital fast-lock self-calibrated multiphase delay-locked loop. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Peter Klein 0001, Dimo Maleshkov, Dimitar Asenov |
A Framework for Concurrency in Numerical Simulations Using Lock Free Data Structures: The Graph Parallel Architecture GraPA. |
PDCAT |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone |
Secure Multiparty Computations Using a Dial Lock. |
TAMC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ameet Patil, Neil C. Audsley |
An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | J. Shao, Ling Zheng, Y. N. Li, J. S. Wei, M. G. Luo |
The Integrated Control of Anti-lock Braking System and Active Suspension in Vehicle. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Hui-Feng Huang, Chin-Chen Chang 0001 |
An Efficient Key-Lock-Pair Mechanism Based on Division Algorithm. |
MUE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Xiaoqi Yang 0003, Qilong Zheng, Guoliang Chen 0001, Shujuan Liu, Jun Luan |
Transactional Memory Execution for Parallel Multithread Programming without Lock. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Abdelsalam Shanneb, John Potter |
Lock Selection Made Easy. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Huaidong Shi, Ming Cai, Jinxiang Dong |
Interrupt Synchronization Lock for Real-time Operating Systems. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Wanyu Zang, Meng Yu 0001 |
A Dead-Lock Free Self-healing Algorithm for Distributed Transactional Processes. |
ICISS |
2006 |
DBLP DOI BibTeX RDF |
Attack recovery, distributed systems, transactional processes, self-healing |
20 | Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos |
Lightweight lock-free synchronization methods for multithreading. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Artemis A. Christopoulou, Eleftherios D. Polychronopoulos |
A Dynamic Lock Protocol for Scope-Consistency sDSM Systems. |
ICPADS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Peter H. R. Popplewell, Victor Karam, Atef Shamim, John W. M. Rogers, Mark Cloutier, Calvin Plett |
5.2 GHz self-powered lock and roll radio using VCO injection-locking and on-chip antennas. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | David B. Lomet, Richard T. Snodgrass, Christian S. Jensen |
Using the Lock Manager to Choose Timestamps. |
IDEAS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tetsuya Asanome, Toshiaki Nonaka, Yasunori Endo, Shin-ichi Nakazawa, Hiroshi Yoshikawa |
Evaluation of Control Performance of Multi-stage Fuzzy Reasoning in Anti-lock Braking System for Railways Using Fuzzy Reasoning. |
MDAI |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Lock-Free Parallel Garbage Collection. |
ISPA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Myung-Keun Kim, Hae-Young Bae |
Improved Concurrency Control Technique with Lock-Free Querying for Multi-dimensional Index Structure. |
AIRS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Håkan Sundell, Philippas Tsigas |
Scalable and lock-free concurrent dictionaries. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
concurrent, shared memory, dictionary, non-blocking |
20 | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
Formal Verification of a Practical Lock-Free Queue Algorithm. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Arthur C. S. Wong, Kwok-Wa Lam, Karmen K. M. Ho, Victor C. S. Lee |
Using Lock-Based Checking Protocol for Efficient Data Broadcast in Mobile Environments. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Alexander V. Supalov |
Lock-Free Collective Operations. |
PVM/MPI |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Peter Rundberg, Per Stenström |
Speculative Lock Reordering: Optimistic Out-of-Order Execution of Critical Sections. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Joohwan Park, Franco Maloberti |
Phase noise improvement in fractional-N synthesizer with 90° phase shift lock. |
ISCAS (1) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Maurice Herlihy, Victor Luchangco, Mark Moir |
The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. |
DISC |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Angelo Brayner |
Lock Downgrading: An Approach to Increase Inter-transaction Parallelism in Advanced Database Applications. |
DEXA |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Antti Puhakka |
Weakest Congruence Results Concerning "Any-Lock". |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
20 | P. Krishna Reddy, Masaru Kitsuregawa |
Speculative Lock Management to Increase Concurrency in Mobile Environments. |
MDA |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Lim Chu Aun, S. M. Rezaul Hasan |
An all Digital BiCMOS Phase Lock Loop for VLSI Processors. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Fernando de Ferreira Rezende, Theo Härder |
A Lock Method for KBMSs Using Abstraction Relationships' Semantics. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Stephen S. Lavenberg |
A Simple Analysis of Exclusive and Shared Lock Contention in a Database System. |
SIGMETRICS |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Saba Sehrish, Jun Wang 0001, Rajeev Thakur |
Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hiroshi Inoue, Toshio Nakatani |
How a Java VM can get more from a hardware performance monitor. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
profiling, hardware performance monitor, calling context |
15 | Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke |
The theory of deadlock avoidance via discrete control. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming |
15 | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps |
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Xiongpai Qin, Wei Cao, Shan Wang 0001 |
Lightweight Data Mining Based Database System Self-optimization: A Case Study. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
database self-optimization, neural network predictor, rule engine |
15 | Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar |
Transactifying Apache's cache module. |
SYSTOR |
2009 |
DBLP DOI BibTeX RDF |
software transactional memory |
15 | 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 |
15 | Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman |
Detecting and tolerating asymmetric races. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
race detection and toleration, dynamic instrumentation, runtime support |
15 | Danny Hendler, Nir Shavit |
Solo-valency and the cost of coordination. |
Distributed Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Stephen K. Sunter, Aubin Roy |
Noise-Insensitive Digital BIST for any PLL or DLL. |
J. Electron. Test. |
2008 |
DBLP DOI BibTeX RDF |
BIST, Jitter, Design for test, PLL, Mixed-signal test, DLL |
15 | Kun Wang, Yu Zhang, Huayong Wang, Xiaowei Shen |
Parallelization of IBM mambo system simulator in functional modes. |
ACM SIGOPS Oper. Syst. Rev. |
2008 |
DBLP DOI BibTeX RDF |
parallel simulation, dynamic binary translation, architectural simulation |
15 | Wesley Tansey, Eli Tilevich |
Annotation refactoring: inferring upgrade transformations for legacy applications. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
java, metadata, frameworks, annotations, refactoring, eclipse, JUnit, upgrading |
15 | Yi Liu 0013, Xin Zhang, He Li, Mingxiu Li, Depei Qian |
Hardware Transactional Memory Supporting I/O Operations within Transactions. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dave Cunningham, Khilan Gudka, Susan Eisenbach |
Keep Off the Grass: Locking the Right Path for Atomicity. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dag Hovland |
A Type System for Usage of Software Components. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
Component Usage, Process Model, Type System, Parallel Execution, Component Software |
15 | Kristijan Dragicevic, Daniel Bauer 0001 |
A survey of concurrent priority queue algorithms. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Chenjie Yu, Peter Petrov |
Distributed and low-power synchronization architecture for embedded multiprocessors. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
synchronization, multiprocessor |
15 | Mohammad Ansari, Christos Kotselidis, Ian Watson, Chris C. Kirkham, Mikel Luján, Kim Jarvis |
Lee-TM: A Non-trivial Benchmark Suite for Transactional Memory. |
ICA3PP |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Richard M. Yoo, Hsien-Hsin S. Lee |
Adaptive transaction scheduling for transactional memory systems. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
contention intensity, transaction effectiveness, transactional memory systems, performance, parallelism |
15 | Salvatore Vitabile, Salvatore Bono, Filippo Sorbello |
An Embedded Real-Time Lane-Keeper for Automatic Vehicle Driving. |
CISIS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Samik Basu 0001, Scott A. Smolka |
Model checking the Java metalocking algorithm. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods |
15 | K. H. Kim, Juan A. Colmenares, Kee-Wook Rim |
Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
event message communication, producer-consumer, concurrent programming, real-time computing systems, non-blocking algorithms |
15 | Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta |
Fast and Accurate Static Data-Race Detection for Concurrent Programs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David Dice, Nir Shavit |
Understanding Tradeoffs in Software Transactional Memory. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Cheng Wang 0013, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai |
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language. |
CGO |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jon A. Preston, Xiaolin Hu, Sushil K. Prasad |
Simulation-based architectural design and implementation of a real-time collaborative editing system. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
OT, dynamic locking, real-time collaborative editing, DEVS, communication costs |
15 | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
Thread-modular shape analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, concurrent programming, shape analysis |
15 | James F. Campbell, L. Douglas Smith, Donald C. Sweeney II, Ray Mundy, Robert M. Nauss |
Decision Tools for Reducing Congestion at Locks on the Upper Mississippi River. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | William W. Pugh, Nathaniel Ayewah |
Unit testing concurrent software. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
JUnit test cases, concurrent abstraction, multithreadedTC, java, testing framework |
15 | Hans-Juergen Boehm |
Reordering constraints for pthread-style locks. |
PPoPP |
2007 |
DBLP DOI BibTeX RDF |
memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering |
Displaying result #601 - #700 of 3112 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|