ARC
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...
AHS
2007
IEEE
14 years 1 months ago
2007
IEEE
This work describes an algebraic based design strategy targeting area optimization in reconfigurable computer technology (FPGA). Area optimization is a major issue as smaller comp...
AHS
2007
IEEE
14 years 1 months ago
2007
IEEE
Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to the creat...
AICCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
Nanodevices based circuit design will be based on the acceptance that a high percentage of devices in the design will be defective. In this work, we investigate a defect tolerant ...
AICCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
ACSD
2007
IEEE
14 years 1 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a framework for sensor configuration and management in wireless multi sensor network system, which is responsible for taking decisions in order to coordinate t...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
Monitoring critical events such as constraints violations is one of the key issues of Autonomic Systems. This paper presents an interceptor based approach of constraint violation ...
DSD
2005
IEEE
14 years 1 months ago
2005
IEEE
Several methods improving the fault coverage in mixed-mode BIST are presented in this paper. The test is divided into two phases: the pseudo-random and deterministic. Maximum of f...
ECMDAFA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...