495 search results - page 4 / 99 » HIDE : A Logic Based Hardware Development Environment |
AHS
2006
IEEE
13 years 9 months ago
2006
IEEE
The following article describes and discusses the suitability of the particle swarm optimization (PSO) for the employment with blind adaptation of the directional characteristic o...
COMPSAC
2009
IEEE
14 years 6 days ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
WISES
2003
13 years 6 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
ECMDAFA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
AAAI
2006
13 years 6 months ago
2006
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...