2695 search results - page 451 / 539 » A Visual Approach to Validating System Level Designs |
142
Voted
ASPDAC
2012
ACM
13 years 10 months ago
2012
ACM
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
128
Voted
CAD
2008
Springer
15 years 2 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
131
click to vote
EWC
2010
15 years 1 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
118
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
118
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...