Sciweavers

6960 search results - page 1076 / 1392
» Continuity Analysis of Programs
Sort
View
CCGRID
2008
IEEE
15 years 11 months 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»
15 years 11 months 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
15 years 11 months 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
15 years 11 months 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
WCRE
2008
IEEE
15 years 11 months ago
Retrieving Task-Related Clusters from Change History
During software maintenance tasks, developers often spend an important amount of effort investigating source code. This effort can be reduced if tools are available to help develo...
Martin P. Robillard, Barthélémy Dage...
« Prev « First page 1076 / 1392 Last » Next »