6248 search results - page 219 / 1250 » Programming in a data factory |
142
click to vote
ENTCS
2006
15 years 6 months ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
169
click to vote
SIGPRO
2008
15 years 6 months ago
2008
In this paper, we present an algorithm for multichannel blind deconvolution of seismic signals, which exploits lateral continuity of earth layers by dynamic programming approach. ...
166
click to vote
CANDC
2000
ACM
15 years 6 months ago
2000
ACM
We have developed a microcomputer program, based on a recently described approach called step by step filter (SBSF), for calculation of derivative curves directly from spectra rec...
187
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...