164 search results - page 4 / 33 » Temporal vertical profiling |
CSDA
2006
13 years 7 months ago
2006
Time course gene expression experiments have proved valuable in a variety of biological studies [e.g., Chuang, Y., Chen, Y., Gadisetti, V., et al., 2002. Gene expression after tre...
CANDC
2007
ACM
13 years 7 months ago
2007
ACM
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
SECURWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Three-dimensional (3-D) integrated circuits have emerged as promising candidates to overcome the interconnect bottlenecks of nanometer scale designs. While they offer several othe...