Sciweavers

4469 search results - page 162 / 894
» Dynamic Program Slicing
Sort
View
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
13 years 8 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
PLDI
1999
ACM
14 years 8 days ago
An Evaluation of Staged Run-Time Optimizations in DyC
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
Brian Grant, Matthai Philipose, Markus Mock, Craig...
JUCS
2006
175views more  JUCS 2006»
13 years 8 months ago
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
Anderson Faustino da Silva, Vítor Santos Co...
ASPDAC
2004
ACM
80views Hardware» more  ASPDAC 2004»
14 years 1 months ago
Exploiting program execution phases to trade power and performance for media workload
Abstract- Processing streaming media comprisesseveral program phases (often distinct) that are periodic and independent of application data. In this paper we characterize execution...
Subhasis Banerjee, G. Surendra, S. K. Nandy
LOPSTR
2004
Springer
14 years 1 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...