- Subtypes for specifications: predicate subtyping in PVS
- A specification language used in the context of an effective theorem prover can provide novel features that enhance precision and expressiveness. In particular, type checking for the language can exploit the services of the theorem prover. We describe a feature called "predicate subtyping" that uses this capability and illustrate its utility as mec....
- Authors:Rushby;J.;Owre;S.;Shankar;N.Publisher:Software Engineering;IEEE Transactions onConference Date:22-25 Sept. 1997ISSN:0098-5589Total Page:
- The Effect Of Heat Exchanger Parameters On Performance Predictions For Nonazeotropic Refrigerant Mixtures In Liquid-liquid Heat Pumps
- Authors:Stanger;S.;Den Braven;K.R.;Owre;T.-A.S.Publisher:Energy Conversion Engineering Conference;1990. IECEC-90. Proceedings of the 25th IntersocietyConference Date:August 12-17;1990ISSN:0-8169-0490-1Total Page:
- A new integrated BWR supervision and control system
- This paper describes research activities at the Halden Project's Man-Machine Laboratory, HAMMLAB related to development of a new integrated BWR supervision and control system. A new advanced BWR simulator (HAMBO) was installed in HAMMLAB in the summer 2000, and has since been utilised in the Halden Project research programme, and in programmes fund....
- Authors:Owre;F.;Kvalem;J.;Karlsson;T.;Nihlwing;C.Publisher:Human Factors and Power Plants;2002. Proceedings of the 2002 IEEE 7th Conference onConference Date:15-19 Sept. 2002ISSN:0-7803-7450-9Total Page:x+312
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
- PVS is the most recent in a series of verification systems developed at SRI. Its design was strongly influenced, and later refined, by our experiences in developing formal specifications and mechanically checked verifications for the fault-tolerant architecture, algorithms, and implementations of a model "reliable computing platform" (RCP) for life....
- Authors:Owre;S.;Rushby;J.;Shankar;N.;von Henke;F.Publisher:Software Engineering;IEEE Transactions onConference Date:ISSN:0098-5589Total Page:
- The experimental evaluation of the success path monitoring system
- The success path monitoring system (SPMS) is an advanced computer-based operator aid which is intended to enhance the operator's ability to handle plant disturbances effectively. It achieves this by providing an online assessment of both the status of critical safety functions and the status of appropriate success paths. A prototype version of SPMS....
- Authors:Marshall;E.C.;Baker;S.M.;Reiersen;C.S.;Owre;F.;Gaudio;P.J.;Jr.Publisher:Human Factors and Power Plants;1988.;Conference Record for 1988 IEEE Fourth Conference onConference Date:5-9 June 1988ISSN:Total Page:xii+596
- IIR filters with reduced multipliers usin
- Analysis of I/O efficient order-statistic
- Adaptive weighted norm linear prediction
- Alternate windows for multi-window spectr
- Synthesis of spectral densities using fin
- Performance analysis for angle and polari
- Eigen based methods to jointly estimate f
- A new adaptive eigendecomposition algorit
- Design of signal-subspace cost functional
- Maximum likelihood DOA estimation and det
- Optimal generalized regularization approa
- On error function selection for the analy
- Codebook prediction: a nonlinear signal m
- Nonlinear signal processing using empiric
- An investigation of chaos-oriented dimens
- Modeling nonlinear time series
- Sequential optimization: robust subspace
- Estimation of the signal component of a d
- Statistical evaluation of beam-space dire
- Bearing estimation in a colored noise bac
- A new information-theoretic criterion for
- Detection of the number of signals in noi
- Robust CFAR detection in nonhomogeneous c
- Application of multi-window detection to
- Transient signal detection in unknown col