686 search results - page 83 / 138 » Automatic Model Generation Strategies for Model Transformati... |
101
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Novel strategies are required in order to handle the huge amount of data produced by microarray technologies. To infer gene regulatory networks, the first step is to f...
102
click to vote
ICIW
2009
IEEE
15 years 6 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
DFT
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Compiler technology for multimedia extensions must effectively utilize not only the SIMD compute engines but also the various levels of the memory hierarchy: superword registers,...
112
click to vote
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...