2251 search results - page 169 / 451 » Specification and Implementation Problems for C |
142
click to vote
POLICY
2005
Springer
15 years 9 months ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
127
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
101
click to vote
MICCAI
2009
Springer
16 years 5 months ago
2009
Springer
We propose to use the sparseness property of the gradient probability distribution to estimate the intensity nonuniformity in medical images, resulting in two novel automatic metho...
147
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
115
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
: We propose a novel evolutionary approach to the problem of timing-driven FPGA placement. The method used is evolutionary programming (EP) with incremental position encoded in the...