Search results for "Coherence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Ravi R. Iyer 0001, Jack Perdue, Lawrence Rauchwerger, Nancy M. Amato, Laxmi N. Bhuyan	An Experimental Evaluation of the HP V-Class and SGI Origin 2000 Multiprocessors using Microbenchmarks and Scientific Applications.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	performance analysis, Parallel architectures, shared memory
12	Robert K. Bryll, R. Travis Rose, Francis K. H. Quek	Agent-based gesture tracking.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
12	Syed Ali Jafar	Too much mobility limits the capacity of wireless ad hoc networks.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
12	Zhanping Liu, Robert J. Moorhead	Accelerated Unsteady Flow Line Integral Convolution.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	UFLIC, image convolution, texture synthesis, Flow visualization, acceleration, vector field visualization, line integral convolution, unsteady flows
12	Pilar Herrero, Angélica de Antonio	Intelligent virtual agents keeping watch in the battlefield.	Virtual Real.	2005	DBLP DOI BibTeX RDF	Intelligent virtual agents (IVAs), Nimbus, Human factors, Awareness, Perception, Focus
12	Wilbur C. K. Wong, Albert C. S. Chung	Bayesian Image Segmentation Using Local Iso-Intensity Structural Orientation.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
12	Qingxiong Yang, R. Matt Steele, David Nistér, Christopher O. Jaynes	Learning the Probability of Correspondences without Ground Truth.	ICCV	2005	DBLP DOI BibTeX RDF
12	Thomas F. Wenisch, Stephen Somogyi, Nikolaos Hardavellas, Jangwoo Kim, Chris Gniady, Anastassia Ailamaki, Babak Falsafi	Store-Ordered Streaming of Shared Memory.	IEEE PACT	2005	DBLP DOI BibTeX RDF
12	Elaine Pimentel, Dale Miller 0001	On the Specification of Sequent Systems.	LPAR	2005	DBLP DOI BibTeX RDF
12	Kunle Olukotun	A New Approach to Programming and Prototyping Parallel Systems.	HiPC	2005	DBLP DOI BibTeX RDF
12	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
12	Nacwoo W. Kim, TaeYong Kim 0003, Jong-Soo Choi	Edge-Based Spatial Descriptor Using Color Vector Angle for Effective Image Retrieval.	MDAI	2005	DBLP DOI BibTeX RDF
12	Andrea Capotorti, Maroussa Zagoraiou	Coherent Restrictions of Vague Conditional Lower-Upper Probability Extensions.	ECSQARU	2005	DBLP DOI BibTeX RDF	Coherent lower-upper conditional probability assessments, inference
12	Eriko Nurvitadhi, Nirut Chalainanont, Shih-Lien Lu	Characterization of L3 cache behavior of SPECjAppServer2002 and TPC-C.	ICS	2005	DBLP DOI BibTeX RDF	L3 characterization, application server and OLTP, emulator
12	Nacwoo W. Kim, TaeYong Kim 0003, Jong-Soo Choi	Edge-Based Spatial Descriptor for Content-Based Image Retrieval.	CIVR	2005	DBLP DOI BibTeX RDF
12	Martin Isenburg, Peter Lindstrom 0001	Streaming Meshes.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
12	Daniel Weiskopf, Frederik Schramm, Gordon Erlebacher, Thomas Ertl	Particle and Texture Based Spatiotemporal Visualization of Time-Dependent Vector Fields.	IEEE Visualization	2005	DBLP DOI BibTeX RDF	visualization framework, LIC, particle systems, Unsteady flow visualization, texture advection, GPU methods
12	Zeshan Chishti, Michael D. Powell, T. N. Vijaykumar	Optimizing Replication, Communication, and Capacity Allocation in CMPs.	ISCA	2005	DBLP DOI BibTeX RDF
12	Jaehyuk Huh 0001, Doug Burger, Jichuan Chang, Gurindar S. Sohi	Speculative Incoherent Cache Protocols.	IEEE Micro	2004	DBLP DOI BibTeX RDF
12	Dmitry Chizhik	Slowing the time-fluctuating MIMO channel by beam forming.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
12	Ingo Schwetz, Gerhard Gruhler, Klaus Obermayer	Correlation and stationarity of speech radiation: consequences for linear multichannel filtering.	IEEE Trans. Speech Audio Process.	2004	DBLP DOI BibTeX RDF
12	Olaf A. Hall-Holt	The corner arc algorithm.	SCG	2004	DBLP DOI BibTeX RDF	visibility, kinetic data structure, pseudo-triangulation
12	Håkan Zeffer, Zoran Radovic, Oskar Grenholm, Erik Hagersten	Exploiting Spatial Store Locality Through Permission Caching in Software DSMs.	Euro-Par	2004	DBLP DOI BibTeX RDF
12	Chunqiang Tang, DeQing Chen, Sandhya Dwarkadas, Michael L. Scott	Integrating Remote Invocation and Distributed Shared State.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Constantine Katsinis	A Model of Distributed-Shared-Memory on the SOME-Bus Architecture.	IPDPS	2004	DBLP DOI BibTeX RDF
12	Kiyofumi Tanaka, Toshihide Hagiwara	A Scalable and Adaptive Directory Scheme for Hardware Distributed Shared Memory.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
12	Ramin Zabih, Vladimir Kolmogorov	Spatially Coherent Clustering Using Graph Cuts.	CVPR (2)	2004	DBLP DOI BibTeX RDF
12	Jiaya Jia, Tai-Pang Wu, Yu-Wing Tai, Chi-Keung Tang	Video Repairing: Inference of Foreground and Background under Severe Occlusion.	CVPR (1)	2004	DBLP DOI BibTeX RDF
12	Jayant DeSouza, Laxmikant V. Kalé	MSA: Multiphase Specifically Shared Arrays.	LCPC	2004	DBLP DOI BibTeX RDF
12	David F. Dufty, Danielle S. McNamara, Max M. Louwerse, Zhiqiang Cai 0002, Arthur C. Graesser	Automatic evaluation of aspects of document quality.	SIGDOC	2004	DBLP DOI BibTeX RDF	document evaluation, writing tools, text analysis, cohesion
12	Jeffrey F. Cohn, Lawrence Ian Reed, Tsuyoshi Moriyama, Jing Xiao, Karen L. Schmidt, Zara Ambadar	Multimodal Coordination of Facial Action, Head Rotation, and Eye Motion during Spontaneous Smiles.	FGR	2004	DBLP DOI BibTeX RDF
12	Owen Bourne, Abdul Sattar 0001	Applying Constraint Satisfaction Techniques to 3D Camera Control.	CP	2004	DBLP DOI BibTeX RDF
12	Shih-Pin Chao, Chih-Yi Chiu, Jui-Hsiang Chao, Shi-Nine Yang, Tsang-Ken Lin	Motion Retrieval and Its Application to Motion Synthesis.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
12	Annika Wolff, Paul Mulholland, Zdenek Zdráhal, Richard W. Joiner	Scene-Driver: An Interactive Narrative Environment Using Content from an Animated Children's Television Series.	TIDSE	2004	DBLP DOI BibTeX RDF
12	Andrew Blake 0001, Carsten Rother, Matthew A. Brown, Patrick Pérez, Philip H. S. Torr	Interactive Image Segmentation Using an Adaptive GMMRF Model.	ECCV (1)	2004	DBLP DOI BibTeX RDF
12	Adjamir M. Galvão, Flávia A. Barros, André M. M. Neves, Geber L. Ramalho	Adding Personality to Chatterbots Using the Persona-AIML Architecture.	IBERAMIA	2004	DBLP DOI BibTeX RDF
12	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee	Reducing False Sharing and Improving Spatial Locality in a Unified Compilation Framework.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	loop and memory layout transformations, shared-memory multiprocessors, Data reuse, cache locality, false sharing
12	Martin Fredriksson, Rune Gustavsson, Alessandro Ricci	Sustainable Coordination.	AgentLink	2003	DBLP DOI BibTeX RDF
12	Harold W. Cain, Mikko H. Lipasti, Ravi Nair	Constraint Graph Analysis of Multithreaded Programs.	IEEE PACT	2003	DBLP DOI BibTeX RDF
12	Daniel J. Sorin, Mark D. Hill, David A. Wood 0001	Dynamic Verification of End-to-End Multiprocessor Invariants.	DSN	2003	DBLP DOI BibTeX RDF
12	Ravi R. Iyer 0001	On Modeling and Analyzing Cache Hierarchies using CASPER.	MASCOTS	2003	DBLP DOI BibTeX RDF
12	Mark O. Riedl, Robert Michael Young	Character-Focused Narrative Generation for Execution in Virtual Worlds.	International Conference on Virtual Storytelling	2003	DBLP DOI BibTeX RDF
12	Yong Luo 0001, Zhaohui Luo	Combining Incoherent Coercions for Sigma-Types.	TYPES	2003	DBLP DOI BibTeX RDF
12	Yang Gao 0001, Zhaochun Sun, Ning Li	How to Choose the Optimal Policy in Multi-agent Belief Revision?	RSFDGrC	2003	DBLP DOI BibTeX RDF
12	Michael Felsberg, Gösta H. Granlund	Anisotropic Channel Filtering.	SCIA	2003	DBLP DOI BibTeX RDF
12	Daehyun Kim, Mainak Chaudhuri, Mark A. Heinrich	Active Memory Techniques for ccNUMA Multiprocessors.	IPDPS	2003	DBLP DOI BibTeX RDF
12	Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann	Superposition Modulo a Shostak Theory.	CADE	2003	DBLP DOI BibTeX RDF
12	Jing Chen	A Loop-Free Asynchronous Data Sharing Mechanism in Multiprocessor Real-Time Systems Based on Timing Properties.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
12	Peter Lindstrom 0001, Valerio Pascucci	Terrain Simplification Simplified: A General Framework for View-Dependent Out-of-Core Visualization.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	continuous levels of detail, edge bisection, geomorphing, external memory paging, out-of-core algorithms, data layouts, Terrain visualization, surface simplification, error metrics, view-dependent refinement
12	Gilles Reymond, Jacques Droulez, Andras Kemeny	Visuovestibular perception of self-motion modeled as a dynamic optimization process.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
12	Marc Mersiol, Noël Chateau, Valérie Maffiolo	Talking Heads: Which Matching between Faces and Synthetic Voices?.	ICMI	2002	DBLP DOI BibTeX RDF
12	Ruoming Jin, Gagan Agrawal	Performance prediction for random write reductions: a case study in modeling shared memory programs.	SIGMETRICS	2002	DBLP DOI BibTeX RDF
12	Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
12	Marc Mersiol, Noël Chateau	Visages parlants: quels visages pour quelles voix?	IHM	2002	DBLP DOI BibTeX RDF	matching evaluation, talking heads
12	Vivek Kwatra, Jarek Rossignac	Surface Simplification and Edgebreaker Compression for 2D Cell Animations.	Shape Modeling International	2002	DBLP DOI BibTeX RDF
12	Christian Wiesner, Peter Winklhofer, Alfons Kemper	Building Dynamic Market Places Using HyperQueries.	EDBT	2002	DBLP DOI BibTeX RDF
12	Andrew S. French, Ulli Höger, Shin-ichi Sekizawa, Päivi H. Torkkeli	Frequency response functions and information capacities of paired spider mechanoreceptor neurons.	Biol. Cybern.	2001	DBLP DOI BibTeX RDF
12	Christopher James Langmead, Bruce Randall Donald	Extracting structural information using time-frequency analysis of protein NMR data.	RECOMB	2001	DBLP DOI BibTeX RDF
12	José Aguilar 0001, Ernst L. Leiss	A General Adaptive Cache Coherency-Replacement Scheme for Distributed Systems.	IICS	2001	DBLP DOI BibTeX RDF
12	Apurva Kumar, Rajeev Gupta	Capacity evaluation of frequency hopping based ad-hoc systems.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF	GFSK, ad-hoc networks, throughput, capacity, forward error correction, bit error rate, frequency hopping, bluetooth technology
12	Jun Wei 0001, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng	Modeling and Verifying Strong Cache Consistency for Mobile Data Access .	ISSRE	2001	DBLP DOI BibTeX RDF
12	Gerd Häusler	How Much 3D-Information Can We Acquire? Optical Range Sensors at the Physical Limit, and Where to Apply Them.	3DIM	2001	DBLP DOI BibTeX RDF
12	Emil Praun, Hugues Hoppe, Matthew Webb, Adam Finkelstein	Real-time hatching.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	chicken-and-egg problem, line art, non-photorealistic rendering, multitexturing
12	José Aguilar 0001, Ernst L. Leiss	A Web Proxy Cache Coherency and Replacement Approach.	Web Intelligence	2001	DBLP DOI BibTeX RDF
12	Siddharth R. Phanse, R. K. Shyamasundar	Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.	VLSI Design	2001	DBLP DOI BibTeX RDF
12	Faouzi Boufarès, Naoufel Kraïem	A New Tool to Analyze ER-Schemas.	APAQS	2001	DBLP DOI BibTeX RDF	ER Meta-model, Valid ER-schemas, Information System, Constraints, Conceptual modeling, Meta-modeling, CASE tools, Entity- Relationship model, Cardinality constraints
12	Guang R. Gao, Vivek Sarkar	Location Consistency-A New Memory Model and Cache Consistency Protocol.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	location consistency, cache consistency protocols, Memory consistency
12	Alexandre Miquel	A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF
12	Rajnish Ghughal, Ganesh Gopalakrishnan	Verification Methods for Weaker Shared Memory Consistency Models.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
12	Chang-Kyu Lee, Jong Hyuk Choi, Kyu Ho Park, Bong Wan Kim	Fast & Cost Effective Cache Invalidation in DSM.	ICPADS	2000	DBLP DOI BibTeX RDF
12	David G. Novick	A why-what-how tool for development and documentation of operating procedures.	SIGDOC	2000	DBLP BibTeX RDF
12	Jerzy Brzezinski, Dariusz Wawrzyniak	Consistency Requirements of Distributed Shared Memory for Dijkstra's Mutual Exclusion Algorithm.	ICDCS	2000	DBLP DOI BibTeX RDF	distributed shared memory, mutual exclusion, consistency models
12	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
12	Kevin M. Lepak, Mikko H. Lipasti	On the value locality of store instructions.	ISCA	2000	DBLP DOI BibTeX RDF
12	An-Chow Lai, Babak Falsafi	Selective, accurate, and timely self-invalidation using last-touch prediction.	ISCA	2000	DBLP DOI BibTeX RDF
12	Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanujam, Prithviraj Banerjee	On Reducing False Sharing while Improving Locality on Shared Memory Multiprocessors.	IEEE PACT	1999	DBLP DOI BibTeX RDF	loop and memory layout transformations, shared-memory multiprocessors, data reuse, cache locality, false sharing
12	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.	CAV	1999	DBLP DOI BibTeX RDF
12	Akira Mori, Kokichi Futatsugi	Verifying Behavioural Specifications in CafeOBJ Environment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
12	Mark Horowitz, Margaret Martonosi, Todd C. Mowry, Michael D. Smith 0001	Informing Memory Operations: Memory Performance Feedback Mechanisms and Their Applications.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	cache miss notification, processor architecture, memory latency
12	Anne-Marie Kermarrec, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum	A Framework for Consistent, Replicated Web Objects.	ICDCS	1998	DBLP DOI BibTeX RDF
12	Manish Verma, Tzi-cker Chiueh	Implementation and Performance Evaluation of Locust.	ICPP	1998	DBLP DOI BibTeX RDF
12	Gheith A. Abandah, Edward S. Davidson	Effects of Architectural and Technological Advances on the HP/Convex Exemplar's Memory and Communication Performance.	ISCA	1998	DBLP DOI BibTeX RDF
12	Vijayaraghavan Soundararajan, Mark A. Heinrich, Ben Verghese, Kourosh Gharachorloo, Anoop Gupta, John L. Hennessy	Flexible Use of Memory for Replication/Migration in Cache-Coherent DSM Multiprocessors.	ISCA	1998	DBLP DOI BibTeX RDF
12	Madhav K. Ponamgi, Dinesh Manocha, Ming C. Lin	Incremental Algorithms for Collision Detection Between Polygonal Models.	IEEE Trans. Vis. Comput. Graph.	1997	DBLP DOI BibTeX RDF	Collision detection, interference, physically based modeling, convex hulls, dynamic simulation, hierarchical representation, contacts
12	Lill Kristiansen, Dag Normann	Total objects in inductively defined types.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
12	Reinhard Eckhorn	Models of Visual Processing Derived from Cortical Microelectrode Recordings.	IWANN	1997	DBLP DOI BibTeX RDF	classical receptive field, linking field, feature separation, stimulus-locking, cortical fast oscillations, models of visual circuits, synchronization, visual coding
12	Anand Sivasubramaniam	Reducing the Communication Overhead of Dynamic Applications on Shared Memory Multiprocessors.	HPCA	1997	DBLP DOI BibTeX RDF	dynamic communication behavior, invalidation-based protocols, receiver-initiated communication, write overheads, redundant updates, intelligent sender-initiated data transfer mechanisms, competitive update mechanism, scalability, geographical information systems, shared memory multiprocessors, shared memory systems, data transfer, communication overhead, temporal locality, spatial locality, shared memory architectures, shared address space, performance benefits, dynamic applications
12	Élisabeth Lefebvre, Louis A. Lefebvre, Lise Préfontaine	Technological Learning and Organizational Context: Fit and Performance in SMES.	HICSS (3)	1997	DBLP DOI BibTeX RDF
12	Satish Chandra 0001, James R. Larus	Optimizing Communication in HPF programs for Fine-Grain Distributed Shared Memory.	PPoPP	1997	DBLP DOI BibTeX RDF
12	Babak Falsafi, David A. Wood 0001	Reactive NUMA: A Design for Unifying S-COMA and CC-NUMA.	ISCA	1997	DBLP DOI BibTeX RDF
12	Magnus Karlsson 0002, Per Stenström	Performance Evaluation of a Cluster-Based Multiprocessor Built from ATM Switches and Bus-Based Multiprocessor Servers.	HPCA	1996	DBLP DOI BibTeX RDF
12	Chun Xia, Josep Torrellas	Improving the Data Cache Performance of Multiprocessor Operating Systems.	HPCA	1996	DBLP DOI BibTeX RDF	data cache performance, operating system effect on caches, bus-based multiprocessor, address trace evaluation, block operations, latency hiding
12	Liuba Shrira, Barbara Liskov, Miguel Castro 0001, Atul Adya	How to scale transactional storage systems.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
12	Mark Horowitz, Margaret Martonosi, Todd C. Mowry, Michael D. Smith 0001	Informing Memory Operations: Providing Memory Performance Feedback in Modern Processors.	ISCA	1996	DBLP DOI BibTeX RDF
12	Vijay S. Pai, Parthasarathy Ranganathan, Sarita V. Adve, Tracy Harton	An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors.	ASPLOS	1996	DBLP DOI BibTeX RDF
12	John Chapin, Stephen Alan Herrod, Mendel Rosenblum, Anoop Gupta	Memory System Performance of UNIX on CC-NUMA Multiprocessors.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
12	Paulo Ferreira 0001, Marc Shapiro 0001	Garbage Collection in the Larchant Persistent Distributed Shared Store.	FTDCS	1995	DBLP DOI BibTeX RDF	garbage collection, distributed shared memory, causality
12	Torben Braüner	A Model of Intuitionistic Affine Logic From Stable Domain Theory.	ICALP	1994	DBLP DOI BibTeX RDF
12	Ravi Mirchandaney, Seema Hiranandani, Ajay Sethi	Improving the performance of DSM systems via compiler involvement.	SC	1994	DBLP DOI BibTeX RDF
12	Babak Falsafi, Alvin R. Lebeck, Steven K. Reinhardt, Ioannis Schoinas, Mark D. Hill, James R. Larus, Anne Rogers, David A. Wood 0001	Application-specific protocols for user-level shared memory.	SC	1994	DBLP DOI BibTeX RDF	CM-X