1446 search results - page 206 / 290 » Formal analysis of hardware requirements |
LCN
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we develop adaptive metrics to identify stable links in a mobile wireless networking environment based on the analysis of link durations in several different mobili...
ASPDAC
2009
ACM
14 years 24 days ago
2009
ACM
—Multi-core microarchitectures require a careful balance between many competing objectives to achieve the highest possible performance. Integrated Early Analysis is the considera...
ISCC
2000
IEEE
14 years 15 days ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
SEE
1997
Springer
14 years 7 days ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...