Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Software (D) > Operating Systems (D.4)  
  Operating Systems (D.4) See Reviews  
General (17)
Process Management (219)
Storage Management (14)
File Systems Management (132)
Communications Management (4)
Reliability (32)
Security and Protection (376)
Organization And Design (3)
Performance (175)
Systems Programs And Utilities (7)
Miscellaneous (28)
Reviews limited to:

Reviews in category "Operating Systems (D.4)":
The (weighted) metric dimension of graphs: hard and easy cases
Epstein L., Levin A., Woeginger G.  Algorithmica 72(4): 1130-1171, 2015. Type: Article
Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J.  Formal Methods in System Design 44(3): 203-239, 2014. Type: Article
Pro Vagrant
Gajda W.,  Apress, New York, NY, 2015. 256 pp. Type: Book (978-1-484200-74-2)
Resilient computer system design
Castano V., Schagaev I.,  Springer Publishing Company, Incorporated, New York, NY, 2015. 256 pp. Type: Book (978-3-319150-68-0)
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes
Akinyele J., Green M., Hohenberger S., Pagano M.  Journal of Computer Security 22(6): 867-912, 2014. Type: Article

Related Topics

File Systems Management
  - Files

Communications Management
  - Computer-Communication Networks

Security and Protection
  - Security and Protection

  - Metrics
  - Performance Of Systems
  - Simulation And Modeling
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2015 ThinkLoud, Inc.
Terms of Use
| Privacy Policy