Sciweavers

11172 search results - page 409 / 2235
» Testing Physical Systems
Sort
View
ISCAS
2005
IEEE
121views Hardware» more  ISCAS 2005»
16 years 13 days ago
SET and RESET pulse characterization in BJT-selected phase-change memories
- This paper presents program pulse characterization in an 8-Mb BJT-selected Phase-Change Memory test chip. Experimental results of the impact of the bit-line resistance over progr...
Ferdinando Bedeschi, Edoardo Bonizzoni, Giulio Cas...
145
Voted
ACRI
2004
Springer
16 years 7 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
GECCO
1999
Springer
15 years 11 months ago
An Immunogenetic Approach to Spectra Recognition
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
Dipankar Dasgupta, Yuehua Cao, Congjun Yang
ASPDAC
2006
ACM
726views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Newton: a library-based analytical synthesis tool for RF-MEMS resonators
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
Michael S. McCorquodale, James L. McCann, Richard ...
GECCO
2008
Springer
115views Optimization» more  GECCO 2008»
15 years 8 months ago
Applicability of genetic algorithms to reconstruction of projected data from ultrasonic tomography
In this paper simulation studies of the ultrasound computerized tomography (CT) technique employing time of flight data is presented. An enhanced genetic algorithm based reconstru...
Shyam P. Kodali, Sunith Bandaru, Kalyanmoy Deb, Pr...