2129 search results - page 229 / 426 » Cutting-Edge Timing Analysis Techniques |
184
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new visualization of the distance and cluster structure of high dimensional data. It is particularly well suited for analysis tasks of users unfamiliar with complex d...
209
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
197
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
175
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...
179
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
Current visualization tools lack the ability to perform fullrange spatial and temporal analysis on terascale scientific datasets. Two key reasons exist for this shortcoming: I/O ...