类 型
2 篇文献
 
From Boolean to quantitative synthesis  
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an eective approach for increasing p......
0次引用 0 0
Model-based implementation of real-time applications  
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on features of the execution......
International Workshop on Embedded Systems  2010
8次引用 0 0

Feedback
Feedback
Feedback
我想反馈:
排行榜