Lecture Notes in Computer Science - Operating Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354006849x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Schedulers as enforces in synchronization processes

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029363 ◽

2005 ◽

pp. 237-256

Author(s):

R. J. Lipton

Download Full-text

Analyse de quelques pannes d'un systeme d'exploitation

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029360 ◽

2005 ◽

pp. 188-207

Author(s):

C. Kaiser ◽

S. Krakowiak

Download Full-text

Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029354 ◽

2005 ◽

pp. 56-88 ◽

Cited By ~ 2

Author(s):

A. Brandwajn

Keyword(s):

Virtual Memory ◽

Decomposition Methods ◽

Memory System ◽

Time Sharing

Download Full-text

The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029366 ◽

2005 ◽

pp. 293-310

Author(s):

N. H. Shelness ◽

P. D. Stephens ◽

H. Whitfield

Keyword(s):

Access System ◽

Multi Access

Download Full-text

A foreground-background time sharing queue with general service times

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029356 ◽

2005 ◽

pp. 103-125

Author(s):

C. Guimaraes

Keyword(s):

Time Sharing ◽

General Service Times ◽

Service Times ◽

General Service

Download Full-text

Caractérisation fonctionnelle des systemes de fichiers

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029364 ◽

2005 ◽

pp. 257-278

Author(s):

Christine Parent

Download Full-text

Correctness of realizations of levels of abstraction in Operating Systems

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029351 ◽

2005 ◽

pp. 1-14 ◽

Cited By ~ 1

Author(s):

G. Belpaire ◽

J. P. Wilmotte

Keyword(s):

Operating Systems ◽

Levels Of Abstraction

Download Full-text

The specification of process synchronization by path expressions

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029355 ◽

2005 ◽

pp. 89-102 ◽

Cited By ~ 148

Author(s):

R. H. Campbell ◽

A. N. Habermann

Keyword(s):

Process Synchronization

Download Full-text

A new approach to avoidance of system deadlocks

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029358 ◽

2005 ◽

pp. 163-170 ◽

Cited By ~ 3

Author(s):

A. N. Habermann

Keyword(s):

New Approach

Download Full-text

Presentation of the control graph models

Lecture Notes in Computer Science - Operating Systems ◽

10.1007/bfb0029365 ◽

2005 ◽

pp. 279-292

Author(s):

Michel Parent

Keyword(s):

Graph Models ◽

Control Graph

Download Full-text

Lecture Notes in Computer Science - Operating SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Schedulers as enforces in synchronization processes

Analyse de quelques pannes d'un systeme d'exploitation

Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system

The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor

A foreground-background time sharing queue with general service times

Caractérisation fonctionnelle des systemes de fichiers

Correctness of realizations of levels of abstraction in Operating Systems

The specification of process synchronization by path expressions

A new approach to avoidance of system deadlocks

Presentation of the control graph models

Lecture Notes in Computer Science - Operating Systems
Latest Publications