Search results for "Lock"

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