Sciweavers

13489 search results - page 415 / 2698
» Self-migration of operating systems
Sort
View
JCP
2008
155views more  JCP 2008»
15 years 7 months ago
Algorithm to Optimize Code Size and Energy Consumption in Real Time Embedded System
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
Santosh D. Chede, Kishore D. Kulat
EAAI
2007
101views more  EAAI 2007»
15 years 7 months ago
Fault detection for nonlinear systems with uncertain parameters based on the interval fuzzy model
In the paper an application of the interval fuzzy model (INFUMO) in fault detection for nonlinear systems with uncertain intervaltype parameters is presented. A confidence band f...
Simon Oblak, Igor Skrjanc, Saso Blazic
ENGL
2007
101views more  ENGL 2007»
15 years 7 months ago
Fault Tolerant Multi-Agent Systems: its communication and cooperation
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...
Arnulfo Alanis Garza, Juan José Serrano, Ra...
220
Voted
ENTCS
2007
135views more  ENTCS 2007»
15 years 7 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
ENTCS
2007
100views more  ENTCS 2007»
15 years 7 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira