10159 search results - page 297 / 2032 » System Design Validation Using Formal Models |
143
click to vote
CERA
2002
15 years 3 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
134
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
133
Voted
ISARCS
2010
15 years 7 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
143
Voted
AINA
2003
IEEE
15 years 7 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
136
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The Gene Ontology (GO) is used to describe genes and gene products from many organisms. When used for functional annotation of microarray data, GO is often slimmed by ...