2695 search results - page 121 / 539 » A Visual Approach to Validating System Level Designs |
126
click to vote
JIRS
2007
15 years 3 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
124
Voted
VDA
2010
15 years 5 months ago
2010
The analysis of high-dimensional data is an important, yet inherently difficult problem. Projection techniques such as PCA, MDS, and SOM can be used to map high-dimensional data t...
139
click to vote
JAR
2006
15 years 3 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
113
Voted
VISUALIZATION
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we are presenting a novel architecture which allows rendering of large-shared dataset at interactive rates on an inexpensive workstation. The idea is based on view-d...
140
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...