349 search results - page 48 / 70 » The Finite and the Infinite |
ACSD
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
ICCS
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. We analyze and simulate a near continuum MagnetoGasDynamic(MGD) flow inside a two-dimensional microchannel with a low magnetic Reynolds number assumption. Complex physics...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Fourier series expansion is used to explore the relationship between the coefficients of halfband lowpass and general bandpass FIR digital filters. This relationship is used to de...
DAGSTUHL
2008
13 years 11 months ago
2008
An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...