000 02892nam a22004575i 4500
001 978-3-540-39424-2
003 DE-He213
005 20160624101943.0
007 cr nn 008mamaa
008 121227s1982 gw | s |||| 0|eng d
020 _a9783540394242
_9978-3-540-39424-2
024 7 _a10.1007/3-540-11604-4
_2doi
050 4 _aQA76.76.O63
072 7 _aUL
_2bicssc
072 7 _aCOM046000
_2bisacsh
082 0 4 _a005.43
_223
245 1 0 _aOperating Systems Engineering
_h[electronic resource] :
_bProceedings of the 14th IBM Computer Science Symposium Amagi, Japan, October 1980 /
_cedited by Mamoru Maekawa, Laszio A. Belady.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1982.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1982.
300 _aX, 470 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v143
505 0 _aSynchronization mechanisms for parallel processing -- A parallel programming language and description of scheduler -- Specification of schedulers with algebraic specification techniques -- Generalized dynamic authorization mechanisms -- Program behavior and its models -- CPU scheduling for effective multiprogramming -- Dynamic tuning of operating systems -- On pseudo workload for performance measurement of interactive systems -- Modifiability of large software systems -- Operating system conceptual model for ease of extension -- Perspective of OS interface to users -- Intelligent console a universal user interface of a computer system -- Structuring distributed programs with control fault detection -- A distributed operating system for a binary tree multiprocessor -- Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus subsystem description- -- Product validation for standardized network protocol -- Protection and synchronisation in a message-switched system -- On the progress of communication between two machines -- Form transformer -a formalism for office form manipulation- -- Automated design of concurrent process systems -- Concurrent programming -- Streams and managers.
650 0 _aComputer science.
650 0 _aOperating systems (Computers).
650 1 4 _aComputer Science.
650 2 4 _aOperating Systems.
700 1 _aMaekawa, Mamoru.
_eeditor.
700 1 _aBelady, Laszio A.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540116042
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v143
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-11604-4
942 _2EBK4646
_cEBK
999 _c33940
_d33940