2607 search results - page 320 / 522 » Complete Functional Synthesis |
134
click to vote
ADAEUROPE
1997
Springer
15 years 8 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
129
click to vote
INFOCOM
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, we present a network service specifically designed for multimedia servers. It uses a histogram based traffic characterization and an overload control protocol to el...
121
click to vote
HPDC
1994
IEEE
15 years 8 months ago
1994
IEEE
Partitioning data parallel computations across a network of heterogeneous workstations is a dificult problem for the user: We have developed a runtime partitioning methodfor choos...
166
click to vote
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
142
click to vote
CONPAR
1992
15 years 8 months ago
1992
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...