검색어 : 통합검색[Operating systems :]
총 152,431건 중 1,000건 출력
, 92/100 페이지
-
911
-
Model Checking Dynamic Memory Allocation in Operating Systems
-
Gallardo, Marí
a del Mar;
Merino, Pedro;
Saná
n, David;
;
(Journal of automated reasoning,
v.42,
2009,
pp.229-264)
-
912
-
Teaching operating systems in a virtual machine environment
-
Donaldson, John L.;
Department of Mathematical Sciences, The University of Akron, Akron, Ohio;
(SIGCSE bulletin,
v.19,
1987,
pp.206-211)
-
913
-
Determination of Reference Operating Voltages in Power Systems
-
Komiya, Yasuo;
Ode, Kazuya;
Central Research Institute of the Electric Power Industry;
Central Research Institute of the Electric Power Industry;
(IEEE transactions on power apparatus and systems,
v.pas89,
1970,
pp.45-54)
-
914
-
Automatic generation and targeting of application-specific operating systems and embedded systems software
-
Gauthier, L.;
Yoo, Sungjoo;
Jerraya, A.A.;
;
(IEEE transactions on computer-aided design of integrated circuits and systems : a publication of the IEEE Circuits and Systems Society,
v.20,
2001,
pp.1293-1301)
-
915
-
Network behavior analysis of selected operating systems
-
Barath, Ing. Julius;
;
(Communication and Information Technologies (KIT), 2019,
v.2019,
2019,
pp.1-5)
-
916
-
Sizing Optimization of Pneumatic Actuation Systems Through Operating Point Analysis
-
Vigolo, Viní
cius;
De Negri, Victor Juliano;
Department of Mechanical Engineering, LASHIP, Federal University of Santa Catarina, Trindade, Florianó
polis, SC 88040-900, Brazil;
Department of Mechanical Engineering, LASHIP, Federal University of Santa Catarina, Trindade, Florianó
polis, SC 88040-900, Brazil;
(Journal of dynamic systems, measurement, and control,
v.143,
2021,
pp.051006)
-
917
-
Operating Systems Projects : linking theory, practice and use
-
Ramakrishnan, Sub;
Lancaster, Ann-Marie;
Bowling Green State University, Department of Computer Science, Bowling Green, Ohio;
Bowling Green State University, Department of Computer Science, Bowling Green, Ohio;
(SIGCSE bulletin,
v.25,
1993,
pp.256-260)
-
918
-
Investigation on operating systems identification by means of fractal geometry
-
Zelinka, Ivan;
Zmeš
kal, Oldř
ich;
Merhaut, Filip;
;
(Logic journal of the IGPL,
v.23,
2015,
pp.88-104)
-
919
-
Reconstructing Operating Reserve: Flexibility for Sustainable Power Systems
-
Nosair, Hussam;
Bouffard, Francois;
Dept. of Electr. & Comput. Eng., McGill Univ., Montreal, QC, Canada;
Dept. of Electr. & Comput. Eng., McGill Univ., Montreal, QC, Canada;
(IEEE transactions on sustainable energy,
v.6,
2015,
pp.1624-1637)
-
920
-
CALOS : an experiment with computer-aided learning for operating systems
-
Goldberg, Murray W.;
Department of Computer Science, University of British Columbia, Vancouver, British Columbia, Canada;
(SIGCSE bulletin,
v.28,
1996,
pp.175-179)