164 search results - page 4 / 33 » Temporal vertical profiling |
CSDA
2006
14 years 11 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
14 years 11 months ago
2007
ACM
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
SECURWARE
2007
IEEE
15 years 6 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
16 years 22 days 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...