1617 search results - page 88 / 324 » Modeling and evaluation of hardware software designs |
149
click to vote
ISLPED
2009
ACM
16 years 27 days ago
2009
ACM
This paper presents an evaluation to determine the importance of the accurate thermal characterization for several elements of a semiconductor device. Specifically, it evaluates ...
145
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
169
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
142
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
178
click to vote
IPPS
2008
IEEE
16 years 23 days ago
2008
IEEE
This paper develops a plug-and-play reusable LogGP model that can be used to predict the runtime and scaling behavior of different MPI-based pipelined wavefront applications runni...