1926 search results - page 144 / 386 » Modeling and Model Checking Software Product Lines |
177
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...
170
click to vote
METRICS
2005
IEEE
15 years 12 months ago
2005
IEEE
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
177
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
147
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
189
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...