4693 search results - page 17 / 939 » Verifying Hybrid Systems |
116
click to vote
ENTCS
2008
15 years 15 days ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
89
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
108
Voted
APLAS
2010
ACM
14 years 11 months ago
2010
ACM
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...