English
Related papers

Related papers: Designing a CPU model: from a pseudo-formal docume…

200 papers

Address translation and protection play important roles in today's processors, supporting multiprocessing and enforcing security. Historically, the design of the address translation mechanisms has been closely tied to the instruction set.…

Hardware Architecture · Computer Science 2019-05-17 Xuan Guo , Robert Mullins

We proposes a platform which can generate hardware/software description based on flexible in-struction set architectures (ISAs). The platform takes advantage of the flexibility of field pro-grammable gate array (FPGA) to design many micro…

Logic in Computer Science · Computer Science 2021-05-27 Shih-Yi Yuan , Bo-Yu Zhu

SSDs become a major storage component in modern memory hierarchies, and SSD research demands exploring future simulation-based studies by integrating SSD subsystems into a full-system environment. However, several challenges exist to model…

Hardware Architecture · Computer Science 2018-11-06 Donghyun Gouk , Miryeong Kwon , Jie Zhang , Sungjoon Koh , Wonil Choi , Nam Sung Kim , Mahmut Kandemir , Myoungsoo Jung

A large semantic gap between the high-level synthesis (HLS) design and the low-level (on-board or RTL) simulation environment often creates a barrier for those who are not FPGA experts. Moreover, such low-level simulation takes a long time…

Hardware Architecture · Computer Science 2018-12-27 Yuze Chi , Young-kyu Choi , Jason Cong , Jie Wang

A central strategy of synthetic biology is to understand the basic processes of living creatures through engineering organisms using the same building blocks. Biological machines described in terms of parts can be studied by computer…

Quantitative Methods · Quantitative Biology 2020-06-24 William Waites , Goksel Misirli , Matteo Cavaliere , Vincent Danos , Anil Wipat

Computer simulators can be computationally intensive to run over a large number of input values, as required for optimization and various uncertainty quantification tasks. The standard paradigm for the design and analysis of computer…

Computation · Statistics 2015-09-11 Joakim Beck , Serge Guillas

We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ. The aim of isQ is to make the programmers write quantum programs as conveniently as possible. In particular: 1) The isQ…

Quantum Physics · Physics 2023-11-22 Jingzhe Guo , Huazhe Lou , Riling Li , Wang Fang , Junyi Liu , Peixun Long , Shenggang Ying , Mingsheng Ying

With the increasing computations in power system simulations, high-performance and cost-effective power system simulator is highly required. In this paper, a cloud-computing based power system simulator, namely CloudPSS, is designed. Based…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-24 Yankan Song , Ying Chen , Zhitong Yu , Shaowei Huang , Chen Shen

Compilers convert between representations -- usually, from higher-level, human writable code to lower-level, machine-readable code. A compiler backend is the portion of the compiler containing optimizations and code generation routines for…

Programming Languages · Computer Science 2024-08-29 Gus Henry Smith

The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation software from personal computers (PC) to super computes. The power…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Ning Lu , Z. Todd Taylor , David P. Chassin , Ross T. Guttromson , R. Scott Studham

The software development life cycle (SDLC) is a procedure used to develop a software system that meets both the customer s needs and real-world requirements. The first phase of the SDLC involves creating a conceptual model that represents…

Software Engineering · Computer Science 2021-07-30 Sabah Al-Fedaghi

CMS has developed a fast detector simulation package, which serves as a fast and reliable alternative to the detailed GEANT4-based (full) simulation, and enables efficient simulation of large numbers of standard model and new physics…

Instrumentation and Detectors · Physics 2019-08-13 Sezen Sekmen

Usability is crucial for the adoption of software development technologies. This is especially true in development stages, where build processes fail, because software is not yet complete or was incompletely modified. We present early work…

Logic in Computer Science · Computer Science 2018-11-28 Jan Bessai , Anna Vasileva

Assembling simulation software along with the associated tools and utilities is a challenging endeavor, particularly when the components are distributed across multiple source code versioning systems. It is problematic for researchers…

Programming Languages · Computer Science 2010-09-08 Eric L. Seidel , Gabrielle Allen , Steven Brandt , Frank Löffler , Erik Schnetter

Several types of detectors are used to detect charged particles in particle and nuclear physics experiments. Since the semiconductor detector has superior spatial and kinematic resolutions as well as good response time than other types of…

Instrumentation and Detectors · Physics 2020-12-02 Beomkyu Kim , Jeongsu Bok , Jaeyoon Cho , Jiyeon Cho , Jiyeon Kwon , Hyungjun Lee , Minjung Kweon

Embedded cyber-physical systems (CPS) are commonly built upon heterogeneous digital and analog integrated circuits, including sensors and actuators. Less common is their deployment on parallel, NoC based designs based on general purpose…

Other Computer Science · Computer Science 2019-10-15 Daniela Genius

Emulation-based fuzzers enable testing binaries without source code, and facilitate testing embedded applications where automated execution on the target hardware architecture is difficult and slow. The instrumentation techniques added to…

Cryptography and Security · Computer Science 2023-06-22 Michael Chesser , Surya Nepal , Damith C. Ranasinghe

The ccns3Sim project is an open source implementation of the CCNx 1.0 protocols for the NS3 simulator. We describe the implementation and several important features including modularity and process delay simulation. The ccns3Sim…

Networking and Internet Architecture · Computer Science 2017-07-18 Marc Mosko , Ramesh Ayyagari , Priti Goel , Eric Holmberg , Mark Konezny

This work explores the possibility of decoding Imagined Speech (IS) signals which can be used to create a new design of Human-Computer Interface (HCI). Since the underlying process generating EEG signals is unknown, various feature…

Signal Processing · Electrical Eng. & Systems 2020-11-26 Abhiram Singh , Ashwin Gumaste

Classical simulation of quantum computers will continue to play an essential role in the progress of quantum information science, both for numerical studies of quantum algorithms and for modeling noise and errors. Here we introduce the…

Quantum Physics · Physics 2020-06-08 Gian Giacomo Guerreschi , Justin Hogaboam , Fabio Baruffa , Nicolas P. D. Sawaya