3038 search results - page 357 / 608 » Industrial evolutionary computing |
157
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
175
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
The volumes of data in information systems are growing drastically. The systems become increasingly complex in trying to handle heterogeneity of ubiquitous components, standards, ...
175
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
192
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
153
click to vote
PCM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a prototype for an installation which combines stereographic video and real-time 3D computer graphic to demonstrate a novel method of documenting dance and oth...