2702 search results - page 351 / 541 » Practically Applicable Formal Methods |
117
click to vote
ASPDAC
1999
ACM
15 years 6 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
112
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
We introduce the associative skew clock routing problem, which seeks a clock routing tree such that zero skew is preserved only within identified groups of sinks. The associative ...
118
click to vote
CAIP
1999
Springer
15 years 6 months ago
1999
Springer
In this paper an approach is presented for robust shift detection of two given images. The new unifying idea is that we determine a shifted delta impulse using some well-known res...
129
click to vote
IWPC
1998
IEEE
15 years 6 months ago
1998
IEEE
In this study, we conducted a survey to generate archetypes of source code searching by programmers across maintenance tasks. Using a questionnaire on a web page, we obtained 69 r...
119
Voted
VISUALIZATION
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...