1678 search results - page 40 / 336 » An ASM Specification of C |
BMCBI
2011
13 years 2 months ago
2011
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
- The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrat...
BMCBI
2010
13 years 7 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...
PDP
1996
IEEE
13 years 11 months ago
1996
IEEE
Contents Home Page Go Back Close Quit Using ITL and Tempura for Large Scale Specification and Simulation A. Cau, H. Zedan, N. Coleman and B. Moszkowski
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...