5608 search results - page 40 / 1122 » Structure description tools |
154
click to vote
ESOP
2007
Springer
16 years 5 days 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...
177
click to vote
CHARME
1999
Springer
15 years 10 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...
161
click to vote
FM
1999
Springer
15 years 10 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...
141
click to vote
ICIP
2002
IEEE
16 years 7 months 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...
139
click to vote
HPDC
1999
IEEE
15 years 10 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....