Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A.  

Automated Software Engineering, Vol. 6, Iss. 4, 1999-10 ,pp. : 329-356

Springer Publishing Company

Access to resources Recommend Favorite

Performance analysis of automatic lookahead generation by control flow graph: some experiments

By Zarei B.   Pidd M.  

Simulation Practice and Theory, Vol. 8, Iss. 8, 2001-07 ,pp. : 511-527

Elsevier

Access to resources Recommend Favorite

Automatic differentiation for the optimization of a ship propulsion and steering system: a proof of concept

By Leidenberger Ralf   Urban Karsten  

Journal of Global Optimization, Vol. 49, Iss. 3, 2011-03 ,pp. : 497-504

Springer Publishing Company

Access to resources Recommend Favorite

Automatic Design of Application Specific Instruction Set Extensions Through Dataflow Graph Exploration: Workshop on Application Specific Processors (WASP)

By Clark Nathan   Zhong Hongtao   Tang Wilkin   Mahlke Scott  

International Journal of Parallel Programming, Vol. 31, Iss. 6, 2003-12 ,pp. : 429-449

Springer Publishing Company

Access to resources Recommend Favorite

Introduction: On proof

By Martino A.A.  

Artificial Intelligence and Law, Vol. 9, Iss. 2-3, 2001-09 ,pp. : 95-98

Springer Publishing Company

Access to resources Recommend Favorite