scientific article; zbMATH DE number 3483531
From MaRDI portal
Publication:4066554
Cited in
(74)- Multiprocessor scheduling under precedence constraints: polyhedral results
- Some properties of deadlock detection and recovery in readers and writers problems
- A unified approach for studying the properties of transition systems
- Advantages for solving linear systems in an asynchronous environment
- Distribution and synchronized automata
- On the paging-complexity of periodic arrangements
- Safe states in banker-like resource allocation problems
- A calculus and logic of resources and processes
- A structural operational semantics for an Edison-like language
- Project scheduling with finite or infinite number of activity processing modes -- a survey
- A note on comparing response times in the \(M/GI/1/FB\) and \(M/GI/1/PS\) queues
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Models of central capacity and concurrency
- Fine-grained concurrency with separation logic
- Modelling a disc I/0 system
- Message passing between sequential processes: The reply primitive and the administrator concept
- A semantics for concurrent separation logic
- On hash techniques in a paged environment
- Optimization aspects of deadlock prevention in packet-switching networks
- Fault-tolerant and flexible interconnection of multiple processors
- A middleware model supporting time-triggered message-triggered objects for standard linux systems
- The design of Edison
- Joyce—A programming language for distributed systems
- Optimal multiprogramming
- A proof of the optimality of the MIN paging algorithm using linear programming duality
- A non-blocking buffer mechanism for real-time event message communication
- Relation-based semantics for concurrency
- The residue of vector sets with applications to decidability problems in Petri nets
- Resources, concurrency, and local reasoning
- Dynamic storage allocation with limited compaction - complexity and some practical implications
- A survey of concurrent object-oriented languages
- An experiment in language design for distributed systems
- On process assignment in parallel computing
- Methods and means of parallel processing of information
- Self-stabilization (in spite of distributed control) in tree-structured systems
- A trichotomy: Interactions of factors prolonging sequential and concurrent mental processes in stochastic discrete mental (PERT) networks
- A multiprocessor implementation of joyce
- Policies for data archival in hierarchical storage management
- A cost-based buffer replacement algorithm for object-oriented database systems
- Fair service for mice in the presence of elephants
- Bounds on list scheduling of UET tasks with restricted resource constraints
- Global serializability of concurrent programs
- Transformations of sequential specifications into concurrent specifications by synchronization guards
- Upper bounds for static resource allocation in a distributed system
- Extension of the Banker's algorithm for resource allocation in a distributed operating system
- Nets, sequential components and concurrency relations
- Abstract interface behavior of object-oriented languages with monitors
- Richard Bellman's contributions to computer science
- The parallel complexity of deadlock detection
- Optimal scheduling of homogeneous job systems
- Nonclairvoyant scheduling
- An experimental study of processor thrashing in multiprocessor systems
- FIFO-optimal placement on pages of independently referenced sectors
- On the efficient implementation of conditional critical regions, and the construction of monitors
- Concurrent communication and synchronization mechanisms
- The implementation of concurrency for a PL/I-like language
- A note on LPT scheduling
- A modula-2 kernel for supporting monitors
- Asynchronous Cooperative Contracts for Cooperative Scheduling
- Discrete system simulation in Ada
- Parallel processing in an adaptable application oriented language processor
- Pointer variables in concurrent Pascal
- Two examples of block structuring
- A communicating sequential process language and implementation
- Task management in Ada—A critical evaluation for real-time multiprocessors
- The implementation of synchronizing operations in various environments
- A classification of process coordination schemes in descriptive power
- On the design and specification of message oriented programs
- A highly reliable file system which supports multiprocessing
- A monitor for small computers
- Compile time preparations for run time scheduling in monitors
- An operating system for interactive terminals
- Systems implementation languages and IRONMAN
- Detection of parallelism between statements by decomposing into separate sequential processes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4066554)
