|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2930 occurrences of 1614 keywords
|
|
|
Results
Found 7434 publication records. Showing 7434 according to the selection in the facets
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 |
|
|