Sciweavers

11716 search results - page 2124 / 2344
» Computable symbolic dynamics
Sort
View
SERVICES
2010
233views more  SERVICES 2010»
13 years 5 months ago
Odin: Context-Aware Middleware for Mobile Services
Abstract--Mobile devices such as smart phones are increasing permeating society. With strides in computational power, coupled with the ability to connect to other small devices, sm...
Thiranjith Weerasinghe, Ian Warren
SIAMADS
2010
97views more  SIAMADS 2010»
13 years 5 months ago
Localized Instability and Attraction along Invariant Manifolds
Abstract. We derive a simple criterion for transverse instabilities along a general invariant manifold of a multidimensional dynamical system. The criterion requires an appropriate...
George Haller, Themistoklis Sapsis
TCAD
2010
168views more  TCAD 2010»
13 years 5 months ago
An MILP-Based Performance Analysis Technique for Non-Preemptive Multitasking MPSoC
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
Hoeseok Yang, Sungchan Kim, Soonhoi Ha
TIM
2010
144views Education» more  TIM 2010»
13 years 5 months ago
Extending Polynomial Chaos to Include Interval Analysis
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
Antonello Monti, Ferdinanda Ponci, Marco Valtorta
TIT
2010
97views Education» more  TIT 2010»
13 years 5 months ago
Periodic orbits and equilibria in glass models for gene regulatory networks
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
Igor Zinovik, Yury Chebiryak, Daniel Kroening
« Prev « First page 2124 / 2344 Last » Next »