762 search results - page 80 / 153 » Conditionally correct superoptimization |
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
We investigate the impact of using non-ideal lowpass filters in the modulated wideband (MWC) converter, which is a recent subNyquist sampling system for sparse wideband analog si...
ENTCS
2008
13 years 10 months ago
2008
In [24] the authors studied the expressiveness of persistence in the asynchronous -calculus (A) wrt weak barbed congruence. The study is incomplete because it ignores the issue of...
ENTCS
2008
13 years 10 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
DEDS
2006
13 years 10 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
ENTCS
2006
13 years 10 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...