2756 search results - page 274 / 552 » Parallel Mesh Generation |
121
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
121
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper discusses concept lattices and some of their applications in component library development and compiler optimizations. Ongoing work on concept-based userextensible simp...
118
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
110
click to vote
SPAA
1999
ACM
15 years 7 months ago
1999
ACM
Clustering supportwith a single-systemimagefor large-scaleWeb serversis important to improve the systemscalability in processing alargenumberof concurrentrequestsfrom Internet,esp...
100
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Condition based maintenance (CBM) seeks to generate a design for a new ship wide CMB system that performs diagnoses and failure prediction on Navy shipboard machinery. Eventually, ...