What’s Missing in Agile Hardware Design? Verification!
연구 분야: Software Development
학회: Journal of Computer Science and Technology
초록
Journal of Computer Science and Technology -
Babak Falsafi
Parallel Systems Architecture Laboratory Institute of Computer and Communication Sciences School of Computer and Communication Sciences Ecole Polytechnique Fédérale de Lausanne Lausanne CH-1015 Switzerland
Andorra📄 논문 정보
| 발행 연도 | 2023년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | Andorra |
| 사이트 | Springer |
| 좋아요 수 | 0 |
연관 논문 목록 (79건)
Towards transparency and knowledge exchange in AI-assisted data analysis code generation
저자:
Robert Haase
키워드:
#transparency
#computational
#science
#analysis
#knowledge
파트:
Software Development
|
연도:
2025
End-to-end development of product lines for web systems
키워드:
#engineering
#technology
#software
#modeling
#web
파트:
Software Development
|
연도:
2025
The evolution of high-performance computing: how AI and quantum computing are reshaping supercomputing
키워드:
#journal
#supercomputing
파트:
Software Development
|
연도:
2025
Best Practices in Teaching Digitization and Process Automation - A Case Study of Warsaw University of Technology
키워드:
#robotics
#technology
#education
#teaching
#automation
파트:
Software Development
|
연도:
2025
Think Outside the Box – and Between Them: A Visual Guide to Smarter Technological Development
키워드:
#technologies
#technology
#iterative
#cyber
#technological
파트:
Software Development
|
연도:
2025
Blockchain-driven decentralized data and access control services for smart grid
키워드:
#technology
#transforming
#electrical
#transform
#decentralising
파트:
Software Development
|
연도:
2025
Application of Virtualization and Containerization Technologies in IP Telephony
키워드:
#technologies
#technology
#virtualization
#technological
#telecommunication
파트:
Software Development
|
연도:
2025
Adaptive formation control and transformation in virtual crowds via deep reinforcement learning
키워드:
#learning
#algorithm
#computer
#graphics
#animations
파트:
Software Development
|
연도:
2025
Using mobile applications to develop the teacher’s teaching performance and professional development
키워드:
#research
#computer
#teaching
#teachers
#educators
파트:
Software Development
|
연도:
2025
Bibliometric cartography of data science: a large-scale analysis on knowledge integration and diffusion
키워드:
#science
#decades
#academic
#scholars
#bibliometric
파트:
Software Development
|
연도:
2025