Sciweavers

2509 search results - page 154 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ASPDAC
2005
ACM
95views Hardware» more  ASPDAC 2005»
16 years 3 hour ago
Timing analysis considering temporal supply voltage fluctuation
Abstract— This paper proposes an approach to cope with temporal power/ground voltage fluctuation for static timing analysis. The proposed approach replaces temporal noise with a...
Masanori Hashimoto, Junji Yamaguchi, Takashi Sato,...
ICFP
2006
ACM
16 years 6 months ago
Towards an automatic complexity analysis for generic programs
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Kyle D. Ross
DAC
2002
ACM
16 years 7 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...
ICCS
2005
Springer
15 years 12 months ago
Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issue
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
Yannis Kalfoglou, W. Marco Schorlemmer
CVPR
2009
IEEE
17 years 1 months ago
The Geometry of 2D Image Signals
This paper covers a fundamental problem of local phase based signal processing: the isotropic generalization of the classical 1D analytic signal to two dimensions. The well know...
Lennart Wietzke (Kiel University), Gerald Sommer (...