|
|
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 | Thomas Lock, Michael Mendler |
Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
23 | D. Lock, Christophe G. Giraud-Carrier |
Evolutionary Programming of Near-Optimal Neural Networks. |
ICANNGA |
1999 |
DBLP DOI BibTeX RDF |
|
23 | William Macy, Robert Liu, Matthew J. Holliman, Boon-Lock Yeo, Minerva M. Yeung |
Content Protection and Delivery System for the Internet. |
PICS |
1999 |
DBLP BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo, Matthew J. Holliman |
Digital watermarks: Shedding light on the invisible. |
IEEE Micro |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Ruud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung |
Video query: Research directions. |
IBM J. Res. Dev. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo, Bede Liu |
Segmentation of Video by Clustering and Graph Analysis. |
Comput. Vis. Image Underst. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Scott Craver, Nasir D. Memon, Boon-Lock Yeo, Minerva M. Yeung |
Resolving rightful ownerships with invisible watermarking techniques: limitations, attacks, and implications. |
IEEE J. Sel. Areas Commun. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Scott Craver, Boon-Lock Yeo, Minerva M. Yeung |
Technical Trials and Legal Tribulations. |
Commun. ACM |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Susan L. Epstein, Jack Gelfand, Esther Lock |
Learning Game-Specific Spatially-Oriented Heuristics. |
Constraints An Int. J. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | George R. T. Hendry, C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard |
Forbidden subgraphs of graphs uniquely Hamiltonian-connected from a vertex. |
Discret. Math. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock |
GOFFIN: Higher-Order Functions Meet Concurrent Constraints. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Nasir D. Memon, Xiaolin Wu 0001, Boon-Lock Yeo |
Improved Techniques for Lossless Image Compression with Reversible Integer Wavelet Transforms. |
ICIP (3) |
1998 |
DBLP BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo |
Fragile Watermarking of Three-Dimensional Objects. |
ICIP (2) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Farid Ajili, Hendrik C. R. Lock |
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Minerva M. Yeung |
Classification, Simplification, and Dynamic Visualization of Scene Transition Graphs for Video Browsing. |
Storage and Retrieval for Image and Video Databases (SPIE) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Matthew J. Holliman, Nasir D. Memon, Boon-Lock Yeo, Minerva M. Yeung |
Adaptive Public Watermarking of DCT-Based Compressed Images. |
Storage and Retrieval for Image and Video Databases (SPIE) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Wayne Niblack, Xiaoming Zhu, James L. Hafner, Thomas M. Breuel, Dulce B. Ponceleon, Dragutin Petkovic, Myron Flickner, Eli Upfal, Sigfredo I. Nin, Sanghoon Sull, Byron Dom, Boon-Lock Yeo, Savitha Srinivasan, Dan Zivkovic, Mike Penner |
Updates to the QBIC System. |
Storage and Retrieval for Image and Video Databases (SPIE) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Junehwa Song, Boon-Lock Yeo |
Spatially Reduced Image Extraction from MPEG-2 Video: Fast Algorithms and Applications. |
Storage and Retrieval for Image and Video Databases (SPIE) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Lock, Michael Mendler |
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. |
MBMV |
1998 |
DBLP BibTeX RDF |
|
23 | John R. Kender, Boon-Lock Yeo |
Video Scene Segmentation via Continuous Video Coherence. |
CVPR |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Lock, Michael Mendler, Matthias Mutz |
Combined Formal Post- and Presynthesis Verification in High Level Synthesis. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Manuel M. T. Chakravarty, Hendrik C. R. Lock |
Towards the Uniform Implementation of Declarative Languages. |
Comput. Lang. |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo |
Video visualization for compact presentation and fast browsing of pictorial content. |
IEEE Trans. Circuits Syst. Video Technol. |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Minerva M. Yeung |
Retrieving and Visualizing Video. |
Commun. ACM |
1997 |
DBLP DOI BibTeX RDF |
|
23 | A. Robert Calderbank, Ingrid Daubechies, Wim Sweldens, Boon-Lock Yeo |
Lossless Image Compresion Using Integer to Integer Wavelet Transforms. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Scott Craver, Nasir D. Memon, Boon-Lock Yeo, Minerva M. Yeung |
On the Invertibility of Invisible Watermarking Techniques. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
invisible watermarking techniques, noninvertibility, ownership disputes, quasi-invertible watermarking schemes, watermark decoding, decoding, digital images, invertibility |
23 | Boon-Lock Yeo, Minerva M. Yeung |
Analysis and Synthesis for New Digital Video Applications. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
digital video applications, digital TV broadcast, digital video analysis, digital video synthesis, Internet, image processing, research, video databases, digital television, compressed video, CD ROM |
23 | Minerva M. Yeung, Boon-Lock Yeo |
Video Content Characterization and Compaction for Digital Library Applications. |
Storage and Retrieval for Image and Video Databases (SPIE) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Scott Craver, Nasir D. Memon, Boon-Lock Yeo, Minerva M. Yeung |
Can Invisible Watermarks Resolve Rightful Ownerships? |
Storage and Retrieval for Image and Video Databases (SPIE) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Ruud M. Bolle, Boon-Lock Yeo, Minerva M. Yeung |
Video Query and Retrieval. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo |
Time-constrained clustering for segmentation of video into story units. |
ICPR |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo, Bede Liu |
Extracting Story Units from Long Programs for Video Browsing and Navigation. |
ICMCS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Jaffar Rehman, Evan D. Lock, Cuong Nguyen |
A Generalized Methodology for Evaluating and Optimizing System Design Factors. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | John R. Kirtley, Mark B. Ketchen, Chang C. Tsuei, Jonathan Z. Sun, William J. Gallagher, Lock See Yu-Jahnes, Arunava Gupta, Kevin G. Stawiasz, Shalom J. Wind |
Design and applications of a scanning SQUID microscope. |
IBM J. Res. Dev. |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Bede Liu |
Rapid scene analysis on compressed video. |
IEEE Trans. Circuits Syst. Video Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Bede Liu |
Volume Rendering of DCT-Based Compressed 3D Scalar Data. |
IEEE Trans. Vis. Comput. Graph. |
1995 |
DBLP DOI BibTeX RDF |
3D discrete cosine transform, 3D DCT, volumetric compression, volume rendering from compressed data |
23 | Judith D. Ahrens, Noah S. Prywes, Evan D. Lock |
Software process reengineering: Toward a new generation of CASE technology. |
J. Syst. Softw. |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Randall A. Helzerman, Carla B. Zoltowski, Boon-Lock Yeo, Yin Chan, Todd Stewart, Bryan L. Pellom |
Implementation Issues in the Development of the PARSEC Parser. |
Softw. Pract. Exp. |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Silvia Breitinger, Hendrik C. R. Lock |
Using Constraint Logic Programming for Industrial Scheduling Problems. |
Logic Programming: Formal Methods and Practical Applications |
1995 |
DBLP BibTeX RDF |
|
23 | Boon-Lock Yeo, Bede Liu |
On the extraction of DC sequence from MPEG compressed video. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
MPEG compressed video, DC sequence extraction, reduced images, DC coefficients, intracoded DCT compressed video, motion-compensated P-frames, motion-compensated B-frames, exact expressions, computational speedup, computational complexity, feature extraction, approximations, data compression, image sequences, video coding, image reconstruction, image reconstruction, discrete cosine transforms, motion compensation, experimental results, transform coding, approximation theory, global feature |
23 | Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock |
Co-ordinating Parallel Computation through Equational Constraints. |
WLP |
1995 |
DBLP BibTeX RDF |
|
23 | Wayne H. Wolf, Bede Liu, Andrew Wolfe, Minerva M. Yeung, Boon-Lock Yeo, Daniel Markham |
Video as Scholary Material in the Digital Library. |
ADL |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Bede Liu |
A Unified Approach to Temporal Segmentation of Motion JPEG and MPEG Compressed Video. |
ICMCS |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Minerva M. Yeung, Wayne H. Wolf, Bede Liu |
Theft-Resistant Video Browsing Using Filtered Versions of Compressed Sequences. |
ICMCS |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Boon-Lock Yeo, Minerva M. Yeung, Sandip Sarkar |
A Fixed-Rate Vector Quantizer Based on Pyramid-Bounded Integer Lattices for Image Compression. |
ICIP (1) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Silvia Breitinger, Hendrik C. R. Lock |
Improving Search for Job-Shop Scheduling with CLP(FD). |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Manuel M. T. Chakravarty, Hendrik C. R. Lock |
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. |
ICLP Workshop: Integration of Declarative Paradigms |
1994 |
DBLP BibTeX RDF |
|
23 | Minerva M. Yeung, Boon-Lock Yeo, Shih-Ping Liou, Ali Banihashemi |
Three-dimensional image registration for spiral CT angiography. |
CVPR |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Hendrik C. R. Lock |
Residuation with Type Constraints is Complete. |
WLP |
1993 |
DBLP BibTeX RDF |
|
23 | Hendrik C. R. Lock |
The implementation of functional logic programming languages. |
|
1993 |
RDF |
|
23 | Mikhail J. Atallah, Christina Lock Black, Dan C. Marinescu, Howard Jay Siegel, Thomas L. Casavant |
Models and Algorithms for Coscheduling Compute-Intensive Tasks on a Network of Workstations. |
J. Parallel Distributed Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Evan D. Lock, Noah S. Prywes |
Requirements on Ada Reengineering Technology from Past, Present and Future Systems. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada |
23 | C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard |
On the structure of graphs uniquely hamiltonian-connected from a vertex. |
Discret. Math. |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Hendrik C. R. Lock, Anamaria Martins |
Issues in the implementation of Prolog, and their optimization. |
Microprocessing and Microprogramming |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Hendrik C. R. Lock |
A Systematic Method for Designing Abstract Narrowing Machines. |
Declarative Programming |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Manuel M. T. Chakravarty, Hendrik C. R. Lock |
The Implementation of Lazy Narrowing. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Philip Smith, Gary Lock |
Visualizing Ancient Greece: The Sacred Way Project. |
ICHIM |
1991 |
DBLP BibTeX RDF |
|
23 | Roland Dietrich, Hendrik C. R. Lock |
Exploiting Non-Determinism through Laziness in Guarded Functional Languages. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Noah S. Prywes, Evan D. Lock, Xiang Ge |
Automatic abstraction of real-time software and re-implementation in Ada. |
TRI-Ada |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Mikhail J. Atallah, Christina Lock, Dan C. Marinescu, Howard Jay Siegel, Thomas L. Casavant |
Co-scheduling compute-intensive tasks on a network of workstations: model and algorithms. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
23 | R. Berndt, A. Lock, G. Witte, Ch. Wöll |
Application of Computer Algebra to Surface Lattice Dynamics. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
FORTRAN, REDUCE |
23 | C. J. Knickerbocker, Patti Frazer Lock, Michael Sheard |
The minimum size of graphs hamiltonian-connected from a vertex. |
Discret. Math. |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Alan R. McNamara, Laurie G. Lock Lee, Kee Chye Teh |
Experiences in Developing an Intelligent Operator Guidance System. |
Australian Joint Conference on Artificial Intelligence |
1988 |
DBLP DOI BibTeX RDF |
expert systems, process control |
23 | I. L. Humberstone, A. J. Lock |
Semicomplemented Lattices and the Finite Model Property. |
Math. Log. Q. |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Thomas T. Cheng, Evan D. Lock, Noah S. Prywes |
Use of Very High Level Languages and Program Generation by Management Professionals. |
IEEE Trans. Software Eng. |
1984 |
DBLP DOI BibTeX RDF |
|
23 | Evan D. Lock, Boleslaw K. Szymanski, Noah S. Prywes |
Use of Model VHLL in Software Development and Maintenance. |
COMPCON |
1984 |
DBLP BibTeX RDF |
|
23 | Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli |
On the scope of static checking in definitional languages. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
|
23 | Kenneth Lock |
An object code for interactive applied mathematical programming. |
Symposium on Interactive Systems for Experimental Applied Mathematics |
1967 |
DBLP DOI BibTeX RDF |
|
23 | Kenneth Lock |
Structuring programs for multiprogram time-sharing on-line applications. |
AFIPS Fall Joint Computing Conference (1) |
1965 |
DBLP DOI BibTeX RDF |
|
23 | Danny Hendler, Itai Incze, Nir Shavit, Moran Tzafrir |
Flat combining and the synchronization-parallelism tradeoff. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
synchronization, multiprocessors, concurrent data-structures |
23 | Tyler J. Gunn, Pourang Irani, John Anderson 0001 |
An evaluation of techniques for selecting moving targets. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
moving target selection, fitts' law, target selection |
23 | Yang Qu, Juha-Pekka Soininen, Jari Nurmi |
Improving the Efficiency of Run Time Reconfigurable Devices by Configuration Locking. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Eric Koskinen, Maurice Herlihy |
Checkpoints and continuations instead of nested transactions. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
parallel programming, concurrency, checkpoints, transactional memory, boosting, continuations |
23 | Jeremy Lee, Mohammad Tehranipoor, Chintan Patel, Jim Plusquellic |
Securing Designs against Scan-Based Side-Channel Attacks. |
IEEE Trans. Dependable Secur. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Security and Privacy Protection, Scan-Based Design, Secure Design, Reliability and Testing |
23 | Karel Zimmermann, Tomás Svoboda, Jiri Matas |
Adaptive Parameter Optimization for Real-time Tracking. |
ICCV |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sanghun Kim, Seungsoo Yoo, Seokho Yoon, Sun Yong Kim |
A Novel Unambiguous Multipath Mitigation Scheme for BOC(kn, n) Tracking in GNSS. |
SAINT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Haripriya Janardhan, Mahmoud Fawzy Wagdy |
Design of a 1GHz Digital PLL Using 0.18\mu m CMOS Technology. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
|
23 | David Dice, Ori Shalev, Nir Shavit |
Transactional Locking II. |
DISC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Adam Welc, Antony L. Hosking, Suresh Jagannathan |
Transparently Reconciling Transactions with Locking for Java Synchronization. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Suri Pushpa, Prasad Vinod, Carsten Maple |
Creating a Forest of Binary Search Trees for a Multiprocessor System. |
PARELEC |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
Confirmation of deadlock potentials detected by runtime analysis. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis |
23 | Byung-Hyun Yu, Paul Werstein, Martin K. Purvis, Stephen Cranefield |
Lazy Home-Based Protocol: Combining Homeless and Home-Based Distributed Shared Memory Protocols. |
HPCC |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Phuong Hoai Ha, Philippas Tsigas, Mirjam Wattenhofer, Roger Wattenhofer |
Efficient multi-word locking using randomization. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
multi-word locking, shared memory, randomization, dining philosophers |
23 | Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit |
A Lazy Concurrent List-Based Set Algorithm. |
OPODIS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Wern-Ho Sheen, Ming-Jou Chang, Cheng-Shong Wu |
Performance analysis of noncoherent digital delay locked loops for direct sequence spread spectrum systems with Doppler shift and quantized adaptation. |
IEEE Trans. Wirel. Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ravi Rajwar, Alain Kägi, James R. Goodman |
Inferential Queueing and Speculative Push. |
Int. J. Parallel Program. |
2004 |
DBLP DOI BibTeX RDF |
inferential queueing, migratory sharing, Synchronization, critical sections, data forwarding |
23 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Almost Wait-Free Resizable Hashtable. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Jin-Ho Kim, Young-Chul Kim, Han-Yang You, June Kim, Sooho Ok |
Design and Implementation of a Real-Time Static Locking Protocol for Main-Memory Database Systems. |
ADVIS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ravi Rajwar, Alain Kägi, James R. Goodman |
Inferential queueing and speculative push for reducing critical communication latencies. |
ICS |
2003 |
DBLP DOI BibTeX RDF |
inferential queueing, synchronization, data forwarding |
23 | Danny Hendler, Nir Shavit |
Operation-valency and the cost of coordination. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Prasad Jayanti |
Adaptive and efficient abortable mutual exclusion. |
PODC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Maurice Herlihy, Victor Luchangco, Mark Moir |
Obstruction-Free Synchronization: Double-Ended Queues as an Example. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | D. J. A. Somefun, Johannes A. La Poutré |
Bundling and Pricing for Information Brokerage: Customer Satisfaction as a Means to Profit Optimization. |
Web Intelligence |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Sushant Goel, Hema Sharda, David Taniar |
Transaction Management in Distributed Scheduling Environment for High Performance Database Applications. |
IWDC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Philip Holman, James H. Anderson |
Object Sharing in Pfair-scheduled Multiprocessor Systems. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
23 | David Hovemeyer, William W. Pugh, Jaime Spacco |
Atomic Instructions in Java. |
ECOOP |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Michael L. Scott |
Non-blocking timeout in scalable queue-based spin locks. |
PODC |
2002 |
DBLP DOI BibTeX RDF |
spin locks, scalability, synchronization, timeout |
23 | Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer |
Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Cormac Flanagan, Martín Abadi |
Types for Safe Locking. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Shiwa S. Fu, Nian-Feng Tzeng |
A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
Circular lists, hot-spot contention, tree of locks, multiprocessors, mutual exclusion, critical sections, linked lists |
Displaying result #501 - #600 of 3112 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|