266 search results - page 38 / 54 » Combining Software and Hardware Verification Techniques |
138
Voted
MICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
130
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
134
Voted
AISC
1998
Springer
15 years 6 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
117
click to vote
ITNG
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
125
Voted
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...