Search Results

Dealing with data dependent conditions to enable general global source code transformations

Authors: Palkovic, Martin; Corporaal, Henk; Catthoor, Francky

Source: International Journal of Embedded Systems, Volume 4, Number 1, 18 July 2009 , pp. 27-39(13)

Publisher: Inderscience Publishers

Stability analysis and tracking control of holonomic mechanical systems: a constructive approach

Authors: Melhem, K.; Saad, M.; Wang, W.; Abou, S.C.

Source: International Journal of Modelling, Identification and Control, Volume 6, Number 1, 26 February 2009 , pp. 10-25(16)

Publisher: Inderscience Publishers

Pulse dynamics and microbial processes in aridland ecosystems

Authors: Collins, Scott L.; Sinsabaugh, Robert L.; Crenshaw, Chelsea; Green, Laura; Porras-Alfaro, Andrea; Stursova, Martina; Zeglin, Lydia H.

Source: Journal of Ecology, Volume 96, Number 3, May 2008 , pp. 413-420(8)

Publisher: Blackwell Publishing

Systematic Preprocessing of Data Dependent Constructs for Embedded Systems

Authors: Palkovic, Martin; Brockmeyer, Erik; Vanbroekhoven, Peter; Corporaal, Henk; Catthoor, Francky

Source: Journal of Low Power Electronics, Volume 2, Number 1, April 2006 , pp. 9-17(9)

Publisher: American Scientific Publishers

Translation and Run-Time Validation of Loop Transformations

Authors: Zuck, Lenore; Pnueli, Amir; Goldberg, Benjamin; Barrett, Clark; Fang, Yi; Hu, Ying

Source: Formal Methods in System Design, Volume 27, Number 3, November 2005 , pp. 335-360(26)

Publisher: Springer

An Extension of the Coordinate Transformation Method for Open-Loop Nash Equilibria

Authors: D. A. Carlson; G. Leitmann

Source: Journal of Optimization Theory and Applications, Volume 123, Number 1, October 2004 , pp. 27-47(21)

Publisher: Springer

Exponential stabilization for nonlinear systems with applications to nonholonomic systems

Author: Lee T.-C.

Source: Automatica, Volume 39, Number 6, June 2003 , pp. 1045-1051(7)

Publisher: Elsevier

Visual station keeping for floating robots in unstructured environments

Authors: van der Zwaan S.; Bernardino A.; Santos-Victor J.

Source: Robotics and Autonomous Systems, Volume 39, Number 3, 30 June 2002 , pp. 145-155(11)

Publisher: Elsevier

Integrating Loop and Data Transformations for Global Optimization

Authors: O'Boyle M.F.P.; Knijnenburg P.M.W.

Source: Journal of Parallel and Distributed Computing, Volume 62, Number 4, April 2002 , pp. 563-590(28)

Publisher: Academic Press

Coordinate Transformations and Derivation of Open-Loop Nash Equilibria

Authors: Dockner E.J.; Leitmann G.

Source: Journal of Optimization Theory and Applications, Volume 110, Number 1, July 2001 , pp. 1-15(15)

Publisher: Springer

A Matrix-Based Approach to Global Locality Optimization

Authors: Kandemir M.; Choudhary A.; Ramanujam J.; Banerjee P.

Source: Journal of Parallel and Distributed Computing, Volume 58, Number 2, August 1999 , pp. 190-235(46)

Publisher: Elsevier

A Matrix-Based Approach to Global Locality Optimization

Authors: Kandemir M.; Choudhary A.; Ramanujam J.; Banerjee P.

Source: Journal of Parallel and Distributed Computing, Volume 58, Number 2, August 1999 , pp. 190-235(46)

Publisher: Academic Press

Derivative and proportional state feedback for linear descriptor systems with variable coefficients

Author: Rath W.

Source: Linear Algebra and its Applications, Volume 260, Number unknown, 15 July 1997 , pp. 273-310(38)

Publisher: Elsevier

Theory of Nonlinear Feedback under Uncertainty

Authors: Emelyanov S.V.; Korovin S.K.

Source: Computers and Mathematics with Applications, Volume 34, Number 2, July 1997 , pp. 273-323(51)

Publisher: Elsevier

Complexification of gauge theories

Authors: Loll R.; Mourao J.M.; Tavares J.N.

Source: Journal of Geometry and Physics, Volume 18, Number 1, January 1996 , pp. 1-24(24)

Publisher: Elsevier