Results 1  10
of
6,748
The program dependence graph and its use in optimization
 ACM Transactions on Programming Languages and Systems
, 1987
"... In this paper we present an intermediate program representation, called the program dependence graph (PDG), that makes explicit both the data and control dependence5 for each operation in a program. Data dependences have been used to represent only the relevant data flow relationships of a program. ..."
Abstract

Cited by 996 (3 self)
 Add to MetaCart
. Control dependence5 are introduced to analogously represent only the essential control flow relationships of a program. Control dependences are derived from the usual control flow graph. Many traditional optimizations operate more efficiently on the PDG. Since dependences in the PDG connect
A framework for information systems architecture.
 IBM Syst. J.,
, 1987
"... With increasing size and complexity of the implementations of information systems, it is necessary to use some logical construct (or architecture) for defining and controlling the interfaces and the integration of all of the components of the system. This paper defines information systems architect ..."
Abstract

Cited by 546 (0 self)
 Add to MetaCart
With increasing size and complexity of the implementations of information systems, it is necessary to use some logical construct (or architecture) for defining and controlling the interfaces and the integration of all of the components of the system. This paper defines information systems
Smooth Stabilization Implies Coprime Factorization
, 1989
"... This paper shows that coprime right factorizations exist for the input to state mapping of a continuous time nonlinear system provided that the smooth feedback stabilization problem be solvable for this system. In particular, it follows that feedback linearizable systems admit such factorizations. I ..."
Abstract

Cited by 472 (62 self)
 Add to MetaCart
. In order to establish the result a Lyapunovtheoretic definition is proposed for "bounded input bounded output" stability. The main technical fact proved relates the notion of stabilizability studied in the state space nonlinear control literature to a notion of stability under bounded control
HyTech: A Model Checker for Hybrid Systems
 Software Tools for Technology Transfer
, 1997
"... A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing conti ..."
Abstract

Cited by 473 (6 self)
 Add to MetaCart
for which a linear hybrid automaton satisfies a temporallogic requirement. 1 Introduction A hybrid system typically consists of a collection of digital programs that interact with each other and with an analog environment. Examples of hybrid systems include manufacturing controllers, automotive and flight
What's Decidable about Hybrid Automata?
 Journal of Computer and System Sciences
, 1995
"... . Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a boundar ..."
Abstract

Cited by 377 (16 self)
 Add to MetaCart
. Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a
Using GPIO Method
"... The Touch Sensing Software (TSS) solution transforms a standard Freescale microcontroller into a proximity capacitive touch sensor controller. In TSS 3.0 and higher versions, the touch sense library enables capacitive sensing not only for the ..."
Abstract
 Add to MetaCart
The Touch Sensing Software (TSS) solution transforms a standard Freescale microcontroller into a proximity capacitive touch sensor controller. In TSS 3.0 and higher versions, the touch sense library enables capacitive sensing not only for the
A Taxonomy of Scheduling in GeneralPurpose Distributed Computing Systems
 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 1988
"... One measure of usefulness of a generalpurpose distributed computing system is the system’s ability to provide a level of performance commensurate to the degree of multiplicity of resources present in the system. Many different approaches and metrics of performance have been proposed in an attempt t ..."
Abstract

Cited by 311 (0 self)
 Add to MetaCart
to achieve this goal in existing systems. In addition, analogous problem formulations exist in other fields such as control theory, operations research, and production management. However, due to the wide variety of approaches to this problem, it is difficult to meaningfully compare different systems since
Data Sheet 10Bit Monitor and Control System with ADC, DACs, Temperature Sensor, and GPIOs
"... 8 multiplexed analog input channels Singleended mode of operation Differential mode of operation 5 V analog input range V REF, 2 × V REF, or 4 × V REF input ranges Input measured with respect to A GND or V DD ..."
Abstract
 Add to MetaCart
8 multiplexed analog input channels Singleended mode of operation Differential mode of operation 5 V analog input range V REF, 2 × V REF, or 4 × V REF input ranges Input measured with respect to A GND or V DD
The Totalitarian Ego  Fabrication and Revision of Personal History
, 1980
"... This article argues that (a) ego, or self, is an organization of knowledge, (b) ego is characterized by cognitive biases strikingly analogous to totalitarian informationcontrol strategies, and (c) these totalitarianego biases junction to preserve organization in cognitive structures. Ego's c ..."
Abstract

Cited by 270 (8 self)
 Add to MetaCart
This article argues that (a) ego, or self, is an organization of knowledge, (b) ego is characterized by cognitive biases strikingly analogous to totalitarian informationcontrol strategies, and (c) these totalitarianego biases junction to preserve organization in cognitive structures. Ego
Computation of Piecewise Quadratic Lyapunov Functions for Hybrid Systems
 IEEE Transactions on Automatic Control
, 1998
"... . This paper presents a computational approach to stability analysis of nonlinear and hybrid systems. The search for a piecewise quadratic Lyapunov function is formulated as a convex optimization problem in terms of linear matrix inequalities. The relation to frequency domain methods such as the cir ..."
Abstract

Cited by 259 (4 self)
 Add to MetaCart
in systems theory. The most direct application is stability analysis, but analogous problems appear more or less implicitly also in performance analysis, controller synthesis and system identification. Consequently, methods for constructing Lyapunov functions for general nonlinear systems is of great
Results 1  10
of
6,748