ITRT
IT Research Trends
논문
논문
저자
기관
국가
키워드
Search
소개
분석
인기 자료
연구분야별 논문
Analysis
Artificial Intelligence
Cryptography
Databases
Infrastructure
Networking
Safety
Software Development
Strategies
Verification
로그인
회원가입
Search by keyword
Imperial College London London UK
Home
search page
affiliation
Imperial College London London UK
국가:
정보 없음
주요 연구 분야:
Strategies
주요 키워드:
#training
#challenge
#novel
주요 저자:
#Karnbongkot Boonriong
#Stefan Zetzsche
#Alastair F. Donaldson
#Evangelos Ververas
#Polydefkis Gkagkos
더보기
#Karnbongkot Boonriong
#Stefan Zetzsche
#Alastair F. Donaldson
#Evangelos Ververas
#Polydefkis Gkagkos
#Jiankang Deng
#Michail Christos Doukas
#Jia Guo
#Stefanos Zafeiriou
#Zijian Jiang
#Keran Zheng
#David P Boland
#Yungang Bao
#Kan Shi
좋아요 (
0
)
PDF 저장
📄 기관 상세정보
출판수
3
총 인용수
27
평균 인용수
9.00
저자 수
14
좋아요 수
0
정량적 분석
정성적 분석
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도
로그인 후 사용 가능
📊 분석 중입니다. 잠시만 기다려 주세요...
논문 목록
(3건)
내 서재 담기
Corvus: Efficient HW/SW Co-Verification Framework for RISC-V Instruction Extensions with FPGA Acceleration
저자:
Zijian Jiang
,
Keran Zheng
,
David P Boland
,
Yungang Bao
,
Kan Shi
키워드:
#computing
#engineers
#processor
#processors
#reconfigured
파트:
Verification
|
연도:
2025
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny
저자:
Karnbongkot Boonriong
,
Stefan Zetzsche
,
Alastair F. Donaldson
키워드:
#software
#workflow
#programming
#devising
#compiler
파트:
Software Development
|
연도:
2025
3DGazeNet: Generalizing 3D Gaze Estimation with Weak-Supervision from Synthetic Views
저자:
Evangelos Ververas
,
Polydefkis Gkagkos
,
Jiankang Deng
,
Michail Christos Doukas
,
Jia Guo
,
Stefanos Zafeiriou
키워드:
#training
#challenge
#novel
#difficulty
#revising
파트:
Strategies
|
연도:
2024