9521 search results - page 226 / 1905 » Compiling with continuations, continued |
98
Voted
SIGMOD
2000
ACM
15 years 7 months ago
2000
ACM
76
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
106
Voted
EMMCVPR
1999
Springer
15 years 7 months ago
1999
Springer
130
Voted
FM
1999
Springer
15 years 7 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...