1617 search results - page 13 / 324 » Modeling and evaluation of hardware software designs |
109
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
124
click to vote
JCP
2008
15 years 4 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
130
Voted
MICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...
144
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
147
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...