1151 search results - page 128 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
185
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
136
click to vote
AIEDAM
2007
15 years 4 months ago
2007
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
132
click to vote
CHI
2005
ACM
15 years 6 months ago
2005
ACM
HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used ...
149
click to vote
CSMR
2002
IEEE
15 years 9 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
131
click to vote
RECOSOC
2007
15 years 5 months ago
2007
Electronic equipments with higher performance, lower power consumption, and smaller size motivate the research for more efficient design methods. Platform-based design is a method...