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 (56)
Storage Management (14)
File Systems Management (135)
Communications Management (2)
Reliability (105)
Security and Protection (400)
Organization And Design (5)
Performance (177)
Systems Programs And Utilities (7)
Miscellaneous (28)
 
 
Reviews limited to:
 
 

Reviews in category "Operating Systems (D.4)":
Incremental bounded model checking for embedded software
Schrammel P., Kroening D., Brain M., Martins R., Teige T., Bienmüller T.  Formal Aspects of Computing 29(5): 911-931, 2017. Type: Article
Mixed-criticality federated scheduling for parallel real-time tasks
Li J., Ferry D., Ahuja S., Agrawal K., Gill C., Lu C.  Real-Time Systems 53(5): 760-811, 2017. Type: Article
Effective usage of redundancy to aid neutralization of hardware Trojans in integrated circuits
Gunti N., Lingasubramanian K.  Integration, the VLSI Journal 59 233-242, 2017. Type: Article
Fundamentals of IP and SoC security: design, verification, and debug
Bhunia S., Ray S., Sur-Kolay S.,  Springer International Publishing, New York, NY, 2017. 316 pp. Type: Book (978-3-319500-55-3)
Cyber security and the role of intelligent systems in addressing its challenges
Harel Y., Ben-Gal I., Elovici Y.  ACM Transactions on Intelligent Systems and Technology 8(4): 1-12, 2017. 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-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy