990 search results - page 81 / 198 » A Static Analysis Technique for Graph Transformation Systems |
CP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
FASE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
CLUSTER
2003
IEEE
14 years 2 months ago
2003
IEEE
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
In this work, we demonstrate examples about uses of practical image processing techniques over a new interpretation of power quality event data. Power quality event data are 1D da...