Posts
외부장과 Boutroux 곡선: 최소화 문제 없이 평형 측도 구축
C 대수 번들과 KK X 이중함수
DNA에서 특정 부위를 찾는 단백질, 구간 간 전이의 핵심 역할
네트워크 패킷 트레이스 공유를 위한 신뢰성 확보 단일 필드 프라이버시와 분석의 균형
액틴 유전자의 안정성 구역과 유전체 진화
자기회귀계수 강신뢰 구간
태깅 커뮤니티의 콘텐츠 재사용과 관심 공유 분석
평면 그래프의 난독화 복잡도 연구
평면 볼록체의 공변량 정리를 통한 마테론 추측 완전 증명
BIST P1500 표준을 활용한 로직 코어 테스트 사례 연구
C계열 언어로 하드웨어 합성의 두 큰 난관
SRAM 기반 FPGA를 위한 삼중 모듈 중복 로직 최적 설계
강렬한 VUV 펄스 하의 클러스터 플라즈마 효과를 포함한 양자 고전 하이브리드 모델
게이트 산화막 파괴에 의한 동작 결함 동시 테스트를 위한 회로 수준 모델링
계산 가능한 단순 게임의 특성화와 핵심 이론에의 적용
고신뢰 메모리의 영구 일시적 오류 대비 Reed Solomon 부호 분석
나노시뮬 비등가 전도 기반 통계 시뮬레이터
다중 코어 디버그와 패키지형 ICE를 통한 파워트레인 SoC 개발 혁신
데이터 무결성 검증을 위한 형식 검증 방법론
도메인 특화 최적화를 위한 거친 입자 재구성 아키텍처의 자원 공유와 파이프라이닝
동적 재구성 하드웨어 재구성 오버헤드 최소화를 위한 하이브리드 프리패치 스케줄링 휴리스틱
디지털 마이크로플루이딕스 기반 바이오칩의 수율 향상을 위한 공간 중복 및 국부 재구성
