5608 search results - page 40 / 1122 » Structure description tools |
ESOP
2007
Springer
14 years 5 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
CHARME
1999
Springer
14 years 3 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
FM
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
ICIP
2002
IEEE
15 years 17 days ago
2002
IEEE
In this paper, we propose a very simple, but efficient two-stage MDC in the central prediction loop based on Reibman's threeprediction-loop structure [7]. In our design, an a...
HPDC
1999
IEEE
14 years 3 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....