526 search results - page 9 / 106 » Towards the Verifying Compiler |
83
Voted
SP
1987
IEEE
15 years 6 months ago
1987
IEEE
80
Voted
ICWS
2008
IEEE
15 years 4 months ago
2008
IEEE
141
Voted
TCBB
2008
15 years 3 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
IFIP
2010
Springer
14 years 10 months ago
2010
Springer