1151 search results - page 148 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
119
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
137
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
CAD has been traditionally used to assist in engineering design and modeling for representation, analysis and manufacturing. Advances in Information Technology and in Biomedicine ...
136
click to vote
IOLTS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Robust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
143
click to vote
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
Ever shrinking device sizes and innovative micro-architectural and circuit design techniques have made it possible to have multi-million transistor systems running at multi-gigahe...
138
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...