Sciweavers

1724 search results - page 133 / 345
» Industrial applications
Sort
View
IJWET
2010
83views more  IJWET 2010»
15 years 5 months ago
Technically approaching the semantic web bottleneck
: After several years of research, the fundamental Semantic Web technologies have reached a high maturity level. Nevertheless, the average Web user has not yet taken advantage of t...
Nikolaos Konstantinou, Dimitrios-Emmanuel Spanos, ...
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Efficient power grid integrity analysis using on-the-fly error check and reduction
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
Duo Li, Sheldon X.-D. Tan, Ning Mi, Yici Cai
SOFSEM
2012
Springer
14 years 2 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman
DATE
2007
IEEE
126views Hardware» more  DATE 2007»
16 years 26 days ago
The ARTEMIS cross-domain architecture for embedded systems
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
Hermann Kopetz
ICIP
2009
IEEE
16 years 7 months ago
Nonlinear Registration Of Binary Shapes
A novel approach is proposed to estimate the parameters of a diffeomorphism that aligns two binary images. Classical approaches usually define a cost function based on a similarit...