7167 search results - page 82 / 1434 » A Technique for Invariant Generation |
185
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
We propose a new network layer mobility architecture called MOBILENAT to efficiently support micro and macro-mobility in and across heterogeneous address spaces common in emergin...
167
click to vote
BMVC
2002
15 years 8 months ago
2002
The fusion of images is the process of combining two or more images into a single image retaining important features from each. Fusion is an important technique within many dispar...
273
click to vote
WIRN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
156
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
143
click to vote
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...