44 search results - page 8 / 9 » Reuse of Specification Patterns with the B Method |
ISVC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
CASES
2004
ACM
15 years 1 months ago
2004
ACM
The tremendous growth of system memories has increased the capacities and capabilities of memory-resident embedded databases, yet current embedded databases need to be tuned in or...
117
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Genes work coordinately as gene modules or gene networks. Various computational approaches have been proposed to find gene modules based on gene expression data; for e...