Sciweavers

3618 search results - page 395 / 724
» Additive functions for number systems in function fields
Sort
View
RTAS
2006
IEEE
16 years 21 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
ICES
2005
Springer
176views Hardware» more  ICES 2005»
16 years 6 days ago
Consensus-Based Evaluation for Fault Isolation and On-line Evolutionary Regeneration
While the fault repair capability of Evolvable Hardware (EH) approaches have been previously demonstrated, further improvements to fault handling capability can be achieved by exp...
Kening Zhang, Ronald F. DeMara, Carthik A. Sharma
FPGA
2004
ACM
117views FPGA» more  FPGA 2004»
16 years 2 days ago
A magnetoelectronic macrocell employing reconfigurable threshold logic
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
Steve Ferrera, Nicholas P. Carter
ICIAR
2004
Springer
16 years 2 days ago
A Secure and Localizing Watermarking Technique for Image Authentication
In this paper, a new block-based image-dependent watermarking technique is proposed. The proposed technique utilizes the correlation coefficient statistic to produce a short and un...
Abdelkader H. Ouda, Mahmoud R. El-Sakka
HAID
2009
Springer
15 years 11 months ago
Evaluating Factors that Influence Path Tracing with Passive Haptic Guidance
A very common task in medical applications and motor-skill training is to trace a path. However, when designing a haptically guided interface, designers need to consider the choice...
Kurosh Zarei-nia, Xing-Dong Yang, Pourang Irani, N...