1446 search results - page 19 / 290 » Formal analysis of hardware requirements |
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits. The paper first proposes a ...
WER
1998
Springer
14 years 3 days ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
ICCD
2007
IEEE
14 years 4 months ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
ACSD
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...