10055 search results - page 246 / 2011 » Structured programming using processes |
ENTCS
2006
13 years 10 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
PC
2000
13 years 10 months ago
2000
In this paper we present a parallel method for solving two-stage stochastic linear programs with restricted recourse. The mathematical model considered here can be used to represe...
ICFP
2012
ACM
12 years 1 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
AUTOMATICA
2006
13 years 11 months ago
2006
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
ICASSP
2008
IEEE
14 years 5 months ago
2008
IEEE
To help develop ultra-low power wireless hearing aid products, we investigate the integration of subband audio coding with hearing aid applications. Both the audio coding and the ...