Sciweavers

2670 search results - page 354 / 534
» Modeling systems with internal state using evolino
Sort
View
SIAMCOMP
2002
98views more  SIAMCOMP 2002»
15 years 6 months ago
Self-Stabilizing Symmetry Breaking in Constant Space
abstract Alain Mayer Yoram Ofeky Rafail Ostrovskyz Moti Yungx We investigate the problem of self-stabilizing round-robin token management scheme on an anonymous bidirectional ring...
Alain J. Mayer, Rafail Ostrovsky, Yoram Ofek, Moti...
184
Voted
ICAC
2007
IEEE
16 years 1 months ago
Autonomic Reactive Systems via Online Learning
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
Sanjit A. Seshia
EMSOFT
2006
Springer
15 years 10 months ago
Real-time interfaces for composing real-time systems
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov
IJBC
2008
98views more  IJBC 2008»
15 years 7 months ago
Slow Invariant Manifolds as Curvature of the Flow of Dynamical Systems
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
Jean-Marc Ginoux, Bruno Rossetto, Leon O. Chua
COMPSAC
2002
IEEE
16 years 2 days ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins