The Experts below are selected from a list of 192 Experts worldwide ranked by ideXlab platform
Richard J Lipton - One of the best experts on this subject based on the ideXlab platform.
-
Gamma System continuous evolution of software after deployment
International Symposium on Software Testing and Analysis, 2002Co-Authors: Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J LiptonAbstract:In this paper, we present the G AMMA System, which facilitates remote monitoring of deployed software using a new approach that exploits the opportunities presented by a software product being used by many users connected through a network. G AMMA splits monitoring tasks across different instances of the software, so that partial information can be collected from different users by means of light-weight instrumentation, and integrated to gather the overall monitoring information. This System enables software producers (1) to perform continuous, minimally intrusive analyses of their software's behavior, and (2) to use the information thus gathered to improve and evolve their software.
-
ISSTA - Gamma System: continuous evolution of software after deployment
Proceedings of the international symposium on Software testing and analysis - ISSTA '02, 2002Co-Authors: Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J LiptonAbstract:In this paper, we present the G AMMA System, which facilitates remote monitoring of deployed software using a new approach that exploits the opportunities presented by a software product being used by many users connected through a network. G AMMA splits monitoring tasks across different instances of the software, so that partial information can be collected from different users by means of light-weight instrumentation, and integrated to gather the overall monitoring information. This System enables software producers (1) to perform continuous, minimally intrusive analyses of their software's behavior, and (2) to use the information thus gathered to improve and evolve their software.
Remco J. Wiegerink - One of the best experts on this subject based on the ideXlab platform.
-
Variable-Gamma circuit for colour television based on the MOS voltage-translinear principle
Analog Integrated Circuits and Signal Processing, 1996Co-Authors: Remco J. Wiegerink, H. Ten Pierick, C. Jaspers, W. De Haan, D. De GreefAbstract:In this paper a variable-Gamma System is discussed for application in high-quality colour television receivers. A variable-Gamma System can significantly improve the quality of the video image by enhancing the contrast in darker parts of the image without degrading the lighter areas of the screen. The adjustment of Gamma can replace the traditional contrast and intensity adjustments.
-
Variable-Gamma circuit for colour television based on the MOS voltage-translinear principle
Analog Integrated Circuits and Signal Processing, 1996Co-Authors: Remco J. Wiegerink, H. Ten Pierick, C. Jaspers, W. De Haan, D. De GreefAbstract:In this paper a variable-Gamma System is discussed for application in high-quality colour television receivers. A variable-Gamma System can significantly improve the quality of the video image by enhancing the contrast in darker parts of the image without degrading the lighter areas of the screen. The adjustment of Gamma can replace the traditional contrast and intensity adjustments. The main part of the variable-Gamma System is a nonlinear function block, which is implemented by an MOS translinear (MTL) circuit. This circuit was realized in a standard 2.5 μm CMOS process. The circuit operates at a single 5V supply voltage. The measured small-signal-3dB bandwidth is 20MHz. The circuit response is insensitive to temperature, which is an important property of translinear circuits.
-
Application: Variable-Gamma Circuit for Colour Television
Analysis and Synthesis of MOS Translinear Circuits, 1993Co-Authors: Remco J. WiegerinkAbstract:In this chapter the use of the computer program MTLPLOT as a design tool for MOS translinear circuits is illustrated with the synthesis of a circuit that realizes the inverse hyperbolic sine function. The circuit is part of a so-called variable Gamma System that will be implemented in future high-quality television equipment.
Brian Williams - One of the best experts on this subject based on the ideXlab platform.
-
The Virasoro vertex algebra and factorization algebras on Riemann surfaces
Letters in Mathematical Physics, 2017Co-Authors: Brian WilliamsAbstract:This paper focuses on the connection of holomorphic two-dimensional factorization algebras and vertex algebras which has been made precise in the forthcoming book of Costello–Gwilliam. We provide a construction of the Virasoro vertex algebra starting from a local Lie algebra on the complex plane. Moreover, we discuss an extension of this factorization algebra to a factorization algebra on the category of Riemann surfaces. The factorization homology of this factorization algebra is computed as the correlation functions. We provide an example of how the Virasoro factorization algebra implements conformal symmetry of the beta–Gamma System using the method of effective BV quantization.
-
Chiral differential operators via Batalin-Vilkovisky quantization
arXiv: Quantum Algebra, 2016Co-Authors: Vassily Gorbounov, Brian Williams, Owen GwilliamAbstract:We show that the local observables of the curved beta Gamma System encode the sheaf of chiral differential operators using the machinery of the book "Factorization algebras in quantum field theory", by Kevin Costello and the second author, which combines renormalization, the Batalin-Vilkovisky formalism, and factorization algebras. Our approach is in the spirit of deformation quantization via Gelfand-Kazhdan formal geometry. We begin by constructing a quantization of the beta Gamma System with an n-dimensional formal disk as the target. There is an obstruction to quantizing equivariantly with respect to the action of formal vector fields on the target disk, and it is naturally identified with the first Pontryagin class in Gelfand-Fuks cohomology. Any trivialization of the obstruction cocycle thus yields an equivariant quantization with respect to an extension of formal vector fields by the closed 2-forms on the disk. By results in the book listed above, we then naturally obtain a factorization algebra of quantum observables, which has an associated vertex algebra easily identified with the formal beta Gamma vertex algebra. Next, we introduce a version of Gelfand-Kazhdan formal geometry suitable for factorization algebras, and we verify that for a complex manifold with trivialized first Pontryagin class, the associated factorization algebra recovers the vertex algebra of CDOs on the complex manifold.
D. De Greef - One of the best experts on this subject based on the ideXlab platform.
-
Variable-Gamma circuit for colour television based on the MOS voltage-translinear principle
Analog Integrated Circuits and Signal Processing, 1996Co-Authors: Remco J. Wiegerink, H. Ten Pierick, C. Jaspers, W. De Haan, D. De GreefAbstract:In this paper a variable-Gamma System is discussed for application in high-quality colour television receivers. A variable-Gamma System can significantly improve the quality of the video image by enhancing the contrast in darker parts of the image without degrading the lighter areas of the screen. The adjustment of Gamma can replace the traditional contrast and intensity adjustments.
-
Variable-Gamma circuit for colour television based on the MOS voltage-translinear principle
Analog Integrated Circuits and Signal Processing, 1996Co-Authors: Remco J. Wiegerink, H. Ten Pierick, C. Jaspers, W. De Haan, D. De GreefAbstract:In this paper a variable-Gamma System is discussed for application in high-quality colour television receivers. A variable-Gamma System can significantly improve the quality of the video image by enhancing the contrast in darker parts of the image without degrading the lighter areas of the screen. The adjustment of Gamma can replace the traditional contrast and intensity adjustments. The main part of the variable-Gamma System is a nonlinear function block, which is implemented by an MOS translinear (MTL) circuit. This circuit was realized in a standard 2.5 μm CMOS process. The circuit operates at a single 5V supply voltage. The measured small-signal-3dB bandwidth is 20MHz. The circuit response is insensitive to temperature, which is an important property of translinear circuits.
Alessandro Orso - One of the best experts on this subject based on the ideXlab platform.
-
Gamma System continuous evolution of software after deployment
International Symposium on Software Testing and Analysis, 2002Co-Authors: Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J LiptonAbstract:In this paper, we present the G AMMA System, which facilitates remote monitoring of deployed software using a new approach that exploits the opportunities presented by a software product being used by many users connected through a network. G AMMA splits monitoring tasks across different instances of the software, so that partial information can be collected from different users by means of light-weight instrumentation, and integrated to gather the overall monitoring information. This System enables software producers (1) to perform continuous, minimally intrusive analyses of their software's behavior, and (2) to use the information thus gathered to improve and evolve their software.
-
ISSTA - Gamma System: continuous evolution of software after deployment
Proceedings of the international symposium on Software testing and analysis - ISSTA '02, 2002Co-Authors: Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J LiptonAbstract:In this paper, we present the G AMMA System, which facilitates remote monitoring of deployed software using a new approach that exploits the opportunities presented by a software product being used by many users connected through a network. G AMMA splits monitoring tasks across different instances of the software, so that partial information can be collected from different users by means of light-weight instrumentation, and integrated to gather the overall monitoring information. This System enables software producers (1) to perform continuous, minimally intrusive analyses of their software's behavior, and (2) to use the information thus gathered to improve and evolve their software.
