Results 11  20
of
3,529
Convex Analysis
, 1970
"... In this book we aim to present, in a unified framework, a broad spectrum of mathematical theory that has grown in connection with the study of problems of optimization, equilibrium, control, and stability of linear and nonlinear systems. The title Variational Analysis reflects this breadth. For a lo ..."
Abstract

Cited by 5411 (68 self)
 Add to MetaCart
long time, ‘variational ’ problems have been identified mostly with the ‘calculus of variations’. In that venerable subject, built around the minimization of integral functionals, constraints were relatively simple and much of the focus was on infinitedimensional function spaces. A major theme
Towards periodic budgeting in realtime calculus
, 2006
"... In this report, we extend the realtime calculus model with a periodic budgeting mechanism known as deferrable service. Based on this extended model, we prove a schedulability theorem for a realtime task under a deferrable server. Using this theorem, we show by means of an example that existing sch ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In this report, we extend the realtime calculus model with a periodic budgeting mechanism known as deferrable service. Based on this extended model, we prove a schedulability theorem for a realtime task under a deferrable server. Using this theorem, we show by means of an example that existing
A MultiMode RealTime Calculus
"... The RealTime Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., RealTime Systems 29(23), 2005] and a number of other papers is geared towards the analysis of realtime systems that process various types of streaming data. The main s ..."
Abstract

Cited by 17 (6 self)
 Add to MetaCart
The RealTime Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., RealTime Systems 29(23), 2005] and a number of other papers is geared towards the analysis of realtime systems that process various types of streaming data. The main
A Probabilistic RealTime Calculus for Performance Evaluation
, 1999
"... In this paper we develop a probabilistic realtime calculus for performance evaluation. The calculus applies a simple generative model of probabilities. Next to probabilistic action transitions, probabilistic time transitions are supported. An operational characterization is given in terms of a labe ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
In this paper we develop a probabilistic realtime calculus for performance evaluation. The calculus applies a simple generative model of probabilities. Next to probabilistic action transitions, probabilistic time transitions are supported. An operational characterization is given in terms of a
A MultiMode RealTime Calculus
"... The RealTime Calculus (RTC) framework proposed in [5, 16] and subsequently extended [17, 18] is targeted towards analyzing heterogeneous realtime systems that process various types of streaming data. The main strength of RTC is a countbased abstraction, where arrival patterns of event streams ar ..."
Abstract
 Add to MetaCart
The RealTime Calculus (RTC) framework proposed in [5, 16] and subsequently extended [17, 18] is targeted towards analyzing heterogeneous realtime systems that process various types of streaming data. The main strength of RTC is a countbased abstraction, where arrival patterns of event streams
A Timed Calculus for Distributed Objects with Clocks
 PROCEEDINGS OF THE 7TH EUROPEAN CONFERENCE ON OBJECT ORIENTED PROGRAMMING
, 1993
"... This paper proposes a formalism for reasoning about distributed objectoriented computations. The formalism is an extension of Milner's CCS with the notion of local time. It allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions a ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
This paper proposes a formalism for reasoning about distributed objectoriented computations. The formalism is an extension of Milner's CCS with the notion of local time. It allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions
Modeling Fixed Priority NonPreemptive Scheduling with RealTime Calculus
"... Modern realtime embedded systems are highly heterogeneous and distributed. As a result, compositional methods play an important role in the design and analysis of such complex systems. One such compositional analysis method is based on RealTime Calculus [4, 14]. In this paper, we present an ana ..."
Abstract
 Add to MetaCart
Modern realtime embedded systems are highly heterogeneous and distributed. As a result, compositional methods play an important role in the design and analysis of such complex systems. One such compositional analysis method is based on RealTime Calculus [4, 14]. In this paper, we present
The Geometry of Dissipative Evolution Equations: The Porous Medium Equation
"... We show that the porous medium equation has a gradient flow structure which is both physically and mathematically natural. In order to convince the reader that it is mathematically natural, we show the time asymptotic behavior can be easily understood in this framework. We use the intuition and the ..."
Abstract

Cited by 405 (11 self)
 Add to MetaCart
We show that the porous medium equation has a gradient flow structure which is both physically and mathematically natural. In order to convince the reader that it is mathematically natural, we show the time asymptotic behavior can be easily understood in this framework. We use the intuition
Enabling Parametric Feasibility Analysis in Realtime Calculus Driven Performance Evaluation
"... This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with realtime constraints. We propose a hierarchical approach that couples the independent and different by nature frameworks of Modular Performance Analysis with Real ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Calculus (MPA RTC) and Parametric Feasibility Analysis (PFA). Recent work on Realtime Calculus (RTC) has established an embedding of state based component models into RTCdriven performance analysis for dealing with more expressive component models. However, with the obtained analysis infrastructure
A probabilistic polynomialtime calculus for analysis of cryptographic protocols
 Electronic Notes in Theoretical Computer Science
, 2001
"... We prove properties of a process calculus that is designed for analyzing security protocols. Our longterm goal is to develop a form of protocol analysis, consistent with standard cryptographic assumptions, that provides a language for expressing probabilistic polynomialtime protocol steps, a spec ..."
Abstract

Cited by 48 (8 self)
 Add to MetaCart
We prove properties of a process calculus that is designed for analyzing security protocols. Our longterm goal is to develop a form of protocol analysis, consistent with standard cryptographic assumptions, that provides a language for expressing probabilistic polynomialtime protocol steps, a
Results 11  20
of
3,529