Вы здесь

Главная

Univ.Rochester

Связанные издания:

Actions and Events in Interval Temporal Logic
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors
Alleviating Memory Contention in Matrix Computations on Large-Scale Shared-Memory Multiprocessors
An episodic knowledge representation for narrative texts
A Parallel Interleaved File System
A Preliminary Evaluation of Cache-Miss-Initiated Prefetching Techniques in Scalable Multiprocessors
Architectural Adaptability in Parallel Programming via Control Abstraction
Autonomous acquisition and utilization of high-level spatial knowledge to search for an object
Beyond Data Parallelism: The Advantages of Multiple Parallelizations in Combinatorial Search
Compiler Optimizations for Cache Locality and Coherence
Computer Science and Computer Engineering Research Review 1991-1992
Efficient Algorithms for Qualitative Reasoning About Time
Fault-Tolerance and Complexity
Generating Random Graphs Efficiently
Interprocessor Invocation on a NUMA Multiprocessor
Kernel-Kernel Communication in a Shared-Memory Multiprocessor
Learning in the Presence of Additional Information and Inaccurate Information
Linguistic and Pragmatic Constraints on Utterance Interpretation
Memory Contention in Scalable Cache-Coherent Multiprocessors
Mint Tutorial and User Manual
Natural Language, Knowledge Representation, and Logical Form
On Computing the Minimal Labels in Time Point Algebra Networks
On Point-Based Temporal Disjointness
On sets with efficient implicit membership tests
Parallel incremental compilation
PENGUIN: a language for reactive graphical user interfaces
Performance of Temporal Reasoning Systems
Promises and Fault-Tolerant Database Access
Scalable Spin Locks for Multiprogrammed Systems
Semantic nets are in the eye of the beholder
Software Cache Coherence for Large Scale Multiprocessors
Space-Efficient Recognition of Sparse Self-Reducible Languages
The Lambda Loop Transformation Toolkit (User s Reference Manual)
The Rhetorical Knowledge Representation System Reference Manual (for Rhet Version 17.9)
The Rhet Programmer s Guide (for Rhet Version 17.9)
The Temporal Reasoning Systems TimeGraph I-II
The TRAINS 91 Dialogues
Uncertainty Logics