469 search results - page 20 / 94 » A Modal Analysis of Staged Computation |
DAC
1998
ACM
13 years 11 months ago
1998
ACM
We present a methodology for the design and analysis of power grids in the PowerPC™ microprocessors. The methodology covers the need for power grid analysis across all stages of...
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
Requirements for a traffic monitoring system can be very demanding as both privacy and performance aspects have to be taken into account jointly. Moreover, the legislation sets fo...
WAPCV
2007
Springer
14 years 1 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
IRREGULAR
1995
Springer
13 years 11 months ago
1995
Springer
Dependencies between iterations of loop structures cannot always be determined at compile-time because they may depend on input data which is known only at run-time. A prime examp...
AIMS
2007
Springer
14 years 1 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...