Sciweavers

3370 search results - page 204 / 674
» Correlation Embedding Analysis
Sort
View
ISSS
2000
IEEE
155views Hardware» more  ISSS 2000»
15 years 11 months ago
Intervals in Software Execution Cost Analysis
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
Fabian Wolf, Rolf Ernst
DATE
2000
IEEE
108views Hardware» more  DATE 2000»
15 years 11 months ago
Automatic Abstraction for Worst-Case Analysis of Discrete Systems
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
Felice Balarin
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
16 years 1 months ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
DELTA
2006
IEEE
16 years 19 days ago
Static Code Analysis of Functional Descriptions in SystemC
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
Martin Holzer 0002, Markus Rupp
ICIP
2007
IEEE
16 years 8 months ago
Analysis of Nonlinear Collusion Attacks on Fingerprinting Systems for Compressed Multimedia
In this paper, we analyze the effect of various collusion attacks on fingerprinting systems for compressed multimedia. We evaluate the effectiveness of the collusion attacks in te...
Avinash L. Varna, Shan He, Ashwin Swaminathan, Min...