검색어 : 통합검색[Operating systems :]
총 152,433건 중 1,000건 출력
, 99/100 페이지
-
981
- Activity-Tracking Service For Building Operating Systems
- Hviid, Jakob; Kjaergaard, Mikkel Baun; ; (Pervasive Computing and Communications Workshops (PerCom Workshops), 2018 IEEE International Conference on, v.2018, 2018, pp.854-859)
-
982
- Reliability models and inference for systems operating in different environments
- Hollander, Myles; Pe� a, Edsel A.; ; (Naval research logistics : NRL, v.43, 1996, pp.1079-1108)
-
983
- NCP 운영체제의 국제비교와 한국NCP 운영체제 검토
- 이상희; 한국공학대학교; (사회법연구, v.0, 2022, pp.1-25)
-
984
- Inferring efficient operating rules in multireservoir water resource systems: A review
- Macian‐ Sorribes, Hector; Pulido‐ Velazquez, Manuel; Research Institute of Water and Environmental Engineering (IIAMA), Universitat Politè cnica de Valè ncia (UPV) Valencia Spain; Research Institute of Water and Environmental Engineering (IIAMA), Universitat Politè cnica de Valè ncia (UPV) Valencia Spain; (WIREs. Water, v.7, 2020, pp.e1400)
-
985
- Platforms: the new contenders-operating systems go head-to-head
- Comerford, R.; ; (IEEE spectrum, v.30, 1993, pp.23-25)
-
986
- Experience with the language SR in an undergraduate operating systems course
- Hartley, Stephen J.; Math and Computer Science Department, Drexel University, Philadelphia, PA; (SIGCSE bulletin, v.24, 1992, pp.176-180)
-
987
- Unikernels : library operating systems for the cloud
- Madhavapeddy, Anil; Mortier, Richard; Rotsos, Charalampos; Scott, David; Singh, Balraj; Gazagnaire, Thomas; Smith, Steven; Hand, Steven; Crowcroft, Jon; ; (Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '13, v.2013, 2013, pp.461)
-
988
- Formal verification of a task scheduler for embedded operating systems
- Sun, Haiyong; Lei, Hang; School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China; School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, China; (Journal of intelligent & fuzzy systems, v.38, 2020, pp.1391-1399)
-
989
- The case for application-specific operating systems
- Anderson, T.E.; ; (Workstation Operating Systems, 1992. Proceedings., Third Workshop on, v.1992, 1992, pp.92-94)
-
990
- Uncertainty based operating strategy selection in combined heat and power systems
- Long, W.C.; Luck, R.; Mago, P.J.; ; (Applied thermal engineering, v.98, 2016, pp.1013-1024)
QUICK MENU
