2799 search results - page 209 / 560 » computing 1998 |
117
click to vote
DSVIS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
117
click to vote
DAC
1998
ACM
15 years 7 months ago
1998
ACM
This paper considers the rate optimal VLSI design of a recursive data flow graph (DFG). Previous research on rate optimal scheduling is not directly applicable to VLSI design. We ...
115
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We evaluate two techniques to implement concurrent events in a group communication service. This evaluation is based on a comparison of the performance measured from two different...
126
click to vote
IMR
1998
Springer
15 years 7 months ago
1998
Springer
A brief survey of some of the fundamental algorithms in unstructured mesh generation is presented. Included is a discussion and categorization of triangle, tetrahedral, quadrilate...
102
Voted
JAR
1998
15 years 3 months ago
1998
It is shown how self-resolving clauses like symmetry or transitivity, or even clauses like condensed detachment, can faithfully be deleted from the clause set thus eliminating or ...