1151 search results - page 73 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
132
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—It is generally acknowledged that nanoelectronics will eventually replace traditional silicon CMOS in high-performance integrated circuits. To that end, considerable investments...
120
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
160
click to vote
SIES
2009
IEEE
15 years 10 months ago
2009
IEEE
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
124
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
137
Voted
SMA
2008
ACM
15 years 3 months ago
2008
ACM
Quadrangular remeshing of triangulated surfaces has received an increasing attention in recent years. A particularly elegant approach is the extraction of quads from the streamlin...