학지사 뉴논문

총 1,122건 검색

본문검색 결과만 보기

정확도순

최신순

등재순

발행기간

전체
최근 1년
최근 3년
직접입력

적용하기

본문검색

포함

제외

10개씩

941.

정적 실행 시간 분석을 위한 외부 요인 예측 방안

김윤관, 김태완, 신원, 장천현, Kim. Yun-Kwan, Kim. Tae-Wan, Shin. Won, Chang. Chun-Hyon 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages

한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2011, Vol.17 No.3 200-204 (5 pages)

김윤관, 김태완, 신원, 장천현, Kim. Yun-Kwan, Kim. Tae-Wan, Shin. Won, Chang. Chun-Hyon 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
실시간 시스템은 시간적 신뢰성을 중요시하기 때문에 응답시간 검증의 기준점을 제공하기 위해 정적 실행시간 분석이 연구되었다. 정적 실행 시간 분석의 분석 대상에는 상수와 같이 코드에 존재하는 내부 요인과 사용자 입력과 같이 실행 시에 결정되는 외부 요인이 있다. 특히 외부 요인은 분석 과정에 나타날 수 있는 모든 경우의 수나 값의 고려가 필요하기 때문에 분석을 어렵게 한다. 따라서 본 논문에서는 외부 요인의 범위를 제한하고 예측을 위한 기준 범위를 제공하기 위해 요약 해석을 사용한 예측 기법과 이를 구현하기 위한...
942.

요약해석을 이용한 버퍼오버런 분석에서 루프 분석결과의 정교화

오학주, 이광근, Oh. Hak-Joo, Yi. Kwang-Keun 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages

한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2008, Vol.14 No.1 111-115 (5 pages)

오학주, 이광근, Oh. Hak-Joo, Yi. Kwang-Keun 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
버퍼오버런 분석기가 루프안에서 발생시키는 허위경보를 간편하고도 효율적으로 줄이는 방법과 경험을 소개한다. 버퍼오버런 분석기는 루프와 배열을 많이 사용하는 프로그램을 분석할 때 많은 허위경보를 발생시킨다. 우리는 먼저 루프를 많이 사용하는 프로그램인 임베디드 프로그램과 암호화 관련 프로그램들에서 발생하는 허위경보를 조사하여 허위경보를 일으키는 루프의 패턴을 조사했다. 그 다음에 그 루프에 특화된 간단하고 효율적인 재분석기를 고안하였다. 우리가 제안하는 재분석기는 분석기가 분석을 끝낸 후 내 놓는...
943.

할 일들의 순서 선택이 자유로운 증가분 기반 고정점 계산 알고리즘

안준선, Ahn. Joon-Seon 한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 11 Pages

한국정보과학회 정보과학회논문지. Journal of KIISE. 소프트웨어 및 응용 2005, Vol.32 No.8 808-818 (11 pages)

안준선, Ahn. Joon-Seon 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
본 연구에서는 증가분 기반 계산을 사용한 고정점 계산 방법을 제시하고 이에 기반한 새로운 워크리스트 알고리즘을 제시한다. 제시된 방법은 기존의 증가분 기반 계산과 달리 배분 법칙을 만족하지 않는 계산 시스템에도 효과적으로 적용될 수 있으며 증가분 기반 계산으로 인한 제약 조건을 만족하면서도 다양한 워크리스트 스케줄링 방법을 사용할 수 있는 장점을 가지고 있다. 본 연구의 결과를 프로그램 정적 분석 방법인 요약 해석 방법에 적용하였으며, 이를 사용하여 상수 및 이명 분석과 메모리 생존 분석을 구현하였다. 제시된...
944.

요약 해석 및 응용

창병모 한국정보과학회 소프트웨어공학회지 9 Pages

한국정보과학회 소프트웨어공학회지 2000, Vol.13 No.3 9-17 (9 pages)

창병모 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.
945.

청자 분리 현상과 접속문의 구조

허철구 우리말학회 우리말연구 30 Pages

우리말학회 우리말연구 2013, 제34집 2 21-50 (30 pages)

허철구 저
...
- 5,900원
국어의 접속문에는 ‘철수 너는 가고, 영수 너는 남아라.’와 같이 선후 행절이 접속어미 ‘-고’에 의해 연결되면서 선후행절의 청자가 각각 달리 설정 되는 구문이 있다. ‘청자 분리’라고 명명될 수 있는 문법 현상을 지닌 이 구문 은 ‘철수는 학교에 가고, 영수는 도서관에 가자.’(명령과 청유) ‘선생님은 먼저 출발하시고, 너는 여기에서 기다리거라.’(존대와 비존대)’처럼 선행절의 서법, 청자 경어법이 후행절과 독립적으로 이루어지는 비대칭성을 보이기도 한다. 이러한 현상은 후행절의 기능 범주 요소가 선행절을...
946.

담화의 시간상황과의 대응 관계에 기초한 한국어 시제의 해석

최규수 우리말학회 우리말연구 32 Pages

우리말학회 우리말연구 2010, 제26집 5 109-140 (32 pages)

최규수 저
...
- 6,100원
어떤 일이 일어나는 시간상황은 문장에서 시간위치어와 용언의 시간형으로 반영되며, 어떤 문장의 시간상황은 담화 세계의 시간상황과 관련하여 해석된다. 이러한 관점을 바탕으로, 시간상황과 시간위치어 및 용언의 시간형의 관계를 논의했다. ‘-었-’은 발화시 기준의 과거인데, 가 정시를 기준으로 한 과거로 해석되기도 한다. ‘-더-’는 인식시를 기준으로 한 비과거이며, ‘-더-’와 함께 쓰인 ‘-었-’은 인식시를 기준으로 한 과거이 다. 담화에서 ‘-었-’과 교체되는 ‘-?-’은 담화시 과거를 기준으로 한 비과 거이고,...
947.

매인풀이씨 ‘가다’와 ‘오다’의 인지적 해석

김문기 우리말학회 우리말연구 25 Pages

우리말학회 우리말연구 2008, 제22집 6 135-159 (25 pages)

김문기 저
...
- 5,400원
이 논문은 우리말 풀이씨 ‘가다’와 ‘오다’가 매인풀이씨로 쓰일 경우 어떠한 통어?의미적 특성을 보이는가를 살펴보고, 그 것을 인지적으로 어떻게 해석하는 것이 좋을지 살펴본 것이다. ‘가 다’와 ‘오다’는 일반적으로 ‘가다’류, ‘오다’류, ‘이동 동사’ 등으로 포괄적으로 다루어져 왔다. 이 글에서는 매인풀이씨 ‘가다’와 ‘오 다’만을 대상으로 하여 ‘인식 주체’와 ‘방향성’이라는 의미 특성을 중심으로 그 구체적인 의미 특성을 해석해 보았다. 또한 매인풀이 씨 ‘가다’와 ‘오다’가 교체 가능한 경우와...
948.

미술 작품의 다중적 해석을 바탕으로 한 초등 미술 감상 교재 개발 연구

안금희 한국조형교육학회 조형교육 31 Pages

한국조형교육학회 조형교육 2004, 제 23집 5 111-141 (31 pages)

안금희 저
- 6,000원
949.

A HERMENEUTIC STUDY ON 'EDUCATIONAL STATUS OF TRIBE WOMEN' AND THEIR 'PERCEPTION OF TEACHER' FOLLOWING 3/3 MODEL ON LOCALE, CLAN AND GENERATION

Rajarshi Roy, Anjana Paira 한국교육학회 한국교육학회 학술대회논문집 43 Pages

한국교육학회 한국교육학회 학술대회논문집 국제 43 947-989 (43 pages)

Rajarshi Roy, Anjana Paira 저
- 7,200원
950.

우계철학의 교육학적 해석

박균섭 한국교육학회 교육학연구 17 Pages

한국교육학회 교육학연구 2000, 38권 4호 14 283-299 (17 pages)

박균섭 저
- 4,600원
우계는 이기론(理氣論)에 입각한 철학적 성찰을 통해 인간에 대한 이해를 추구하고 그 기반 위에서 교육에 관한 논의를 시도하였다. 우계는 재발지제(機發之際)의 개념을 통해 윤리의 보편성과 절대성을 강조하였고, 또한 차실(差失)의 개념을 통해 인간 행동이 선과 악으로 갈라지는 순간의 절박성에 주목하였다. 이는 우계철학이 중국철학의 단순한 변이에 그치지 않고 삶의 이상과 방향에 대한 뚜렷한 해석 기준을 확보했다는 것을 말해준다. 우계가 선과 악이 갈라지는 순간에 주목한 것은 매 순간의 도덕적 선택이 삶의 총체를...

한주간 이슈검색어