Analysis and synthesis of probabilistic real-time systems

서울대학교 중앙도서관

S-Space 소개

My S-Space

로그인이 필요합니다.

S-Space

Publications

Detailed Information

Analysis and synthesis of probabilistic real-time systems : 확률적 실시간 시스템의 분석과 합성

DC Field	Value	Language
dc.contributor.advisor	민상렬	-
dc.contributor.author	김강희	-
dc.date.accessioned	2010-01-27T23:14:29Z	-
dc.date.available	2010-01-27T23:14:29Z	-
dc.date.copyright	2004.	-
dc.date.issued	2004	-
dc.identifier.uri	http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000053798	eng
dc.identifier.uri	https://hdl.handle.net/10371/45852	-
dc.description	Thesis (doctoral)--서울대학교 대학원 :전기·컴퓨터공학부,2004.	en
dc.format.extent	x, 122 leaves	en
dc.language.iso	en	en
dc.publisher	서울대학교 대학원	en
dc.subject	실시간 시스템	en
dc.subject	Real-time systems	en
dc.subject	우선순위 스케줄링	en
dc.subject	Priority-driven scheduling	en
dc.subject	확률적 보장	en
dc.subject	Probabilistic guarantee	en
dc.subject	확률적 분석	en
dc.subject	Stochastic analysis	en
dc.subject	과실행 제어	en
dc.subject	Overrun handling	en
dc.subject	확률적 폐기	en
dc.subject	Randomized dropping	en
dc.subject	연성 고립성	en
dc.subject	Soft isolation	en
dc.subject	매개변수 합성	en
dc.subject	Parameter synthesis	en
dc.title	Analysis and synthesis of probabilistic real-time systems	en
dc.title.alternative	확률적 실시간 시스템의 분석과 합성	en
dc.type	Thesis	-
dc.contributor.department	전기·컴퓨터공학부	-
dc.description.degree	Doctor	en

Appears in Collections:

Show Simple Item Record

Find it @ SNU

SNS Share