Sciweavers

214 search results - page 16 / 43
» Dynamic Optimistic Interprocedural Analysis: A Framework and...
Sort
View
AUTOMATICA
2008
95views more  AUTOMATICA 2008»
14 years 12 months ago
Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
Antoine Chaillet, Antonio Loría
LSSC
2007
Springer
15 years 5 months ago
Optimization Based Stabilization of Nonlinear Control Systems
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
Lars Grüne
SIGDOC
1997
ACM
15 years 3 months ago
CogentHelp: A Tool for Authoring Dynamically Generated Help for Java GUIs
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
David E. Caldwell, Michael White
IPPS
2006
IEEE
15 years 5 months ago
A compiler-based communication analysis approach for multiprocessor systems
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
Shuyi Shao, Alex K. Jones, Rami G. Melhem
TWC
2008
99views more  TWC 2008»
14 years 11 months ago
Cross layer dynamic resource allocation with targeted throughput for WCDMA data
We consider resource allocation for elastic wireless applications that measure utility by target connection average throughput and achieved throughput. We construct a framework for...
Peifang Zhang, Scott Jordan