2465 search results - page 53 / 493 » An Adaptive Distributed System Based on Conditional Dependen... |
113
Voted
CADE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
OTM
2007
Springer
15 years 6 months ago
2007
Springer
After over thirty years of distributed computing, debugging distributed applications is still regarded as a difficult task. While it could be argued that this condition stems from ...
117
click to vote
ADBIS
2007
Springer
15 years 6 months ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
100
click to vote
CP
2007
Springer
15 years 6 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
113
click to vote
CAINE
2003
15 years 1 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...