4716 search results - page 666 / 944 » Iterative-free program analysis |
217
click to vote
FOAL
2009
ACM
16 years 23 days ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
139
click to vote
SIGECOM
2009
ACM
16 years 23 days ago
2009
ACM
Policy teaching considers a Markov Decision Process setting in which an interested party aims to influence an agent’s decisions by providing limited incentives. In this paper, ...
163
click to vote
SIGGRAPH
2009
ACM
16 years 23 days ago
2009
ACM
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...
149
Voted
CCGRID
2008
IEEE
16 years 22 days ago
2008
IEEE
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 ...
194
click to vote
CDC
2008
IEEE
16 years 22 days ago
2008
IEEE
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...