Sciweavers

3273 search results - page 254 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
SAC
2008
ACM
15 years 3 months ago
A self-balancing striping scheme for NAND-flash storage systems
To use multiple memory banks in parallel is a nature approach to boost the performance of flash-memory storage systems. However, realistic data-access localities unevenly load eac...
Yu-Bin Chang, Li-Pin Chang
SPRINGSIM
2010
15 years 2 months ago
Using factored bond graphs for distributed diagnosis of physical systems
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...
SIGSOFT
2004
ACM
16 years 5 months ago
A classification system and analysis for aspect-oriented programs
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
Martin C. Rinard, Alexandru Salcianu, Suhabe Bugra...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 4 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
CEC
2009
IEEE
15 years 11 months ago
A cognitive system based on fuzzy information processing and multi-objective evolutionary algorithm
— A cognitive system is presented, which is based on coupling a multi-objective evolutionary algorithm with a fuzzy information processing system. The aim of the system is to ide...
Michael S. Bittermann, Özer Ciftcioglu, I. Se...