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
Search
  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
more...

Related Topics

D.4.3
File Systems Management
  - Files

D.4.4
Communications Management
  - Computer-Communication Networks

D.4.6
Security and Protection
  - Security and Protection

D.4.8
Performance
  - 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