Filters








91 Hits in 1.7 sec

The iMAX-432 object filing system

Fred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson
1981 Proceedings of the eighth symposium on Operating systems principles - SOSP '81  
The object filing system is that part of iMAX that implements a permanent reliable object store. In this paper we describe the key elements of the iMAX object filing system design.  ...  iMAX is the operating system for Intel's iAPX-432 computer system. The iAPX-4321 is an object-oriented multiprocessor architecture that supports capability-based addressing.  ...  Acknowledgements The iMAX design has benefited from the first author's involvement in the design and implementation of the Hydra object filing system.  ... 
doi:10.1145/800216.806602 dblp:conf/sosp/PollackKW81 fatcat:3yq2ebvse5c53cmwjydll3fs2i

iMAX

Kevin C. Kahn, William M. Corwin, T. Don Dennis, Herman D'Hooge, David E. Hubka, Linda A. Hutchins, John T. Montague, Fred J. Pollack
1981 Proceedings of the eighth symposium on Operating systems principles - SOSP '81  
The Intel iAPX 432 is an objectbased microcomputer which, together with its operating system iMAX, provides a multiprocessor computer system designed around the ideas of data abstraction, iMAX is implemented  ...  in Ada and provides, through its interface and facilities, an Ada view of the 432 system.  ...  Acknowledgements This work has benefited greatly from the creative environment generated by all of the members of ]ntel's Special Systems Operation.  ... 
doi:10.1145/800216.806601 dblp:conf/sosp/KahnCDDHHMP81 fatcat:lzeygaloqbaslcume7dur7mtnq

Storage area networking - Object-based storage

M. Mesnier, G.R. Ganger, E. Riedel
2003 IEEE Communications Magazine  
We would also like to thank the members of the SNIA OSD technical work group for their regular meetings and conference calls in which many of the arguments presented in this article were formed.  ...  ACKNOWLEDGMENTS The authors would like to thank the IEEE reviewers for their comments and suggestions, and Chenxi Wang (CMU) for her initial review.  ...  RELATED WORK Primitive forms of object-based storage can be found in the early work (circa 1980) on objectoriented operating systems, including the Hydra OS from Carnegie Mellon [6] and the iMAX-432  ... 
doi:10.1109/mcom.2003.1222722 fatcat:75sws52xgbcafb4cr6ybplmaaq

Proof of correctness of data representations

C. A. R. Hoare
1972 Acta Informatica  
The objective of our research is to assess the benefits (in terms of programmability) and the costs (in terms of necessary support) of our system architecture.  ...  We feel we have gained insights on a number of questions of relevance well beyond Eden or Eden-like systems. * How should the job of supporting a system such as Eden be divided between the kernel, the  ...  Sanislo deserves special mention for managing the development of Newark and of Eden 1.0. J. Browne, P. Hibbard, J. Morris, and J.  ... 
doi:10.1007/bf00289507 fatcat:uqe6ihben5cfldqzfn2n5heeqq

The Eden System: A Technical Review

G.T. Almes, A.P. Black, E.D. Lazowska, J.D. Noe
1985 IEEE Transactions on Software Engineering  
The objective of our research is to assess the benefits (in terms of programmability) and the costs (in terms of necessary support) of our system architecture.  ...  We feel we have gained insights on a number of questions of relevance well beyond Eden or Eden-like systems. * How should the job of supporting a system such as Eden be divided between the kernel, the  ...  Sanislo deserves special mention for managing the development of Newark and of Eden 1.0. J. Browne, P. Hibbard, J. Morris, and J.  ... 
doi:10.1109/tse.1985.231536 fatcat:mjnnitsw2nfmxc2vgrexa4nabu

Proof of correctness of data representations [chapter]

C. A. R. Hoare
1976 Lecture Notes in Computer Science  
The objective of our research is to assess the benefits (in terms of programmability) and the costs (in terms of necessary support) of our system architecture.  ...  We feel we have gained insights on a number of questions of relevance well beyond Eden or Eden-like systems. * How should the job of supporting a system such as Eden be divided between the kernel, the  ...  Sanislo deserves special mention for managing the development of Newark and of Eden 1.0. J. Browne, P. Hibbard, J. Morris, and J.  ... 
doi:10.1007/3-540-07994-7_54 fatcat:gir3szny6bft7mxlr2sp6lnara

Proof of Correctness of Data Representations [chapter]

C. A. R. Hoare
1978 Programming Methodology  
The objective of our research is to assess the benefits (in terms of programmability) and the costs (in terms of necessary support) of our system architecture.  ...  We feel we have gained insights on a number of questions of relevance well beyond Eden or Eden-like systems. * How should the job of supporting a system such as Eden be divided between the kernel, the  ...  Sanislo deserves special mention for managing the development of Newark and of Eden 1.0. J. Browne, P. Hibbard, J. Morris, and J.  ... 
doi:10.1007/978-1-4612-6315-9_20 fatcat:vhfw54cz7bddrehxdzxykzv4pu

Proof of Correctness of Data Representations [chapter]

C. A. R. Hoare
2002 Software Pioneers  
The objective of our research is to assess the benefits (in terms of programmability) and the costs (in terms of necessary support) of our system architecture.  ...  We feel we have gained insights on a number of questions of relevance well beyond Eden or Eden-like systems. * How should the job of supporting a system such as Eden be divided between the kernel, the  ...  Sanislo deserves special mention for managing the development of Newark and of Eden 1.0. J. Browne, P. Hibbard, J. Morris, and J.  ... 
doi:10.1007/978-3-642-59412-0_24 fatcat:bqgb6uzpajc23azyg5bbnfoslu

Proof of Correctness of Data Representations [chapter]

C. A. R. Hoare
1972 Pioneers and Their Contributions to Software Engineering  
The objective of our research is to assess the benefits (in terms of programmability) and the costs (in terms of necessary support) of our system architecture.  ...  We feel we have gained insights on a number of questions of relevance well beyond Eden or Eden-like systems. * How should the job of supporting a system such as Eden be divided between the kernel, the  ...  Sanislo deserves special mention for managing the development of Newark and of Eden 1.0. J. Browne, P. Hibbard, J. Morris, and J.  ... 
doi:10.1007/978-3-642-48354-7_18 fatcat:lipxlnjokza6vkq4kbjmfawq64

Dhrystone: a synthetic systems programming benchmark

Reinhold P. Weicker
1984 Communications of the ACM  
The author wants to thank Justin Rattner and Christian Ritscher for their critical reading and helpful suggestions.  ...  in Ada. • iMAX 432 Data [28] Static data were collected from iMAX 432, the operating system for Intel's "Micromainframe" iAPX 432 (10,081 statements, 518 procedures, and 142 packages in 131 compilation  ...  The system is written in Ada, and the programming style reflects the "object orientation" of the iAPX 432.  ... 
doi:10.1145/358274.358283 fatcat:4oelazxrjrgcbnufxlvwwzovnq

Using syntactic dependency as local context to resolve word sense ambiguity

Dekang Lin
1997 Proceedings of the 35th annual meeting on Association for Computational Linguistics -  
The algorithm does not require a sense-tagged corpus and exploits the fact that two different words are likely to have similar meanings if they occur in identical local contexts.  ...  We present an algorithm that uses the same knowledge sources to disambiguate different words.  ...  Acknowledgement This research has also been partially supported by NSERC Research Grant 0GP121338 and by the Institute for Robotics and Intelligent Systems.  ... 
doi:10.3115/976909.979626 dblp:conf/acl/Lin97 fatcat:akrafgepdna6rk4idfoopue4x4

Revisiting virtual memory for high performance computing on manycore architectures

Yuki Soma, Balazs Gerofi, Yutaka Ishikawa
2014 Proceedings of the 4th International Workshop on Runtime and Operating Systems for Supercomputers - ROSS '14  
Certain system calls issued by the application running over the thin segmentation kernel are offloaded to the paging kernel.  ...  Page-based memory management (paging) is utilized by most of the current operating systems (OSs) due to its rich features such as prevention of memory fragmentation and finegrained access control.  ...  Acknowledgment This work has been partially supported by the CREST project of the Japan Science and Technology Agency (JST) and by the National Project of Ministry of Education, Culture, Sports, Science  ... 
doi:10.1145/2612262.2612264 dblp:conf/ics/SomaGI14 fatcat:w5urbteypngltduwe2oxd5uu5m

Color Processing for Digital Cinema 1: Background, Encoding and Decoding Equations, Encoding Primaries, and the Exponent (1/2.6)

Thomas O. Maier
2007 SMPTE Motion Imaging Journal  
The overarching objective is to define a system in which an image will be displayed in any theater by any projector and the result will be the same within a reasonable set of tolerances.  ...  In order to achieve this objective, there are three elements of the system that have to be defined: (1) the relationship between the code values and the encoded color, (2) the measurement of the light  ... 
doi:10.5594/j16048 fatcat:cl3xw52ayrevbp2uevpkm6nvxa

A mechanism for the activation of the mechanosensitive Piezo1 channel by the small molecule Yoda1

Wesley M. Botello-Smith, Wenjuan Jiang, Han Zhang, Alper D. Ozkan, Yi-Chun Lin, Christine N. Pham, Jérôme J. Lacroix, Yun Luo
2019 Nature Communications  
Our simulations further indicate that the presence of the agonist correlates with increased tension-induced motions of the Yoda1-bound subunit.  ...  The identification of an allosteric agonist binding site in Piezo1 channels will pave the way for the rational design of future Piezo modulators with clinical value.  ...  The pdb file of the all-atom mouse Piezo1 model and simulation input files used for this study are available at: https://github.com/LynaLuo-Lab/Piezo1all-atom-model. Acknowledgements  ... 
doi:10.1038/s41467-019-12501-1 pmid:31582801 pmcid:PMC6776524 fatcat:kgomenx5obdvji4aiu7yzgdudq

Analytical model assessing the effect of increased traffic flow intensities on the road administration, maintenance and lifetime

Jiří Hanzl
2019 Open Engineering  
The aim of this paper is to introduce the reader to the construction of an analytical model assessing the effect of increased traffic intensities on extraordinary road traffic events on the amount of expenditures  ...  In the final part of the paper the applicability of this model in practice is assessed and some negatives that are not included in the final calculation when determining the total costs of the road administrator  ...  These databases (norms) indicate for each item of the file its price according to the defined standard per unit.  ... 
doi:10.1515/eng-2019-0045 fatcat:wswzyqm7kjbodeekjlbdlkgkcy
« Previous Showing results 1 — 15 out of 91 results