Sciweavers

9626 search results - page 382 / 1926
» Invariant Based Programming
Sort
View
ICCAD
1995
IEEE
68views Hardware» more  ICCAD 1995»
15 years 10 months ago
Generating sparse partial inductance matrices with guaranteed stability
This paper proposes a definition of magnetic vector potential that can be used to evaluate sparse partial inductance matrices. Unlike the commonly applied procedure of discarding...
Byron Krauter, Lawrence T. Pileggi
ISCA
1997
IEEE
78views Hardware» more  ISCA 1997»
15 years 10 months ago
Trading Conflict and Capacity Aliasing in Conditional Branch Predictors
As modern microprocessors employ deeper pipelines and issue multiple instructions per cycle, they are becoming increasingly dependent on accurate branch prediction. Because hardwa...
Pierre Michaud, André Seznec, Richard Uhlig
AICCSA
2005
IEEE
82views Hardware» more  AICCSA 2005»
15 years 8 months ago
Reverse engineering of framework design using a meta-patterns-based approach
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...
Nuno Flores, Ademar Aguiar
EWIMT
2004
15 years 8 months ago
A Generic Audio Classification and Segmentation Approach for Multimedia Indexing and Retrieval
We focus the attention on the area of generic and automatic audio classification and segmentation for audio-based multimedia indexing and retrieval applications. In particular, we ...
Serkan Kiranyaz, Ahmad Farooq Qureshi, Moncef Gabb...
NIPS
2004
15 years 8 months ago
Algebraic Set Kernels with Application to Inference Over Local Image Representations
This paper presents a general family of algebraic positive definite similarity functions over spaces of matrices with varying column rank. The columns can represent local regions ...
Amnon Shashua, Tamir Hazan