No Image
경로 기반 상징적 실행을 이용한 하드웨어/소프트웨어 공동검증
📝 원문 정보 Title: Hardware/Software Co-verification Using Path-based Symbolic Execution ArXiv ID: 2001.01324 발행일: 2020-01-07 저자: Rajdeep …
Computer Science / Formal Languages
'Computer Science / Formal Languages' 카테고리의 모든 글
총 10개의 글
시간순 정렬
No Image
단어에서 오른쪽 경계 블록 단어로의 재구성
📝 원문 정보 Title: Reconstructing Words from Right-Bounded-Block Words ArXiv ID: 2001.11218 발행일: 2020-03-17 저자: Pamela Fleischmann, Marie …
No Image
증분 모노이달 문법
📝 원문 정보 Title: Incremental Monoidal Grammars ArXiv ID: 2001.02296 발행일: 2020-01-13 저자: Dan Shiebler, Alexis Toumi, Mehrnoosh Sadrzadeh 📝 초록 …
No Image
문자열 조작 언어를 위한 정적 프로그램 분석
📝 원문 정보 Title: Static Program Analysis for String Manipulation Languages ArXiv ID: 1808.07827 발행일: 2019-08-21 저자: Vincenzo Arceri …
No Image
분포의 최적 축소 자동 생성
📝 원문 정보 Title: Automatic Generation of Optimal Reductions of Distributions ArXiv ID: 1803.11034 발행일: 2018-03-30 저자: Liyong Lin, Tomav{s} …
No Image
이론적 프레임워크: 가역 피 칼큐리의 매개변수화 된 접근 방식
📝 원문 정보 Title: A Parametric Framework for Reversible Pi-Calculi ArXiv ID: 1808.08655 발행일: 2018-08-28 저자: Doriana Medic, Claudio Antares …
No Image
가이드된 문법 수렴
📝 원문 정보 Title: Guided Grammar Convergence ArXiv ID: 1503.08476 발행일: 2015-03-31 저자: Vadim Zaytsev 📝 초록 (Abstract) 형식 문법 간의 관계는 언어 동등성(이 알려진 것 …
No Image
연속시간 신호 시간 논리에 대한 평균 기반 강건성
📝 원문 정보 Title: Average-based Robustness for Continuous-Time Signal Temporal Logic ArXiv ID: 1909.00898 발행일: 2019-09-04 저자: Noushin …
TarTar: 타이밍 오토마타 수리 도구
📝 원문 정보 Title: TarTar: A Timed Automata Repair Tool ArXiv ID: 2002.02760 발행일: 2020-05-13 저자: Martin Koelbl (1) and Stefan Leue (1) and …
등한계 단어를 인식하는 비결정적 유한 오토마타의 VC 차원
📝 원문 정보 Title: VC-dimensions of nondeterministic finite automata for words of equal length ArXiv ID: 2001.02309 발행일: 2021-08-06 저자: Bj{o}rn …
< 분야별 논문 현황 (Total: 898) >
Astrophysics
2
Computer Science
426
Condensed Matter
2
Economics
35
Electrical Engineering and Systems Science
45
General
413
MATH-PH
1
Mathematics
50
Nonlinear Sciences
3
Physics
11
Quantitative Biology
2
Quantitative Finance
21
Quantum Physics
5
Statistics
46