1151 search results - page 63 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
120
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
105
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— At system level, intensively analyzing the system application will produce a variety of useful characteristics and provide designers valuable exploration indications. In this p...
112
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
138
click to vote
ICCD
2005
IEEE
16 years 27 days ago
2005
IEEE
— Since rapid progress has been made in device improvement and integration of small carbon nanotube fieldeffect transistors (CNFETs) circuits, the time has come for developing c...
116
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...