Results 111 to 120 of about 117,972 (167)

Theory for proactive operating systems

2012 IEEE 16th International Conference on Intelligent Engineering Systems (INES), 2012
The paper gives an overview of the current computer hardware trends and software issues. The optimal utilization of a multiprogrammed environment with multi-core processors is an extremely complex job. The scheduling in such an environment is an NP hard problem.
Daniel Kristof Kiss, Andras Rovidz
exaly   +2 more sources

B74-38 Operating Systems Theory

IEEE Transactions on Computers, 1974
According to the authors this book treats "the most important formal methods that have been applied to the study of operating systems algorithms." The emphasis of the book is on the mathematical analysis of models of computing systems, which means that there are several important methods and concepts in the theory of operating systems that are not ...
Forest Baskett, Robert Sedgewick
exaly   +2 more sources

Theory and practice in operating system design

Proceedings of the second symposium on Operating systems principles - SOSP '69, 1969
In designing an operating system one needs both theoretical insight and horse sense. Without the former, one designs an ad hoc mess; without the latter one designs an elephant in best Carrara marble (white, perfect, and immobile). We try in this paper to explore the provinces of the two needs, suggesting places where we think horse sense will always be
Roger M. Needham, David F. Hartley
openaire   +1 more source

A Shift Operator Approach to Bilinear System Theory

SIAM Journal on Control and Optimization, 1980
Using a transform representation, we present a bilinear realization theory for a Volterra series input–output map. The approach involves the definition of appropriate shift operators on linear spaces associated with the transforms of the kernals in the Volterra series.
openaire   +1 more source

On an algebraic theory of systems defined by convolution operators

Mathematical Systems Theory, 1975
For a large class of linear continuous-time systems including delay-differential systems, an algebraic theory is presented in terms of Noetherian operator rings generated from a finite number of elements belonging to a convolution algebra of distributions.
openaire   +1 more source

Systems Theory from an Operations Research Point of View

IEEE Transactions on Systems Science and Cybernetics, 1965
Operations Research's interest in systems is confined to normative aspects of systems which are at least partially self-controllable. A mathematical scheme is developed for representing the structure and behavior of such systems. By use of this scheme it is possible to isolate and measure inefficiencies caused by structure, communications, decision ...
S. Sankar Sengupta, Russell L. Ackoff
openaire   +1 more source

Supremum Operators and Computation of Supremal Elements in System Theory

SIAM Journal on Control and Optimization, 1999
The authors introduce constrained supremum and supremum operators to obtain a general procedure, the \(\Delta\)-method, for computing supremal elements of upper semilattices. They apply their procedure to some important examples in system theory. For example, in the computation of supremal controllable subpredicates they are led to a lookahead policy ...
Hashtrudi Zad, S.   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy