Skip to search formSkip to main contentSkip to account menu

ACM Transactions on Computer Systems

ACM Transactions on Computer Systems is a quarterly peer-reviewed scientific journal published by the Association for Computing Machinery.
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Formal Verification of Voting and Auction Protocols : From Privacy to Fairness and Verifiability
In this document, we formally analyze security in electronic voting and electronic auctions. On-line voting over is now available… 
2009
2009
Réseaux d'Automates Stochastiques : Génération de l'espace d'états atteignables et Multiplication vecteur-descripteur pour une sémantique en temps discret. (Stochastic Automata Networks : Reachable…
Cette these presente des methodes et des algorithmes pour l'evaluation de performance de systemes a grand espace d'etats decrits… 
2009
2009
Hash, don't cache: fast packet forwarding for enterprise edge routers
As forwarding tables and link speeds continue to grow, fast packet forwarding becomes increasingly challenging for enterprise… 
2009
2009
Efficient migration access control for mobile agents
2000
2000
Optimizing the cache performance of non-numeric applications
The latency of accessing instructions and data from the memory subsystem is an increasingly crucial performance bottleneck in… 
1998
1998
Event-predicate detection in the monitoring of distributed applications
Continuously monitoring the event history of a distributed application for the occurrence of interesting event predicates is a di… 
Review
1994
Review
1994
Time surveying: clock synchronization over packet networks
This thesis applies the methods and mindset of a high-accuracy land surveyor to the problem of clock synchronization over packet… 
1992
1992
Benchmark workload generation and performance characterization of multiprocessors
  • A. NandaL. Ni
  • Proceedings Supercomputing '92
  • 1992
  • Corpus ID: 15597025
A comprehensive benchmark workload generation and performance characterization methodology is described for multiprocessors… 
1990
1990
A logically distributed approach for structuring office systems
An object-oriented office model is presented. It uses the object taxonomy of Booch featuring object classes based on calling… 
1990
1990
Transparent process migration in the Sprite operating system
The Sprite operating system allows executing processes to be moved between hosts at any time. We use this process migration… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)