1880 search results - page 83 / 376 » A Static Analysis for Beta-Binders |
142
click to vote
ATS
2003
IEEE
15 years 11 months ago
2003
IEEE
The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all ...
162
click to vote
PAMI
2000
15 years 5 months ago
2000
We describe new techniques to detect and analyze periodic motion as seen from both a static and moving camera. By tracking objects of interest, we compute an object's self-si...
163
click to vote
TEC
2002
15 years 5 months ago
2002
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...
167
click to vote
FAC
2010
15 years 4 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
143
click to vote
JSS
2002
15 years 5 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...