Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
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 Lyapunov-theoretic 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 temporal-logic 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 General-Purpose Distributed Computing Systems
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
, 1988
"... One measure of usefulness of a general-purpose 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 10-Bit Monitor and Control System with ADC, DACs, Temperature Sensor, and GPIOs
"... 8 multiplexed analog input channels Single-ended 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 Single-ended 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 information-control strategies, and (c) these totalitarian-ego 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 information-control strategies, and (c) these totalitarian-ego 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
