|
Reviews about "Automatic Programming (I.2.2)":
|
Performance-aware server architecture recommendation and automatic performance verification technology on IaaS cloud Yamato Y. Service Oriented Computing and Applications 11(2): 121-135, 2017. Type: Article
|
A devil’s advocate against termination of direct recursion Frühwirth T. PPDP 2015 (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, Jul 14-16, 2015) 103-113, 2015. Type: Proceedings
|
Matrix code Van Emden M. Science of Computer Programming 843-21, 2014. Type: Article
|
Proving program termination Cook B., Podelski A., Rybalchenko A. Communications of the ACM 54(5): 88-98, 2011. Type: Article
|
Semantics-based context-aware dynamic service composition Fujii K., Suda T. ACM Transactions on Autonomous and Adaptive Systems 4(2): 1-31, 2009. Type: Article
|
Empirical hardness models: methodology and a case study on combinatorial auctions Leyton-Brown K., Nudelman E., Shoham Y. Journal of the ACM 56(4): 1-52, 2009. Type: Article
|
Autonomic specification of self-protection for distributed MARF with ASSL Mokhov S., Vassev E. C3S2E 2009 (Proc. of the 2nd Canadian Conference on Computer Science and Software Engineering, Montreal, Quebec, Canada, May 19-21, 2009) 175-183, 2009. Type: Proceedings
|
more...
|
|
|
|