1728 search results - page 203 / 346 » Formal Modeling of Process Migration |
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
140
click to vote
ICFEM
2003
Springer
15 years 6 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
122
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
87
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
Despite the popularity of wavelet-based image compression, its error inhomogeneity - the error that is different for even and odd pixel locations, has not been previously analyzed...
113
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...