2935 search results - page 412 / 587 » An Integrated Approach to High Integrity Software Verificati... |
227
click to vote
IFIP
2007
Springer
16 years 12 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
157
click to vote
ICDE
2005
IEEE
15 years 12 months ago
2005
IEEE
It has been important to extend database management systems to support new requirements of applications and administration. We focus in this paper on the automatic tuning feature,...
169
click to vote
RTAS
2005
IEEE
15 years 11 months ago
2005
IEEE
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
166
click to vote
ARCS
2005
Springer
15 years 11 months ago
2005
Springer
Data fusion concepts are a necessary basis for utilizing complex networks of sensors. A key feature for a robust data fusion system is adaptivity, both to be fault-tolerant and to...
146
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...