1151 search results - page 68 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
149
click to vote
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
142
click to vote
ISLPED
2005
ACM
15 years 11 months ago
2005
ACM
We describe an adiabatic microprocessor implemented with a reversible logic, nRERL [1]. We employed an 8-phase clocked power instead of 6-phase one to reduce the number of buffers...
156
click to vote
EGH
2005
Springer
15 years 11 months ago
2005
Springer
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...
153
click to vote
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
145
click to vote
ISSS
1995
IEEE
15 years 9 months ago
1995
IEEE
higher levels of abstraction, due to the still increasing design complexities that can be expected in the near future. Behavioral synthesis can play a key role in this prospect, as...