분산 시스템의 규모가 커져가고 그 구성 요소의 종류와 개수도 증가함에 따라 분산 시스템에 대한 효율적인 관리의 필요성이 증대되었다. 분산 시스템의 규모와 복잡도 때문에 자동화된 관...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82310087
1998
Korean
004
학술저널
158-160(3쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
분산 시스템의 규모가 커져가고 그 구성 요소의 종류와 개수도 증가함에 따라 분산 시스템에 대한 효율적인 관리의 필요성이 증대되었다. 분산 시스템의 규모와 복잡도 때문에 자동화된 관...
분산 시스템의 규모가 커져가고 그 구성 요소의 종류와 개수도 증가함에 따라 분산 시스템에 대한 효율적인 관리의 필요성이 증대되었다. 분산 시스템의 규모와 복잡도 때문에 자동화된 관리 기능이 필수적이며, 실제 시스템 관리자의 지식과 경험에 의한 정책들을 정형적이면서 효율적으로 기술할 수 있도록 하는 기능 또한 지원되어야 한다.
본 논문에서는 분산 시스템 관리 정책을 정형적으로 기술하기 위해 SGML(Standard Generalized Markup Language)를 사용한다. 즉, 분산 시스템 관리 정책을 위한 DTD를 제공하여 일관성과 호환성이 높고 기계 독립적인 정책을 기술할 수 있도록 하였다. 또한 기술된 정책을 실제 시스템 수준으로 구현하기 위해 RDBMS를 사용한다. RDBMS는 SGML으로 작성된 정책을 저장 관리하여, 에이전트(agent)와 관리자 응용 사이의 사건과 행동을 처리하고 관리 정보를 저장한다.
목차 (Table of Contents)
이진 결정 다이어그램의 재순서화를 이용한 Formal verification 시스템인 VIS의 성능 향상
SAVE : 소프트웨어 모델을 사용한 효율적인 실시간 하드웨어 검증 시스템
멀티프로그래밍 환경에서의 분기 예측 (pp.12-14)