Sciweavers

4725 search results - page 672 / 945
» Dependence-Based Program Analysis
Sort
View
SIGGRAPH
2009
ACM
16 years 26 days ago
InTune: a musician's intonation visualization system
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...
Kyung Ae Lim, Christopher Raphael
CCGRID
2008
IEEE
16 years 25 days ago
Xen-Based HPC: A Parallel I/O Perspective
Virtualization using Xen-based virtual machine environment has yet to permeate the field of high performance computing (HPC). One major requirement for HPC is the availability of ...
Weikuan Yu, Jeffrey S. Vetter
CDC
2008
IEEE
236views Control Systems» more  CDC 2008»
16 years 25 days ago
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
Amir Ali Ahmadi, Pablo A. Parrilo
ICSM
2008
IEEE
16 years 23 days ago
Software visualization with audio supported cognitive glyphs
There exist numerous software visualization techniques that aim to facilitate program comprehension. One of the main concerns in every such software visualization is to identify r...
Sandro Boccuzzo, Harald Gall
ICST
2008
IEEE
16 years 23 days ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng