872 search results - page 65 / 175 » Automatic Generation of Detection Algorithms for Design Defe... |
BIOINFORMATICS
2010
13 years 9 months ago
2010
Motivation: The fruit fly (Drosophila melanogaster) is a commonly used model organism in biology. We are currently building a 3D digital atlas of the fruit fly larval nervous syst...
EVOW
2010
Springer
14 years 3 months ago
2010
Springer
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
BXML
2003
13 years 10 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
VLSID
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...