762 search results - page 80 / 153 » Conditionally correct superoptimization |
82
Voted
ICASSP
2010
IEEE
15 years 2 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...
100
Voted
ENTCS
2008
15 years 2 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...
129
click to vote
ENTCS
2008
15 years 2 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...
119
click to vote
DEDS
2006
15 years 2 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...
137
Voted
ENTCS
2006
15 years 2 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...