Sciweavers

9626 search results - page 378 / 1926
» Invariant Based Programming
Sort
View
SCALESPACE
2007
Springer
16 years 25 days ago
Numerical Invariantization for Morphological PDE Schemes
Abstract. Based on a new, general formulation of the geometric method of moving frames, invariantization of numerical schemes has been established during the last years as a powerf...
Martin Welk, Pilwon Kim, Peter J. Olver
DATE
2006
IEEE
102views Hardware» more  DATE 2006»
16 years 23 days ago
Pseudorandom functional BIST for linear and nonlinear MEMS
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
Achraf Dhayni, Salvador Mir, Libor Rufer, Ahc&egra...
DSN
2006
IEEE
16 years 23 days ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
SMI
2005
IEEE
157views Image Analysis» more  SMI 2005»
16 years 9 days ago
3D Object Retrieval using Many-to-many Matching of Curve Skeletons
We present a 3D matching framework based on a many-to-many matching algorithm that works with skeletal representations of 3D volumetric objects. We demonstrate the performance of ...
Nicu D. Cornea, M. Fatih Demirci, Deborah Silver, ...
ECAL
2005
Springer
16 years 7 days ago
Emergence of Structure and Stability in the Prisoner's Dilemma on Networks
We study a population of individuals playing the prisoner’s dilemma game. Individual strategies are invariable but the network of relationships between players is allowed to chan...
Leslie Luthi, Mario Giacobini, Marco Tomassini