Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-6 ل  6 نتائج ل ""COMPUTER operating systems""

فلترة النتائج

Collection : Australian National University
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Comparison of Local and Gang Scheduling on a Beowulf Cluster

Subjects: Keywords: Beowulf cluster; Cluster computing; Gang schedulingSan Diego USA

  • Source: Proceedings of the 2004 IEEE International Conference on Cluster Computing ; http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=30302

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Run-time System for SCOOP

Subjects: Keywords: Eiffel compiler; Object-Oriented Software Construction; Run-time systemsSanta Barbara; California

  • Source: Trusted Components, Formal Specifications, Eiffel & .NET

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Science and technology progress at the Sydney University Stellar Interferometer

Subjects: Keywords: Binary star; High-resolution imaging; Long-baseline interferometryAmsterdam

  • Source: Proceedings of SPIE - The International Society for Optical Engineering

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Profiling Directed NUMA Optimization on Linux Systems: A Case Study of the Gaussian Computational Chemistry Code

Subjects: Keywords: G09; Gaussians; NUMAShanghai China

  • Source: Proceedings of International Parallel and Distributed Processing Symposium (IPDPS 2011)

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

seL4: Formal Verification of an OS Kernel

Subjects: Keywords: Abstract specifications; Assembly code; C codesBig Sky USA

  • Source: Proceedings of The 22nd ACM SIGOPS Symposium on Operating Systems Principles (SOSP 2009) ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Subjects: Keywords: API; Conformance testing; Higher-order logic

  • Source: SIGCOMM Computer Communications Review

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-6 ل  6 نتائج ل ""COMPUTER operating systems""