4451 search results - page 51 / 891 » Continuous model synthesis |
70
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
—This conceptual paper proposes that Honda’s innovative prowess of producing both radical and disruptive innovations within their aerospace and automotive/pick-up truck develop...
FPL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Hardware realization of kernel loops holds the promise of accelerating the overall application performance and is therefore an important part of the synthesis process. In...
79
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
CODES
2003
IEEE
15 years 6 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...
IDEAS
2002
IEEE
15 years 5 months ago
2002
IEEE
Based on the recent progress of digital cartography, global positioning systems (GPSs), and hand-held devices, there are growing needs of technology that provides neighborhood inf...