3706 search results - page 152 / 742 » KtSeqC: System Description |
189
click to vote
ISDA
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper presents a comparative study of three popular, Evolutionary Algorithms (EA); Genetic Algorithms (GA), Particle Swarm Optimization (PSO) and Differential Evolution (DE) ...
178
click to vote
ICECCS
2007
IEEE
16 years 26 days ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
202
click to vote
ZUM
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
174
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
133
click to vote
EH
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a detailed technical description of a large-scale evolvable hardware system for evolving complex digital circuits directly in silicon at high speed. The core o...