Sciweavers

33356 search results - page 276 / 6672
» Models of Continual Computation
Sort
View
P2P
2006
IEEE
153views Communications» more  P2P 2006»
16 years 18 days ago
Internet-Scale Storage Systems under Churn -- A Study of the Steady-State using Markov Models
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
Anwitaman Datta, Karl Aberer
STOC
2003
ACM
136views Algorithms» more  STOC 2003»
16 years 6 months ago
Alpha-shapes and flow shapes are homotopy equivalent
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
Tamal K. Dey, Joachim Giesen, Matthias John
FORMATS
2009
Springer
16 years 1 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
ICIP
2008
IEEE
16 years 1 months ago
AM-FM image filters
We introduce a multicomponent invertible AM-FM image transform and use it to define new nonlinear AM-FM filters for performing modulation domain image processing. The key elemen...
Chuong T. Nguyen, Joseph P. Havlicek
ISCAS
2007
IEEE
84views Hardware» more  ISCAS 2007»
16 years 27 days ago
Piezo-powered floating gate injector for self-powered fatigue monitoring in biomechanical implants
— In this paper we describe an implementation and modeling of a novel fatigue monitoring sensor based on integration of piezoelectric transduction with floating gate avalanche in...
Nizar Lajnef, Shantanu Chakrabartty, Niell Elvin, ...