Вы здесь

Home » Издательства

ACM Press

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

1992 ACM SIGMETRICS and Performance 92: Proc./Intern.Conf. on Measurement and Modelling of Computer Systems. June 1-5, 1992. Newport, Rhode Island, U.S.A.
1996 ACM SIGPLAN International Conference on Functional Programming (ICFP 96). Proc./Philadelphia, Pennsylvania, May 24-26, 1996
Abstract Interpretation and Low-Level Code Optimization
ACM SIGMOD 92: Proc./1992 ACM SIGMOD Intern. Conf. on Management of Data. San Diego, California, June 2-5, 1992
ACM SIGPLAN 92 Conf. on Programming Language Design and Implementation.:Proc./ San Francisco, California.June 17-19, 1992
ACM SIGPLAN Notices: Proc. of the ACM/ONR Workshop on Parallel and Distributed Debugging, May 20-21, 1991, Santa Cruz, California
ACM Turing Award Lectures. The First Twenty Years. 1966 to 1985
A Comparison of Windows Driver Model Latency Performance on Wondows NT and Windows 98
Action Transformation by Partial Evaluation
A Debate on Language and Tool Support for Design Patterns
A Framework for Combining Analysis and Verification
A Freedback-driven Proportion Allocator for Real-Rate Scheduling
A Functional Theory of Local Names
A Hybrid Bilevel Image Decode Algorithm for Group 4 FAX
Analyzing the Communication Topology of Concurrent Programs
An Analysis of Dynamic Page Placement on a NUMA Multiprocessor
Anatomy of a Real E-Commerce System
An Evaluation of Memory Consistency Models for Shared-Memory Systems with IPL Processors
A New Approach to Debugging Optimized Code
A New Approach to Generic Functional Programming
Animating Algorithms with XTANGO
Animating Work and Time for Debugging Parallel Programs Foundation and Experience
Answering Complex SQL Queries Using Automatic Summary Tables
A Performance Analysis of Alternative Multi-Attribute Declustering Stategies
APL Quote Quad. APL 91: The Intern. Conf. on APL, 4-8 August, 1991, Stanford University, Palo Alto, California, USA
APT: A Data Structure for Optimal Control Dependence Compulation
A Retargetable Debugger
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code
A Staging Calculus and Its Application to the Verification of Translators
A Static Type System for Message Passing
A Symbolic Constraint Solving Framework for Analysis of Logic Programs
A Transformation-Based Approach to Optimizing Loops in Database Programming Languages
A Type System for Dynamic Web Documents
A Type System for Prototyping Languages
A Type-Theoretic Approach to Higher-Order Modules with Sharing
Authentication Primitives and Their Compilation
Automated Synthesis of Interface Adapters for Reusable Classes
Automatic I/O Hint Generation through Speculative Execution
Automatic Text Structuring and Retrieval- Experiments in Automatic Encyclopedia Searching
Balancing Runtime and Replay Costs in a Trace-and-Replay System
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism
Building Generic User Interface Tools: an Experience with Multiple Inheritance
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages
ChaosMON- Application-Specific Monitoring and Display of Performance Information for Parallel and Distributed Systems
Clock Analysis of Synchronous Dataflow Programs
Combinations of Abstract Domains for Logic Programming
Combining Model-Oriented and Description-Oriented Approaches for Probabilistic Indexing
Complete Formal Model for Information Retrieval Systems
Composite Multimedia and Active Objects
Computer Communication Review: SIGCOMM 91 Conf. Communications Architectures and Protocols. September 3-6, 1991, Zurich, Switzerland.