Sciweavers

2171 search results - page 79 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
ATAL
2006
Springer
15 years 8 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
RV
2010
Springer
177views Hardware» more  RV 2010»
15 years 3 months ago
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
Etienne Kneuss, Philippe Suter, Viktor Kuncak
147
Voted
ISRR
2001
Springer
109views Robotics» more  ISRR 2001»
15 years 9 months ago
Probabilistic Adaptive Agent Based System for Dynamic State Estimation using Multiple Visual Cues
Most of current machine vision systems suffer from a lack of flexibility to account for the high variability of unstructured environments. Here, as the state of the world evolves ...
Alvaro Soto, Pradeep K. Khosla
JIRS
2008
100views more  JIRS 2008»
15 years 4 months ago
Model-based Predictive Control of Hybrid Systems: A Probabilistic Neural-network Approach to Real-time Control
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
Bostjan Potocnik, Gasper Music, Igor Skrjanc, Boru...
GLVLSI
2010
IEEE
156views VLSI» more  GLVLSI 2010»
15 years 9 months ago
A multi-level approach to reduce the impact of NBTI on processor functional units
NBTI is one of the most important silicon reliability problems facing processor designers today. The impact of NBTI can be mitigated at both the circuit and microarchitecture leve...
Taniya Siddiqua, Sudhanva Gurumurthi