928 search results - page 147 / 186 » Towards Design Space Exploration for Biological Systems |
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
102
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
ASE
2008
14 years 12 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
102
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
144
click to vote
SIGMOD
2012
ACM
13 years 2 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...