Checker Architectures Survey

Source

• Evernote/IFTTT Feedly/A survey of checker architectures.md

Summary

고성능 프로세서의 신뢰성 확보를 위해 회로, 아키텍처, 소프트웨어 레벨의 결함 탐지 메커니즘(Checker Architectures)을 조사한 논문입니다. 구조와 기능에 기반한 새로운 2단계 분류 체계를 제안합니다.

Key Points

• 고성능 프로세서의 제조 한계 및 복잡성 증가로 신뢰성이 주요 설계 제약이 됨
• 회로, 아키텍처, 소프트웨어 레벨의 결함 탐지 메커니즘 조사
• 구조와 기능에 기반한 Checker Architectures 의 새로운 2 단계 분류 체계 제안

Related

• 대규모 분산 시스템의 에너지 효율성 향상 기술 조사

• 동일 아키텍처 실시간 시스템의 내결함성 스케줄링

• 커리어와 최적화

• 소프트웨어 설계 프로세스의 이상화 현실

• 아키텍처 품질 판단 기준: 외형보다 내실

• 품질을 생각하는 임베디드 소프트웨어 설계 (서평)

• Quora 기술 스택 및 아키텍처 분석

• 기술이 쉬워지는 두 가지 기준

• 프로그래밍의 근본적 결함과 선언적 패러다임 제안

• Survey of local algorithms

• 예측 모델링에 대한 실용서

• Pipelined Workflow Scheduling: Models and Algorithms (Survey)

• 카프카-스파크 및 인덱스 기술 논의 요약

• 메모리 암호화 기술 조사 (Memory Encryption Survey)

• Cloud Computing: Survey on Energy Efficiency

• A survey on concept drift adaptation

• On Big Data Algorithmics

• A systematic approach to classify design-time global scheduling techniques

• Cost-Sensitive Decision Tree Induction Algorithms Survey

• 운영 프로파일(OP)을 활용한 소프트웨어 테스트: OP 정의 및 분류

• Discrete Bayesian Network Classifiers: A Survey

• Rich Vehicle Routing Problem (VRP) Survey

• 저장 디더플리케이션 시스템의 조사 및 분류

• 디지털 맵 처리 기술 조사 (A Survey of Digital Map Processing Techniques)

• Cloud Pricing Models Taxonomy, Survey, and Interdisciplinary Challenges

• A survey on ear biometrics

• Temporal Information Retrieval (TIR) Survey Overview

• State-based model slicing: A survey

• Sequential Pattern Mining: Approaches and Algorithms

• 가역 회로의 합성과 최적화: 서베이

• 이동성 모델 분류 체계 및 조사 (A Taxonomy and Survey of Microscopic Mobility Models)

• 스트림 처리 최적화 카탈로그 (A catalog of stream processing optimizations)

• 진화적 네트워크 분석: 서베이 (Evolutionary Network Analysis: A Survey)

• 오프라인 아랍어 손글씨 인식 기술 동향 (A Survey)

• 사이버-물리 시스템(CPS) 침입 탐지 기술 조사

• 의미적 궤적 모델링 및 분석 (Semantic Trajectories Modeling and Analysis)

• 하드웨어 패러다임 특집 에디토리얼

• A survey of trust in social networks

• 상호의존적 정보 보안 게임 이론 조사 (A Survey of Interdependent Information Security Games)

• ERP 시스템의 핵심 성공 요인(CSFs): 지난 10 년간 연구 리뷰

• GPU 에너지 효율성 분석 및 개선 방법론 조사

• Social-Network-Sourced Big Data Analytics

• 인프라 네트워크의 이동성 관리 (Mobility Management in Infrastructure Networks)

• 가상화 기술의 역할 및 IEEE Internet Computing 특집호 개요

• Extending Net-Centricity to Coalition Operations

• Collective Sensemaking and Military Coalitions

• IEEE Intelligent Systems 편집장 취임 및 미래 계획

• 데이터센터의 그린 에너지 기반 전력 관리 조사

• COBOL 시스템의 웹 서비스 마이그레이션: Bottom-Up vs Top-Down 접근법 비교

• The Green Abstraction Layer: A Standard Power-Management Interface for Next-Generation Network Devices

• 모바일 학습(m-learning) 애플리케이션 및 기술의 현황 분석

• Dynamic Collective Work: 게스트 편집자 서문

• macOS 에너지 사용량 확인 방법

• 유연한 대칭키 암호 엔진 아키텍처 조사: 하드웨어 코프로세서부터 멀티 암호 프로세서 SoC까지

• 인프라 시스템 구성 기본 패턴

• 건물 에너지 효율을 위한 지능형 관리 시스템: 서베이

• Physical-Cyber-Social (PCS) Computing

• 세계 모든 나라가 북유럽 모델을 채택할 수 있을까

• Serverless 아키텍처를 통한 인프라 관리 부담 해소

• 지속 가능한 인터넷 (Sustainable Internet)

• The Negotiation Game

• Knowledge Systems for Coalition Operations

• A Framework for Network Aware Caching for Video on Demand Systems - Errata

• 사회 컴퓨팅 연구의 진화 특성화

• Classifier Ensemble 분석을 위한 Kappa-Error Diagram의 하한선

• 모바일 네트워크 데이터를 활용한 도시 감지 연구 조사

• 비트코인 마이닝의 컴퓨팅 파워 낭비 문제

• 네트워크 가상화 환경의 장애 관리: 과제와 해결책

• 모델 다이어그램의 의미론에 대한 새로운 접근법

• Efficient Stream Provenance via Operator Instrumentation

• Loose Couplings (IEEE Internet Computing)

• Broadly Available Broadband

• Interconnected Cloud Computing Environments: Challenges, Taxonomy, and Survey

• 가상화 기술의 보안 위협 및 해결 방안 개요

• A Model-Based Approach for Crawling Rich Internet Applications

• 1980 년대 기술 환경에서의 위키백과 가상의 모습

• 스마트 그리드 예측 모델의 전방위적 평가 지표

• The Datacenter as a Computer (2nd Ed.) - 핵심 요약

• ffmpeg + ffserver 오토믹싱 스트리밍 개발 기록

• Markov Decision Process Based Energy-Efficient On-Line Scheduling for Slice-Parallel Video Decoders on Multicore Systems

• 게임 이론을 통한 테러 네트워크 격파

• KPCB)

• 모바일 센서 네트워크: 시스템 하드웨어 및 디스패치 소프트웨어

• VoIP 스테고그래피 및 탐지 기술 조사

• Science in the Cloud

• P2P 산업의 성장 측정 및 전망 (2014)

• People reidentification in surveillance and forensics: A survey

• 오류 허용 멀티미디어 스트림 처리: 시스템 스택 상단의 가능성

• 분산 환경에서의 검색 확장성 및 클러스터링 역설 연구

• Rich Internet Applications(RIA) 연구의 체계적 매핑 연구(10 년간)

• 택시 GPS 추적 데이터 마이닝 연구 동향

• Dissecting Darknets: Measurement and Performance Analysis

• Adaptive Speculative Processing of Out-of-Order Event Streams

• Clean architectures in Python: a step-by-step example

• Collaborative Filtering beyond the User-Item Matrix: A Survey of the State of the Art and Future Challenges

• 제한된 합리성 사용자의 지향점 기반 학습을 통한 네트워크 기술 확산 동역학

• 헬싱키의 ‘필요할 때 이용하는 교통’ 시스템 실험

• A Proxy View of Quality of Domain Name Service, Poisoning Attacks and Survival Strategies