Novel pulsed and cw quantum cascade distributed feedback (QC-DFB) lasers operating near lambda = 8 mum were used for detection and quantification of trace gases in ambient air by means of sensitive
My thesis research involves implementing a text-oriented windowing system designed using the object-oriented run on a personal computer.
In this paper we address the question of designing complete assume-guarantee methods.
This paper introduces abstract program evaluation (APE) that, for certain kinds of evolutionary induction problems, abstractly captures the maximal set of a problem's fitness tests.
A conceptually simple and practically very useful form of data abstraction in model checking is variable hiding, which amounts to suppressing all information about a given set of variables.
The Software Defined Network (SDN) model depends on abstractions to separate the control plane from the packet forwarding plane.
Effective methods of program abstraction are necessary for the successful application of model checking in practice.
This paper provides a brief description, including a bibliography, of the SPIN2002 tutorial on abstraction in model checking of software.
We present a framework for automatic program abstraction that can be used for model checking any formula of the modal mu-calculus.
Loudness, Pitch and the Timbre of Musical Tones and Their Relation to the Intensity, the Frequency and the Overtone Structure.2 HARVEY FLETCHER.
